C++ Reference
C++ Reference: CP-SAT
CpModelBuilder Member List
This is the complete list of members for CpModelBuilder, including all inherited members.
| AddAbsEquality(IntVar target, IntVar var) | CpModelBuilder | |
| AddAllDifferent(absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddAllowedAssignments(absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddAutomaton(absl::Span< const IntVar > transition_variables, int starting_state, absl::Span< const int > final_states) | CpModelBuilder | |
| AddBoolAnd(absl::Span< const BoolVar > literals) | CpModelBuilder | |
| AddBoolOr(absl::Span< const BoolVar > literals) | CpModelBuilder | |
| AddBoolXor(absl::Span< const BoolVar > literals) | CpModelBuilder | |
| AddCircuitConstraint() | CpModelBuilder | |
| AddCumulative(IntVar capacity) | CpModelBuilder | |
| AddDecisionStrategy(absl::Span< const IntVar > variables, DecisionStrategyProto::VariableSelectionStrategy var_strategy, DecisionStrategyProto::DomainReductionStrategy domain_strategy) | CpModelBuilder | |
| AddDecisionStrategy(absl::Span< const BoolVar > variables, DecisionStrategyProto::VariableSelectionStrategy var_strategy, DecisionStrategyProto::DomainReductionStrategy domain_strategy) | CpModelBuilder | |
| AddDivisionEquality(IntVar target, IntVar numerator, IntVar denominator) | CpModelBuilder | |
| AddElement(IntVar index, absl::Span< const int64 > values, IntVar target) | CpModelBuilder | |
| AddEquality(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddForbiddenAssignments(absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddGreaterOrEqual(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddGreaterThan(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddHint(IntVar var, int64 value) | CpModelBuilder | |
| AddImplication(BoolVar a, BoolVar b) | CpModelBuilder | inline |
| AddInverseConstraint(absl::Span< const IntVar > variables, absl::Span< const IntVar > inverse_variables) | CpModelBuilder | |
| AddLessOrEqual(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddLessThan(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddLinearConstraint(const LinearExpr &expr, const Domain &domain) | CpModelBuilder | |
| AddLinMaxEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | CpModelBuilder | |
| AddLinMinEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | CpModelBuilder | |
| AddMaxEquality(IntVar target, absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddMinEquality(IntVar target, absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddModuloEquality(IntVar target, IntVar var, IntVar mod) | CpModelBuilder | |
| AddMultipleCircuitConstraint() | CpModelBuilder | |
| AddNoOverlap(absl::Span< const IntervalVar > vars) | CpModelBuilder | |
| AddNoOverlap2D() | CpModelBuilder | |
| AddNotEqual(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddProductEquality(IntVar target, absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddReservoirConstraint(int64 min_level, int64 max_level) | CpModelBuilder | |
| AddVariableElement(IntVar index, absl::Span< const IntVar > variables, IntVar target) | CpModelBuilder | |
| Build() const | CpModelBuilder | inline |
| CumulativeConstraint class | CpModelBuilder | friend |
| FalseVar() | CpModelBuilder | |
| Maximize(const LinearExpr &expr) | CpModelBuilder | |
| Minimize(const LinearExpr &expr) | CpModelBuilder | |
| MutableProto() | CpModelBuilder | inline |
| NewBoolVar() | CpModelBuilder | |
| NewConstant(int64 value) | CpModelBuilder | |
| NewIntervalVar(IntVar start, IntVar size, IntVar end) | CpModelBuilder | |
| NewIntVar(const Domain &domain) | CpModelBuilder | |
| NewOptionalIntervalVar(IntVar start, IntVar size, IntVar end, BoolVar presence) | CpModelBuilder | |
| Proto() const | CpModelBuilder | inline |
| ReservoirConstraint class | CpModelBuilder | friend |
| ScaleObjectiveBy(double scaling) | CpModelBuilder | |
| TrueVar() | CpModelBuilder |