MSV-OFF : FLAG-MODE

MSV-OFF is a mode.
Turn off all of the MAX-SUBSTS-* routines.
Flags are set as follows:
Flag Value in Mode Current Value
MAX-SUBSTS-VAR NIL NIL
MAX-SUBSTS-PROJ-TOTAL NIL NIL
MAX-SUBSTS-PROJ NIL NIL
MAX-SUBSTS-QUICK NIL NIL
APPLY-MATCH 'APPLY-MATCH-ALL-FRDPAIRS APPLY-MATCH-ALL-FRDPAIRS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage