TACTIC-MODE : ARGTYPE

TACTIC-MODE is an argument type.
The mode in which a tactic will be used. Allowable values are:
AUTO INTERACTIVE .

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage