RestartPolicy

Detailed Description

Definition at line 31 of file restart.h.

Public Member Functions
	RestartPolicy (Model *model)
void	Reset ()
bool	ShouldRestart ()
void	OnConflict (int conflict_trail_index, int conflict_decision_level, int conflict_lbd)
int	NumRestarts () const
std::string	InfoString () const

Constructor & Destructor Documentation

RestartPolicy()

RestartPolicy ( Model *  model )

inlineexplicit

Definition at line 33 of file restart.h.

Member Function Documentation

InfoString()

std::string InfoString

(

)

const

Definition at line 180 of file restart.cc.

NumRestarts()

int NumRestarts ( ) const

inline

Definition at line 54 of file restart.h.

OnConflict()

void OnConflict	(	int	conflict_trail_index,
		int	conflict_decision_level,
		int	conflict_lbd
	)

Definition at line 151 of file restart.cc.

Reset()

void Reset

(

)

Definition at line 30 of file restart.cc.

ShouldRestart()

bool ShouldRestart

(

)

Definition at line 88 of file restart.cc.

---

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

• restart.h
• restart.cc