ADD-CONN* : MATEOP

ADD-CONN* is a mating-search command.
Repeatedly call ADD-CONN.
 
The command format for ADD-CONN* is:

<Mate>ADD-CONN*

TPS documentation homepage


ADD-CONN* : WFFOP

ADD-CONN* is a wff operation.
Repeatedly call ADD-CONN.
 
The calling scheme for ADD-CONN* is:

(ADD-CONN*)


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage