OR-Tools  8.2
AssignmentAndConstraintFeasibilityMaintainer

Detailed Description

Definition at line 264 of file bop_ls.h.

Public Member Functions

 AssignmentAndConstraintFeasibilityMaintainer (const sat::LinearBooleanProblem &problem)
 
void SetReferenceSolution (const BopSolution &reference_solution)
 
void UseCurrentStateAsReference ()
 
void Assign (const std::vector< sat::Literal > &literals)
 
void AddBacktrackingLevel ()
 
void BacktrackOneLevel ()
 
void BacktrackAll ()
 
const std::vector< sat::Literal > & PotentialOneFlipRepairs ()
 
bool IsFeasible () const
 
int NumInfeasibleConstraints () const
 
const std::vector< ConstraintIndex > & PossiblyInfeasibleConstraints () const
 
size_t NumConstraints () const
 
bool Assignment (VariableIndex var) const
 
const BopSolutionreference () const
 
int64_t ConstraintLowerBound (ConstraintIndex constraint) const
 
int64_t ConstraintUpperBound (ConstraintIndex constraint) const
 
int64_t ConstraintValue (ConstraintIndex constraint) const
 
bool ConstraintIsFeasible (ConstraintIndex constraint) const
 
std::string DebugString () const
 

Static Public Attributes

static const ConstraintIndex kObjectiveConstraint
 

Constructor & Destructor Documentation

◆ AssignmentAndConstraintFeasibilityMaintainer()

AssignmentAndConstraintFeasibilityMaintainer ( const sat::LinearBooleanProblem &  problem)
explicit

Definition at line 182 of file bop_ls.cc.

Member Function Documentation

◆ AddBacktrackingLevel()

void AddBacktrackingLevel ( )

Definition at line 322 of file bop_ls.cc.

◆ Assign()

void Assign ( const std::vector< sat::Literal > &  literals)

Definition at line 301 of file bop_ls.cc.

◆ Assignment()

bool Assignment ( VariableIndex  var) const
inline

Definition at line 335 of file bop_ls.h.

◆ BacktrackAll()

void BacktrackAll ( )

Definition at line 345 of file bop_ls.cc.

◆ BacktrackOneLevel()

void BacktrackOneLevel ( )

Definition at line 327 of file bop_ls.cc.

◆ ConstraintIsFeasible()

bool ConstraintIsFeasible ( ConstraintIndex  constraint) const
inline

Definition at line 358 of file bop_ls.h.

◆ ConstraintLowerBound()

int64_t ConstraintLowerBound ( ConstraintIndex  constraint) const
inline

Definition at line 341 of file bop_ls.h.

◆ ConstraintUpperBound()

int64_t ConstraintUpperBound ( ConstraintIndex  constraint) const
inline

Definition at line 346 of file bop_ls.h.

◆ ConstraintValue()

int64_t ConstraintValue ( ConstraintIndex  constraint) const
inline

Definition at line 353 of file bop_ls.h.

◆ DebugString()

std::string DebugString ( ) const

Definition at line 384 of file bop_ls.cc.

◆ IsFeasible()

bool IsFeasible ( ) const
inline

Definition at line 313 of file bop_ls.h.

◆ NumConstraints()

size_t NumConstraints ( ) const
inline

Definition at line 329 of file bop_ls.h.

◆ NumInfeasibleConstraints()

int NumInfeasibleConstraints ( ) const
inline

Definition at line 318 of file bop_ls.h.

◆ PossiblyInfeasibleConstraints()

const std::vector< ConstraintIndex > & PossiblyInfeasibleConstraints ( ) const
inline

Definition at line 323 of file bop_ls.h.

◆ PotentialOneFlipRepairs()

const std::vector< sat::Literal > & PotentialOneFlipRepairs ( )

Definition at line 350 of file bop_ls.cc.

◆ reference()

const BopSolution & reference ( ) const
inline

Definition at line 338 of file bop_ls.h.

◆ SetReferenceSolution()

void SetReferenceSolution ( const BopSolution reference_solution)

Definition at line 248 of file bop_ls.cc.

◆ UseCurrentStateAsReference()

void UseCurrentStateAsReference ( )

Definition at line 272 of file bop_ls.cc.

Member Data Documentation

◆ kObjectiveConstraint

const ConstraintIndex kObjectiveConstraint
static

Definition at line 273 of file bop_ls.h.


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