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

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.

© 1988-99, Carnegie Mellon University.