Definition at line 264 of file bop_ls.h.
◆ AssignmentAndConstraintFeasibilityMaintainer()
◆ AddBacktrackingLevel()
void AddBacktrackingLevel |
( |
| ) |
|
◆ Assign()
◆ Assignment()
◆ BacktrackAll()
◆ BacktrackOneLevel()
void BacktrackOneLevel |
( |
| ) |
|
◆ ConstraintIsFeasible()
bool ConstraintIsFeasible |
( |
ConstraintIndex |
constraint | ) |
const |
|
inline |
◆ ConstraintLowerBound()
int64_t ConstraintLowerBound |
( |
ConstraintIndex |
constraint | ) |
const |
|
inline |
◆ ConstraintUpperBound()
int64_t ConstraintUpperBound |
( |
ConstraintIndex |
constraint | ) |
const |
|
inline |
◆ ConstraintValue()
int64_t ConstraintValue |
( |
ConstraintIndex |
constraint | ) |
const |
|
inline |
◆ DebugString()
std::string DebugString |
( |
| ) |
const |
◆ IsFeasible()
bool IsFeasible |
( |
| ) |
const |
|
inline |
◆ NumConstraints()
size_t NumConstraints |
( |
| ) |
const |
|
inline |
◆ NumInfeasibleConstraints()
int NumInfeasibleConstraints |
( |
| ) |
const |
|
inline |
◆ PossiblyInfeasibleConstraints()
const std::vector< ConstraintIndex > & PossiblyInfeasibleConstraints |
( |
| ) |
const |
|
inline |
◆ PotentialOneFlipRepairs()
const std::vector< sat::Literal > & PotentialOneFlipRepairs |
( |
| ) |
|
◆ reference()
◆ SetReferenceSolution()
void SetReferenceSolution |
( |
const BopSolution & |
reference_solution | ) |
|
◆ UseCurrentStateAsReference()
void UseCurrentStateAsReference |
( |
| ) |
|
◆ kObjectiveConstraint
const ConstraintIndex kObjectiveConstraint |
|
static |
The documentation for this class was generated from the following files: