REM-CONN : MATEOP

REM-CONN is a mating-search command.
Remove a connection from the current mating.
 
The command format for REM-CONN is:

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

TPS documentation homepage


REM-CONN : WFFOP

REM-CONN is a wff operation.
Remove a connection from the current mating.
 
The calling scheme for REM-CONN is:

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


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage