RestartPolicy

Detailed Description

Definition at line 29 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 31 of file restart.h.

Member Function Documentation

InfoString()

std::string InfoString

(

)

const

Definition at line 173 of file restart.cc.

NumRestarts()

int NumRestarts ( ) const

inline

Definition at line 52 of file restart.h.

OnConflict()

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

Definition at line 144 of file restart.cc.

Reset()

void Reset

(

)

Definition at line 23 of file restart.cc.

ShouldRestart()

bool ShouldRestart

(

)

Definition at line 81 of file restart.cc.

---

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

• restart.h
• restart.cc