operations_research::bop::OneFlipConstraintRepairer Class Reference

Detailed Description

Definition at line 454 of file bop_ls.h.

#include <bop_ls.h>

Classes
struct	ConstraintTerm

Public Member Functions
	OneFlipConstraintRepairer (const sat::LinearBooleanProblem &problem, const AssignmentAndConstraintFeasibilityMaintainer &maintainer, const sat::VariablesAssignment &sat_assignment)
	OneFlipConstraintRepairer (const OneFlipConstraintRepairer &)=delete
OneFlipConstraintRepairer &	operator= (const OneFlipConstraintRepairer &)=delete
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() [1/2]

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

Definition at line 474 of file bop_ls.cc.

OneFlipConstraintRepairer() [2/2]

operations_research::bop::OneFlipConstraintRepairer::OneFlipConstraintRepairer ( const OneFlipConstraintRepairer & )

delete

Member Function Documentation

ConstraintToRepair()

ConstraintIndex operations_research::bop::OneFlipConstraintRepairer::ConstraintToRepair

(

)

const

Definition at line 526 of file bop_ls.cc.

GetFlip()

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

Definition at line 626 of file bop_ls.cc.

NextRepairingTerm()

TermIndex operations_research::bop::OneFlipConstraintRepairer::NextRepairingTerm	(	ConstraintIndex	ct_index,
		TermIndex	init_term_index,
		TermIndex	start_term_index ) const

Definition at line 579 of file bop_ls.cc.

operator=()

OneFlipConstraintRepairer & operations_research::bop::OneFlipConstraintRepairer::operator= ( const OneFlipConstraintRepairer & )

delete

RepairIsValid()

bool operations_research::bop::OneFlipConstraintRepairer::RepairIsValid	(	ConstraintIndex	ct_index,
		TermIndex	term_index ) const

Definition at line 609 of file bop_ls.cc.

Member Data Documentation

kInitTerm

const TermIndex operations_research::bop::OneFlipConstraintRepairer::kInitTerm

static

Definition at line 473 of file bop_ls.h.

kInvalidConstraint

const ConstraintIndex operations_research::bop::OneFlipConstraintRepairer::kInvalidConstraint

static

Definition at line 472 of file bop_ls.h.

kInvalidTerm

const TermIndex operations_research::bop::OneFlipConstraintRepairer::kInvalidTerm

static

Definition at line 474 of file bop_ls.h.

---

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

• ortools/bop/bop_ls.h
• ortools/bop/bop_ls.cc