MS98-INIT : FLAG

MS98-INIT is a flag or parameter.
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.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage