Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ModelSharedTimeLimit Class Reference

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

Detailed Description

The model "singleton" shared time limit.

Definition at line 354 of file util.h.

#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

Constructor & Destructor Documentation

◆ ModelSharedTimeLimit()

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

Definition at line 356 of file util.h.


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