Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | List of all members
operations_research::sat::ModelSharedTimeLimit Class Reference

The model "singleton" shared time limit. More...

#include <util.h>

Inheritance diagram for operations_research::sat::ModelSharedTimeLimit:
operations_research::SharedTimeLimit

Public Member Functions

 ModelSharedTimeLimit (Model *model)
 
- Public Member Functions inherited from operations_research::SharedTimeLimit
 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
 

Detailed Description

The model "singleton" shared time limit.

Definition at line 345 of file util.h.

Constructor & Destructor Documentation

◆ ModelSharedTimeLimit()

operations_research::sat::ModelSharedTimeLimit::ModelSharedTimeLimit ( Model * model)
inlineexplicit

Definition at line 347 of file util.h.

The documentation for this class was generated from the following file: