MAX-SEARCH-LIMIT : FLAG

MAX-SEARCH-LIMIT is a flag or parameter.
If integer-valued, is an upper limit on the TOTAL amount of time
(in seconds) which can be spent on searching for a proof in any particular
option. If null, then search time is unbounded. The flag is not affected
by Garbage Collecting time whenever the value of the flag excluding-gc-time
is T. Please read the help message for EXCLUDING-GC-TIME for more information.
MAX-SEARCH-LIMIT takes values of type NULL-OR-POSINTEGER.
It belongs to subjects MS93-1 MS91-7 MS91-6 MS90-9 MS89 IMPORTANT MATING-SEARCH .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage