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.