![]() |
OR-Tools
8.2
|
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 |
|
inlineexplicit |
std::string InfoString | ( | ) | const |
Definition at line 173 of file restart.cc.
void OnConflict | ( | int | conflict_trail_index, |
int | conflict_decision_level, | ||
int | conflict_lbd | ||
) |
Definition at line 144 of file restart.cc.
void Reset | ( | ) |
Definition at line 23 of file restart.cc.
bool ShouldRestart | ( | ) |
Definition at line 81 of file restart.cc.