C++ Reference
C++ Reference: CP-SAT
time_limit.h File Reference
Go to the source code of this file.
Classes | |
class | TimeLimit |
A simple class to enforce both an elapsed time limit and a deterministic time limit in the same thread as a program. More... | |
class | SharedTimeLimit |
class | NestedTimeLimit |
Provides a way to nest time limits for algorithms where a certain part of the computation is bounded not just by the overall time limit, but also by a stricter time limit specific just for this particular part. More... | |
Namespaces | |
operations_research | |
Functions | |
DECLARE_bool (time_limit_use_usertime) | |
Enables changing the behavior of the TimeLimit class to use -b usertime instead of walltime. More... | |
DECLARE_bool (time_limit_use_instruction_count) | |
Adds support to measure the number of executed instructions in the TimeLimit class. More... | |
Function Documentation
◆ DECLARE_bool() [1/2]
DECLARE_bool | ( | time_limit_use_instruction_count | ) |
Adds support to measure the number of executed instructions in the TimeLimit class.
◆ DECLARE_bool() [2/2]
DECLARE_bool | ( | time_limit_use_usertime | ) |
Enables changing the behavior of the TimeLimit class to use -b usertime instead of walltime.
This is mainly useful for benchmarks.