TOTAL-NUM-OF-DUPS : FLAG

TOTAL-NUM-OF-DUPS is a flag or parameter.
Max number of duplications allowed at any time
during a search using path-focused duplication. Compare
NUM-OF-DUPS. This flag will be ignored if set to NIL.
THE IMPLEMENTATION OF THIS IS BUGGY; setting it to NIL is safest.
TOTAL-NUM-OF-DUPS takes values of type NULL-OR-POSINTEGER.
It belongs to subjects MS90-3 MATING-SEARCH IMPORTANT .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage