ADD-ALL-LIT : MTREEOP

ADD-ALL-LIT is a matingstree command.
Attempt to mate a literal with all potential mates on
the current path.
 
The command format for ADD-ALL-LIT is:

<Mtree>ADD-ALL-LIT LITERAL OBLIGATION
"SYMBOL-OR-INTEGER" "SYMBOL-OR-INTEGER"

TPS documentation homepage


ADD-ALL-LIT : WFFOP

ADD-ALL-LIT is a wff operation.
Attempt to mate a literal with all potential mates on
the current path.
 
The calling scheme for ADD-ALL-LIT is:

(ADD-ALL-LIT LITERAL OBLIGATION)
"SYMBOL-OR-INTEGER" "SYMBOL-OR-INTEGER"


The result is of type MATINGSTREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage