C++ Reference
C++ Reference: CP-SAT
SharedTimeLimit
Detailed Description
Definition at line 351 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 |
| std::atomic< bool > * | ExternalBooleanAsLimit () const |
Constructor & Destructor Documentation
◆ SharedTimeLimit()
|
inlineexplicit |
Definition at line 353 of file time_limit.h.
◆ ~SharedTimeLimit()
|
inline |
Definition at line 363 of file time_limit.h.
Member Function Documentation
◆ AdvanceDeterministicTime()
|
inline |
Definition at line 386 of file time_limit.h.
◆ ExternalBooleanAsLimit()
|
inline |
Definition at line 401 of file time_limit.h.
◆ GetElapsedDeterministicTime()
|
inline |
Definition at line 396 of file time_limit.h.
◆ GetTimeLeft()
|
inline |
Definition at line 391 of file time_limit.h.
◆ LimitReached()
|
inline |
Definition at line 369 of file time_limit.h.
◆ Stop()
|
inline |
Definition at line 376 of file time_limit.h.
◆ UpdateLocalLimit()
|
inline |
Definition at line 381 of file time_limit.h.
The documentation for this class was generated from the following file: