MST-RESURRECT : WFFOP

MST-RESURRECT is a wff operation.
RESURRECT <node> means to mark the given node
and all nodes below it as alive.
 
The calling scheme for MST-RESURRECT is:

(MST-RESURRECT NODE)
"SYMBOL-OR-INTEGER"


The result is of type MATINGSTREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage