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:

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:

• ortools/sat/util.h