ADD-CONN-OB : WFFOPADD-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