C++ Reference

C++ Reference: CP-SAT

TimeLimit Member List

This is the complete list of members for TimeLimit, including all inherited members.

AdvanceDeterministicTime(double deterministic_duration)TimeLimitinline
AdvanceDeterministicTime(double deterministic_duration, const char *counter_name)TimeLimitinline
DebugString() constTimeLimit
ExternalBooleanAsLimit() constTimeLimitinline
FromDeterministicTime(double deterministic_limit)TimeLimitinlinestatic
FromParameters(const Parameters &parameters)TimeLimitinlinestatic
GetDeterministicTimeLeft() constTimeLimitinline
GetElapsedDeterministicTime() constTimeLimitinline
GetElapsedTime() constTimeLimitinline
GetInstructionsLeft()TimeLimitinline
GetTimeLeft() constTimeLimitinline
Infinite()TimeLimitinlinestatic
kHistorySizeTimeLimitstatic
kSafetyBufferSecondsTimeLimitstatic
LimitReached()TimeLimitinline
MergeWithGlobalTimeLimit(TimeLimit *other)TimeLimitinline
NestedTimeLimit classTimeLimitfriend
operator=(const TimeLimit &)=deleteTimeLimit
ParallelTimeLimit classTimeLimitfriend
ReadInstructionCounter()TimeLimitinline
RegisterExternalBooleanAsLimit(std::atomic< bool > *external_boolean_as_limit)TimeLimitinline
ResetLimitFromParameters(const Parameters &parameters)TimeLimitinline
SetInstructionLimit(double instruction_limit)TimeLimitinline
TimeLimit(double limit_in_seconds, double deterministic_limit=std::numeric_limits< double >::infinity(), double instruction_limit=std::numeric_limits< double >::infinity())TimeLimitinlineexplicit
TimeLimit()TimeLimitinline
TimeLimit(const TimeLimit &)=deleteTimeLimit