MINIMAL-P : MATEOP

MINIMAL-P is a mating-search command.
A mating M is non-minimal if it contains some connection
c such that M-{c} spans exactly the same vertical paths as M.
MINIMAL-P will find such a connection if it exists; otherwise
it will report that the mating is minimal.
 
The command format for MINIMAL-P is:

<Mate>MINIMAL-P

TPS documentation homepage


MINIMAL-P : WFFOP

MINIMAL-P is a wff operation.
A mating M is non-minimal if it contains some connection
c such that M-{c} spans exactly the same vertical paths as M.
MINIMAL-P will find such a connection if it exists; otherwise
it will report that the mating is minimal.
 
The calling scheme for MINIMAL-P is:

(MINIMAL-P)


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage