MODIFY-STATUS : WFFOP

MODIFY-STATUS is a wff operation.
Set the status of the current-topnode to the specified
value. If the status of a node is not positive, it is ignored during
mating search.
 
The calling scheme for MODIFY-STATUS is:

(MODIFY-STATUS STATUS ETREE)
"INTEGER+" "ANYTHING"


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage