MST-KILL : WFFOP

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

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


The result is of type MATINGSTREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage