TEST-FIX-UNIF-DEPTHS : FLAG

TEST-FIX-UNIF-DEPTHS is a flag or parameter.
If T, then LEAST-SEARCH-DEPTH will be used to fix the unification depths
MAX-UTREE-DEPTH and MAX-SEARCH-DEPTH as soon as a search in the TEST top
level is successful, and these will not be varied again. Destructively
alters the search list, by changing the range of these two flags to a
single element.
TEST-FIX-UNIF-DEPTHS takes values of type BOOLEAN.
It belongs to subjects TEST-TOP .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage