![]() |
OR-Tools
8.2
|
This is the complete list of members for OneFlipConstraintRepairer, including all inherited members.
ConstraintToRepair() const | OneFlipConstraintRepairer | |
GetFlip(ConstraintIndex ct_index, TermIndex term_index) const | OneFlipConstraintRepairer | |
kInitTerm | OneFlipConstraintRepairer | static |
kInvalidConstraint | OneFlipConstraintRepairer | static |
kInvalidTerm | OneFlipConstraintRepairer | static |
NextRepairingTerm(ConstraintIndex ct_index, TermIndex init_term_index, TermIndex start_term_index) const | OneFlipConstraintRepairer | |
OneFlipConstraintRepairer(const sat::LinearBooleanProblem &problem, const AssignmentAndConstraintFeasibilityMaintainer &maintainer, const sat::VariablesAssignment &sat_assignment) | OneFlipConstraintRepairer | |
RepairIsValid(ConstraintIndex ct_index, TermIndex term_index) const | OneFlipConstraintRepairer |