RESTRICT-MATING-TAC : TACTIC

RESTRICT-MATING-TAC is a tactic.
As defined for use ETREE-NAT: is a primitive tactic.
Restricts the mating of the planned line to only those connections
involving the line and its supports. Always succeeds.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage