| AddConstant(IntegerValue value) | operations_research::sat::LinearConstraintBuilder | |
| AddDecomposedProduct(absl::Span< const LiteralValueValue > product) | operations_research::sat::LinearConstraintBuilder | |
| AddLinearExpression(const LinearExpression &expr) | operations_research::sat::LinearConstraintBuilder | |
| AddLinearExpression(const LinearExpression &expr, IntegerValue coeff) | operations_research::sat::LinearConstraintBuilder | |
| AddLiteralTerm(Literal lit, IntegerValue coeff=IntegerValue(1)) | operations_research::sat::LinearConstraintBuilder | |
| AddQuadraticLowerBound(AffineExpression left, AffineExpression right, IntegerTrail *integer_trail, bool *is_quadratic=nullptr) | operations_research::sat::LinearConstraintBuilder | |
| AddTerm(IntegerVariable var, IntegerValue coeff) | operations_research::sat::LinearConstraintBuilder | |
| AddTerm(AffineExpression expr, IntegerValue coeff) | operations_research::sat::LinearConstraintBuilder | |
| Build() | operations_research::sat::LinearConstraintBuilder | |
| BuildConstraint(IntegerValue lb, IntegerValue ub) | operations_research::sat::LinearConstraintBuilder | |
| BuildExpression() | operations_research::sat::LinearConstraintBuilder | |
| BuildIntoConstraintAndCheckOverflow(IntegerValue lb, IntegerValue ub, LinearConstraint *ct) | operations_research::sat::LinearConstraintBuilder | |
| Clear() | operations_research::sat::LinearConstraintBuilder | inline |
| LinearConstraintBuilder(const Model *model) | operations_research::sat::LinearConstraintBuilder | inlineexplicit |
| LinearConstraintBuilder(IntegerEncoder *encoder) | operations_research::sat::LinearConstraintBuilder | inlineexplicit |
| LinearConstraintBuilder(const Model *model, IntegerValue lb, IntegerValue ub) | operations_research::sat::LinearConstraintBuilder | inline |
| LinearConstraintBuilder(IntegerEncoder *encoder, IntegerValue lb, IntegerValue ub) | operations_research::sat::LinearConstraintBuilder | inline |
| LinearConstraintBuilder() | operations_research::sat::LinearConstraintBuilder | inline |
| LinearConstraintBuilder(IntegerValue lb, IntegerValue ub) | operations_research::sat::LinearConstraintBuilder | inline |
| NumTerms() const | operations_research::sat::LinearConstraintBuilder | inline |
| ResetBounds(IntegerValue lb, IntegerValue ub) | operations_research::sat::LinearConstraintBuilder | inline |