ADD-CONN : MATEOP

ADD-CONN is a mating-search command.
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 command format for ADD-CONN is:

<Mate>ADD-CONN FIRST SECOND
"LEAFTYPE" "LEAFTYPE"

TPS documentation homepage


ADD-CONN : MTREEOP

ADD-CONN is a matingstree command.
Add a connection. The subsumption is considered.
The usage of the command is exactly as the usage of ADD-CONN in MATE.
 
The command format for ADD-CONN is:

<Mtree>ADD-CONN LITERAL1 OBLIG1 LITERAL2 OBLIG2
"LEAFTYPE" "SYMBOL-OR-INTEGER" "LEAFTYPE" "SYMBOL-OR-INTEGER"

TPS documentation homepage


ADD-CONN : WFFOP

ADD-CONN 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 is:

(ADD-CONN FIRST SECOND)
"LEAFTYPE" "LEAFTYPE"


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage