MIN-QUICK-DEPTH : FLAG

MIN-QUICK-DEPTH is a flag or parameter.
The minimum depth to which a unification tree should be generated
when unification tree is searched only to non branching depth. Setting this
flag to 1 has the effect of generating the tree to non branching depth.
Applicable only to UN88.
MIN-QUICK-DEPTH is used only in the process of checking whether two
literals are potential mates. It is used to construct the connection graph.
See flag MAX-SEARCH-DEPTH also.
See MAX-SUBSTS-QUICK for a different way to achieve a similar effect.
MIN-QUICK-DEPTH takes values of type NULL-OR-POSINTEGER.
It belongs to subjects UNIFICATION .
Its default value is 3
Its current value is 3.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage