TACTIC-USE : ARGTYPE

TACTIC-USE is an argument type.
The use to which a tactic will be put. Allowable values are:
NAT-DED ETREE-NAT MATE-SRCH .

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage