ADD-ALL-OB : MTREEOP

ADD-ALL-OB is a matingstree command.
Attempt to mate all literals in an obligation
with all potential mates on the current path.
 
The command format for ADD-ALL-OB is:

<Mtree>ADD-ALL-OB OBLIGATION
"SYMBOL-OR-INTEGER"

TPS documentation homepage


ADD-ALL-OB : WFFOP

ADD-ALL-OB is a wff operation.
Attempt to mate all literals in an obligation with
all potential mates on the current path.
 
The calling scheme for ADD-ALL-OB is:

(ADD-ALL-OB OBLIGATION)
"SYMBOL-OR-INTEGER"


The result is of type OBLIGATION.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage