OR-Tools  8.2
SatWrapper

Detailed Description

Definition at line 52 of file bop_ls.h.

Public Member Functions

 SatWrapper (sat::SatSolver *sat_solver)
 
std::vector< sat::LiteralFullSatTrail () const
 
bool IsModelUnsat () const
 
const sat::VariablesAssignmentSatAssignment () const
 
int ApplyDecision (sat::Literal decision_literal, std::vector< sat::Literal > *propagated_literals)
 
void BacktrackOneLevel ()
 
void BacktrackAll ()
 
void ExtractLearnedInfo (LearnedInfo *info)
 
double deterministic_time () const
 

Constructor & Destructor Documentation

◆ SatWrapper()

SatWrapper ( sat::SatSolver sat_solver)
explicit

Definition at line 621 of file bop_ls.cc.

Member Function Documentation

◆ ApplyDecision()

int ApplyDecision ( sat::Literal  decision_literal,
std::vector< sat::Literal > *  propagated_literals 
)

Definition at line 634 of file bop_ls.cc.

◆ BacktrackAll()

void BacktrackAll ( )

Definition at line 623 of file bop_ls.cc.

◆ BacktrackOneLevel()

void BacktrackOneLevel ( )

Definition at line 660 of file bop_ls.cc.

◆ deterministic_time()

double deterministic_time ( ) const

Definition at line 671 of file bop_ls.cc.

◆ ExtractLearnedInfo()

void ExtractLearnedInfo ( LearnedInfo info)

Definition at line 667 of file bop_ls.cc.

◆ FullSatTrail()

std::vector< sat::Literal > FullSatTrail ( ) const

Definition at line 625 of file bop_ls.cc.

◆ IsModelUnsat()

bool IsModelUnsat ( ) const
inline

Definition at line 64 of file bop_ls.h.

◆ SatAssignment()

const sat::VariablesAssignment & SatAssignment ( ) const
inline

Definition at line 67 of file bop_ls.h.


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