MAX-MATES : FLAG

MAX-MATES is a flag or parameter.
Max number of mates for a literal. If the search attempts to
add a mate that would exceed this limit, then this connection is not added.
Copies of a literal created by path-focused duplication are regarded as
the same when computing this number.
Set MAX-MATES to INFINITY to allow an unlimited number of mates for any
literal.
MAX-MATES takes values of type POSINTEGER-OR-INFINITY.
It belongs to subjects IMPORTANT MS98-1 MS93-1 MS92-9 MS88 MS89 MS91-6 MS91-7 MS90-9 MS90-3 MATING-SEARCH .
Its default value is 2
Its current value is 2.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage