EXCLUDING-GC-TIME : FLAG

EXCLUDING-GC-TIME is a flag or parameter.
If T, we can use the function get-net-internal-run-time to exclude
the gc time in recordings. Otherwise, get-net-internal-run-time is the
same as get-internal-run-time. The value of the flag should not be changed.
This is a nominal flag, whose value does not affect the system at all except
telling users the message above. Check the flags SEARCH-TIME-LIMIT and
MAX-SEARCH-LIMIT to get more information.
EXCLUDING-GC-TIME takes values of type BOOLEAN.
It belongs to subjects MATING-SEARCH SYSTEM .
Its default value is NIL
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage