REWRITE-SLINE-TAC : TACTIC

REWRITE-SLINE-TAC is a tactic.
As defined for use ETREE-NAT:
(IFTHEN (REWRITE-SLINE-P-TAC)
(ORELSE AB-SLINE-TAC EQUALITY-SLINE-TAC EQUIV-WFFS-SLINE-TAC
RULEQ-SLINE-TAC LCONTR*-VARY-TAC EQUIV-DISJ-TAC EQUIV-IMPLICS-TAC))
If any support line corresponds to a rewrite node, calls the
appropriate tactic.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage