MSV-ON : FLAG-MODE

MSV-ON is a mode.
Turn on the MAX-SUBSTS-* routines and increase
the unification depths to infinity.
Flags are set as follows:
Flag Value in Mode Current Value
MAX-SUBSTS-VAR 5 NIL
MAX-SUBSTS-PROJ-TOTAL NIL NIL
MAX-SUBSTS-PROJ NIL NIL
MAX-SUBSTS-QUICK 5 NIL
APPLY-MATCH 'APPLY-MATCH-ALL-FRDPAIRS APPLY-MATCH-ALL-FRDPAIRS
MAX-UTREE-DEPTH NIL 5
MAX-SEARCH-DEPTH NIL NIL
MIN-QUICK-DEPTH NIL 3

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage