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

Detailed Description

Definition at line 282 of file bop_ls.h.

#include <bop_ls.h>

Public Member Functions

 AssignmentAndConstraintFeasibilityMaintainer (const sat::LinearBooleanProblem &problem, absl::BitGenRef random)
 AssignmentAndConstraintFeasibilityMaintainer (const AssignmentAndConstraintFeasibilityMaintainer &)=delete
AssignmentAndConstraintFeasibilityMaintainer & operator= (const AssignmentAndConstraintFeasibilityMaintainer &)=delete
void SetReferenceSolution (const BopSolution &reference_solution)
void UseCurrentStateAsReference ()
void Assign (absl::Span< const 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 BopSolution & reference () 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() [1/2]

operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::AssignmentAndConstraintFeasibilityMaintainer ( const sat::LinearBooleanProblem & problem,
absl::BitGenRef random )
explicit

Definition at line 211 of file bop_ls.cc.

◆ AssignmentAndConstraintFeasibilityMaintainer() [2/2]

operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::AssignmentAndConstraintFeasibilityMaintainer ( const AssignmentAndConstraintFeasibilityMaintainer & )
delete

Member Function Documentation

◆ AddBacktrackingLevel()

void operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::AddBacktrackingLevel ( )

Definition at line 352 of file bop_ls.cc.

◆ Assign()

void operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::Assign ( absl::Span< const sat::Literal > literals)

Definition at line 331 of file bop_ls.cc.

◆ Assignment()

bool operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::Assignment ( VariableIndex var) const
inline

Definition at line 359 of file bop_ls.h.

◆ BacktrackAll()

void operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::BacktrackAll ( )

Definition at line 375 of file bop_ls.cc.

◆ BacktrackOneLevel()

void operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::BacktrackOneLevel ( )

Definition at line 357 of file bop_ls.cc.

◆ ConstraintIsFeasible()

bool operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::ConstraintIsFeasible ( ConstraintIndex constraint) const
inline

Definition at line 382 of file bop_ls.h.

◆ ConstraintLowerBound()

int64_t operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::ConstraintLowerBound ( ConstraintIndex constraint) const
inline

Definition at line 365 of file bop_ls.h.

◆ ConstraintUpperBound()

int64_t operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::ConstraintUpperBound ( ConstraintIndex constraint) const
inline

Definition at line 370 of file bop_ls.h.

◆ ConstraintValue()

int64_t operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::ConstraintValue ( ConstraintIndex constraint) const
inline

Definition at line 377 of file bop_ls.h.

◆ DebugString()

std::string operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::DebugString ( ) const

Definition at line 414 of file bop_ls.cc.

◆ IsFeasible()

bool operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::IsFeasible ( ) const
inline

Definition at line 337 of file bop_ls.h.

◆ NumConstraints()

size_t operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::NumConstraints ( ) const
inline

Definition at line 353 of file bop_ls.h.

◆ NumInfeasibleConstraints()

int operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::NumInfeasibleConstraints ( ) const
inline

Definition at line 342 of file bop_ls.h.

◆ operator=()

AssignmentAndConstraintFeasibilityMaintainer & operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::operator= ( const AssignmentAndConstraintFeasibilityMaintainer & )
delete

◆ PossiblyInfeasibleConstraints()

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

Definition at line 347 of file bop_ls.h.

◆ PotentialOneFlipRepairs()

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

Definition at line 380 of file bop_ls.cc.

◆ reference()

const BopSolution & operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::reference ( ) const
inline

Definition at line 362 of file bop_ls.h.

◆ SetReferenceSolution()

void operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::SetReferenceSolution ( const BopSolution & reference_solution)

Definition at line 278 of file bop_ls.cc.

◆ UseCurrentStateAsReference()

void operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::UseCurrentStateAsReference ( )

Definition at line 302 of file bop_ls.cc.

Member Data Documentation

◆ kObjectiveConstraint

const ConstraintIndex operations_research::bop::AssignmentAndConstraintFeasibilityMaintainer::kObjectiveConstraint
static

Definition at line 297 of file bop_ls.h.

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