REVERSE : ORDERCOMPONENTS

REVERSE is an argument for order-components.
If the flag ORDER-COMPONENTS is set to REVERSE, then
the order of the components in the jform of the current eproof will
be reversed before beginning the mating search.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage