PREFER-RIGID1 is an argument for order-components.
If the flag ORDER-COMPONENTS is set to PREFER-RIGID1, then
the order of the components in the jform of the current eproof will be sorted
in terms of the number of rigid literals in a jform before beginning the
mating search.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage