MERGE-MINIMIZE-MATING : FLAG

MERGE-MINIMIZE-MATING is a flag or parameter.
If T, merging will attempt to minimize the mating
by removing any unnecessary connections. If NIL, it won't.
T will sometimes produce a more readable ND proof, but can
also take a very long time.
MERGE-MINIMIZE-MATING takes values of type BOOLEAN.
It belongs to subjects MS98-1 MS93-1 MS92-9 MS91-7 MS91-6 MS90-9 MS90-3 MS89 MS88 ETR-NAT ETREES MATING-SEARCH .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage