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

namespace  operations_research
 

Functions

 ABSL_DECLARE_FLAG (bool, time_limit_use_usertime)
 Enables changing the behavior of the TimeLimit class to use -b usertime instead of walltime. More...
 
 ABSL_DECLARE_FLAG (bool, time_limit_use_instruction_count)
 Adds support to measure the number of executed instructions in the TimeLimit class. More...
 

Function Documentation

◆ ABSL_DECLARE_FLAG() [1/2]

ABSL_DECLARE_FLAG ( bool  ,
time_limit_use_instruction_count   
)

Adds support to measure the number of executed instructions in the TimeLimit class.

◆ ABSL_DECLARE_FLAG() [2/2]

ABSL_DECLARE_FLAG ( 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.