Before doing ms98-1 search:

If 0, do nothing at first; after each failure, duplicate one more quantifier.

If 1, duplicate all outer quantifiers NUM-OF-DUPS times.

If 2, apply primsubs and duplicate all outer quantifiers NUM-OF-DUPS times.

If 3, cycle through primsubs one at a time, and duplicate all outer

quantifiers NUM-OF-DUPS times. The time spent on each primsub will

be at least MAX-SEARCH-LIMIT seconds, unless the search fails before

then.

MS98-INIT takes values of type INTEGER+.

It belongs to subjects MS98-1 .

Its default value is 0

Its current value is 0.

© 1988-99, Carnegie Mellon University.