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

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

AddAffineUpperBound(LinearExpression2Index lin2_index, IntegerValue lin_expr_gcd, AffineExpression affine_ub)operations_research::sat::Linear2BoundsFromLinear3
AddAffineUpperBound(LinearExpression2 expr, AffineExpression affine_ub)operations_research::sat::Linear2BoundsFromLinear3inline
AddReasonForUpperBoundLowerThan(LinearExpression2Index lin2_index, IntegerValue ub, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) constoperations_research::sat::Linear2BoundsFromLinear3
GetUpperBoundFromLinear3(LinearExpression2Index lin2_index) constoperations_research::sat::Linear2BoundsFromLinear3
Linear2BoundsFromLinear3(Model *model)operations_research::sat::Linear2BoundsFromLinear3explicit
~Linear2BoundsFromLinear3()operations_research::sat::Linear2BoundsFromLinear3