EQUALITY-SLINE-TAC : TACTIC
EQUALITY-SLINE-TAC
is a tactic.
As defined for use
ETREE-NAT
:
(
ORELSE
EXT=-SLINE-TAC
LEIBNIZ=-SLINE-TAC
)
If a support
line
is a
rewrite
node
rewritten because of an equality,
carries out the
rewrite
.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage