PRINT-MATING-COUNTER : FLAG

PRINT-MATING-COUNTER is a flag or parameter.
Prints the current mating after this many iterations in the
top level ms90-3 search. Applicable only for path-focused duplication
search procedures
PRINT-MATING-COUNTER takes values of type INTEGER+.
It belongs to subjects MS91-7 MS90-9 MS90-3 MATING-SEARCH .
Its default value is 300000
Its current value is 300000.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage