Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::RestartPolicy Class Reference

Detailed Description

Definition at line 32 of file restart.h.

#include <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
double LbdAverageSinceReset () const

Constructor & Destructor Documentation

◆ RestartPolicy()

operations_research::sat::RestartPolicy::RestartPolicy ( Model * model)
inlineexplicit

Definition at line 34 of file restart.h.

Member Function Documentation

◆ InfoString()

std::string operations_research::sat::RestartPolicy::InfoString ( ) const

Definition at line 180 of file restart.cc.

◆ LbdAverageSinceReset()

double operations_research::sat::RestartPolicy::LbdAverageSinceReset ( ) const
inline

Definition at line 60 of file restart.h.

◆ NumRestarts()

int operations_research::sat::RestartPolicy::NumRestarts ( ) const
inline

Definition at line 55 of file restart.h.

◆ OnConflict()

void operations_research::sat::RestartPolicy::OnConflict ( int conflict_trail_index,
int conflict_decision_level,
int conflict_lbd )

Definition at line 151 of file restart.cc.

◆ Reset()

void operations_research::sat::RestartPolicy::Reset ( )

Definition at line 30 of file restart.cc.

◆ ShouldRestart()

bool operations_research::sat::RestartPolicy::ShouldRestart ( )

Definition at line 88 of file restart.cc.

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