EXPAND-MST-LEAVES : WFFOP

EXPAND-MST-LEAVES is a wff operation.
Apply ADD-ALL-OB to all live leaves of the current matingstree
that lie below the given node (or the current node, if no node is given).
WARNING: Potential combinatorial explosion!
 
The calling scheme for EXPAND-MST-LEAVES is:

(EXPAND-MST-LEAVES MTREE)
"SYMBOL-OR-INTEGER"


The result is of type OBLIGATION.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage