UNIF-DEPTHS : REVIEWCMD

UNIF-DEPTHS is a review command.
Turn off all the MAX-SUBSTS checking in unification,
and use only the flags MAX-SEARCH-DEPTH, MAX-UTREE-DEPTH
and MIN-QUICK-DEPTH.
The command format for UNIF-DEPTHS is:

 <Rn>UNIF-DEPTHS 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage