DEL-DUP-CONNS : MATEOP

DEL-DUP-CONNS is a mating-search command.
Deletes duplicate connections from a mating. This should be necessary
only for propositional formulas.
 
The command format for DEL-DUP-CONNS is:

<Mate>DEL-DUP-CONNS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage