Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LinearConstraintSymmetrizer Member List

This is the complete list of members for operations_research::sat::LinearConstraintSymmetrizer, including all inherited members.

AddSymmetryOrbit(IntegerVariable sum_var, absl::Span< const IntegerVariable > orbit)operations_research::sat::LinearConstraintSymmetrizer
AppearInFoldedProblem(IntegerVariable var) constoperations_research::sat::LinearConstraintSymmetrizer
FoldLinearConstraint(LinearConstraint *ct, bool *folded=nullptr)operations_research::sat::LinearConstraintSymmetrizer
HasSymmetry() constoperations_research::sat::LinearConstraintSymmetrizerinline
IsOrbitSumVar(IntegerVariable var) constoperations_research::sat::LinearConstraintSymmetrizer
LinearConstraintSymmetrizer(Model *model)operations_research::sat::LinearConstraintSymmetrizerinlineexplicit
NumOrbits() constoperations_research::sat::LinearConstraintSymmetrizerinline
Orbit(int i) constoperations_research::sat::LinearConstraintSymmetrizerinline
OrbitIndex(IntegerVariable var) constoperations_research::sat::LinearConstraintSymmetrizer
OrbitSumVar(int i) constoperations_research::sat::LinearConstraintSymmetrizerinline
~LinearConstraintSymmetrizer()operations_research::sat::LinearConstraintSymmetrizer