UNIF-NODEPTHS : REVIEWCMD

UNIF-NODEPTHS is a review command.
Turn off all the depth checking in unification,
and set the MAX-SUBSTS-VAR and MAX-SUBSTS-QUICK flags.
The command format for UNIF-NODEPTHS is:

 <Rn>UNIF-NODEPTHS 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage