| AddBoolOr(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddBoolOr(). Sum literals > | operations_research::sat::CpModelBuilder | |
| AddEquality(var, *value) which add a const raint | operations_research::sat::CpModelBuilder | |
| AddEquality() if this is not what you *want. void FixVariable(IntVar var | operations_research::sat::CpModelBuilder | |
| AddGreaterThan(const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddImplication(BoolVar a, BoolVar b) | operations_research::sat::CpModelBuilder | inline |
| FalseVar() | operations_research::sat::CpModelBuilder | |
| FixVariable(BoolVar var, bool value) | operations_research::sat::CpModelBuilder | |
| implication | operations_research::sat::CpModelBuilder | |
| left | operations_research::sat::CpModelBuilder | |
| NewBoolVar() | operations_research::sat::CpModelBuilder | |
| NewFixedSizeIntervalVar(const LinearExpr &start, int64_t size) | operations_research::sat::CpModelBuilder | |
| NewIntervalVar(const LinearExpr &start, const LinearExpr &size, const LinearExpr &end) | operations_research::sat::CpModelBuilder | |
| NewIntVar(const Domain &domain) | operations_research::sat::CpModelBuilder | |
| NewOptionalFixedSizeIntervalVar(const LinearExpr &start, int64_t size, BoolVar presence) | operations_research::sat::CpModelBuilder | |
| NewOptionalIntervalVar(const LinearExpr &start, const LinearExpr &size, const LinearExpr &end, BoolVar presence) | operations_research::sat::CpModelBuilder | |
| NewVariable(Domain(value)).but it will return the same variable if used *twice with the same const ant. IntVar NewConstant(int64_t value) | operations_research::sat::CpModelBuilder | |
| rhs | operations_research::sat::CpModelBuilder | |
| SetName(absl::string_view name) | operations_research::sat::CpModelBuilder | |
| times | operations_research::sat::CpModelBuilder | |
| times | operations_research::sat::CpModelBuilder | |
| TrueVar() | operations_research::sat::CpModelBuilder | |
| value | operations_research::sat::CpModelBuilder | |
| value | operations_research::sat::CpModelBuilder | |
1.15.0