OR-Tools  8.2
OneFlipConstraintRepairer Member List

This is the complete list of members for OneFlipConstraintRepairer, including all inherited members.

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