SUBSTITUTE-IN-ETREE : WFFOP

SUBSTITUTE-IN-ETREE is a wff operation.
Substitute a term for a variable throughout an expansion tree.
Destructively alters the expansion tree.
 
The calling scheme for SUBSTITUTE-IN-ETREE is:

(SUBSTITUTE-IN-ETREE TERM VAR ETREE)
"GWFF" "GWFF" "GWFF"


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage