MST-BASIC-SEARCH : WFFOP

MST-BASIC-SEARCH is a wff operation.
Apply EXPAND-LEAVES repeatedly to all live leaves of the current
matingstree that lie below the given node (or the current node, if
no node is given), until a closed leaf is generated.
WARNING: Potential combinatorial explosion!
 
The calling scheme for MST-BASIC-SEARCH is:

(MST-BASIC-SEARCH MTREE)
"SYMBOL-OR-INTEGER"


The result is of type OBLIGATION.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage