C++ Reference
C++ Reference: CP-SAT
SharedTimeLimit
Detailed Description
Definition at line 338 of file time_limit.h.
Public Member Functions | |
SharedTimeLimit (TimeLimit *time_limit) | |
~SharedTimeLimit () | |
bool | LimitReached () const |
void | Stop () |
void | UpdateLocalLimit (TimeLimit *local_limit) |
void | AdvanceDeterministicTime (double deterministic_duration) |
double | GetTimeLeft () const |
double | GetElapsedDeterministicTime () const |
Constructor & Destructor Documentation
◆ SharedTimeLimit()
|
inlineexplicit |
Definition at line 340 of file time_limit.h.
◆ ~SharedTimeLimit()
|
inline |
Definition at line 350 of file time_limit.h.
Member Function Documentation
◆ AdvanceDeterministicTime()
|
inline |
Definition at line 373 of file time_limit.h.
◆ GetElapsedDeterministicTime()
|
inline |
Definition at line 383 of file time_limit.h.
◆ GetTimeLeft()
|
inline |
Definition at line 378 of file time_limit.h.
◆ LimitReached()
|
inline |
Definition at line 356 of file time_limit.h.
◆ Stop()
|
inline |
Definition at line 363 of file time_limit.h.
◆ UpdateLocalLimit()
|
inline |
Definition at line 368 of file time_limit.h.
The documentation for this class was generated from the following file: