ModelSharedTimeLimit

Detailed Description

Definition at line 159 of file sat/util.h.

Public Member Functions
	ModelSharedTimeLimit (Model *model)
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()

ModelSharedTimeLimit ( Model *  model )

inlineexplicit

Definition at line 161 of file sat/util.h.

Member Function Documentation

AdvanceDeterministicTime()

void AdvanceDeterministicTime ( double  deterministic_duration )

inlineinherited

Definition at line 386 of file time_limit.h.

ExternalBooleanAsLimit()

std::atomic<bool>* ExternalBooleanAsLimit ( ) const

inlineinherited

Definition at line 401 of file time_limit.h.

GetElapsedDeterministicTime()

double GetElapsedDeterministicTime ( ) const

inlineinherited

Definition at line 396 of file time_limit.h.

GetTimeLeft()

double GetTimeLeft ( ) const

inlineinherited

Definition at line 391 of file time_limit.h.

LimitReached()

bool LimitReached ( ) const

inlineinherited

Definition at line 369 of file time_limit.h.

Stop()

void Stop ( )

inlineinherited

Definition at line 376 of file time_limit.h.

UpdateLocalLimit()

void UpdateLocalLimit ( TimeLimit *  local_limit )

inlineinherited

Definition at line 381 of file time_limit.h.

---

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

• sat/util.h