OR-Tools  8.2
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: