OR-Tools  8.2
OneFlipConstraintRepairer

Detailed Description

Definition at line 432 of file bop_ls.h.

Classes

struct  ConstraintTerm
 

Public Member Functions

 OneFlipConstraintRepairer (const sat::LinearBooleanProblem &problem, const AssignmentAndConstraintFeasibilityMaintainer &maintainer, const sat::VariablesAssignment &sat_assignment)
 
ConstraintIndex ConstraintToRepair () const
 
TermIndex NextRepairingTerm (ConstraintIndex ct_index, TermIndex init_term_index, TermIndex start_term_index) const
 
bool RepairIsValid (ConstraintIndex ct_index, TermIndex term_index) const
 
sat::Literal GetFlip (ConstraintIndex ct_index, TermIndex term_index) const
 

Static Public Attributes

static const ConstraintIndex kInvalidConstraint
 
static const TermIndex kInitTerm
 
static const TermIndex kInvalidTerm
 

Constructor & Destructor Documentation

◆ OneFlipConstraintRepairer()

OneFlipConstraintRepairer ( const sat::LinearBooleanProblem &  problem,
const AssignmentAndConstraintFeasibilityMaintainer maintainer,
const sat::VariablesAssignment sat_assignment 
)

Definition at line 442 of file bop_ls.cc.

Member Function Documentation

◆ ConstraintToRepair()

ConstraintIndex ConstraintToRepair ( ) const

Definition at line 494 of file bop_ls.cc.

◆ GetFlip()

sat::Literal GetFlip ( ConstraintIndex  ct_index,
TermIndex  term_index 
) const

Definition at line 594 of file bop_ls.cc.

◆ NextRepairingTerm()

TermIndex NextRepairingTerm ( ConstraintIndex  ct_index,
TermIndex  init_term_index,
TermIndex  start_term_index 
) const

Definition at line 547 of file bop_ls.cc.

◆ RepairIsValid()

bool RepairIsValid ( ConstraintIndex  ct_index,
TermIndex  term_index 
) const

Definition at line 577 of file bop_ls.cc.

Member Data Documentation

◆ kInitTerm

const TermIndex kInitTerm
static

Definition at line 446 of file bop_ls.h.

◆ kInvalidConstraint

const ConstraintIndex kInvalidConstraint
static

Definition at line 445 of file bop_ls.h.

◆ kInvalidTerm

const TermIndex kInvalidTerm
static

Definition at line 447 of file bop_ls.h.


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