AB-SLINE-TAC : TACTIC
AB-SLINE-TAC
is a tactic.
As defined for use
ETREE-NAT
: is a primitive tactic.
If a support
line
is a
rewrite
node
justified by
ab
, applies the
ab*
rule
.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage