SEARCH-TIME-LIMIT : FLAG

SEARCH-TIME-LIMIT is a flag or parameter.
If integer-valued, is an upper limit on the CONTINUAL amount of time
(in seconds) which can be spent on searching for a proof in any particular
option. If null, then an ad hoc bound is used by the search procedure.
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.
SEARCH-TIME-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