ADD-CONN-OB : WFFOP

ADD-CONN-OB is a wff operation.
Add a connection to the current mating. TPS will not allow you to
add a connection to a mating if adding it causes the resulting mating to be
non unifiable. No check is made to determine if the connection spans
an open path.
 
The calling scheme for ADD-CONN-OB is:

(ADD-CONN-OB LITERAL1 OBLIG1 LITERAL2 OBLIG2)
"LEAFTYPE" "SYMBOL-OR-INTEGER" "LEAFTYPE" "SYMBOL-OR-INTEGER"


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage