MAX-SEARCH-DEPTH : FLAG

MAX-SEARCH-DEPTH is a flag or parameter.
If non nil, search to depth MAX-SEARCH-DEPTH, else search to
arbitrary depth. Takes precedence over all other flags that may
control the search depth in a unification tree (i.e. no tree is ever
generated to a greater depth, although other flags may cause the
unification search to stop temporarily at a shallower depth. Used
in all search procedures, and in UN88 and UN90.
See flag MAX-UTREE-DEPTH also.
MAX-SEARCH-DEPTH takes values of type NULL-OR-POSINTEGER.
It belongs to subjects IMPORTANT UNIFICATION .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage