C++ Reference
C++ Reference: CP-SAT
CpModelBuilder Member List
This is the complete list of members for CpModelBuilder, including all inherited members.
| AddAbsEquality(const LinearExpr &target, const LinearExpr &expr) | CpModelBuilder | |
| AddAllDifferent(absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddAllDifferent(absl::Span< const LinearExpr > exprs) | CpModelBuilder | |
| AddAllDifferent(std::initializer_list< LinearExpr > exprs) | CpModelBuilder | |
| AddAllowedAssignments(absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddAssumption(BoolVar lit) | CpModelBuilder | |
| AddAssumptions(absl::Span< const BoolVar > literals) | CpModelBuilder | |
| AddAtLeastOne(absl::Span< const BoolVar > literals) | CpModelBuilder | |
| AddAtMostOne(absl::Span< const BoolVar > literals) | 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(LinearExpr 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(const LinearExpr &target, const LinearExpr &numerator, const LinearExpr &denominator) | CpModelBuilder | |
| AddElement(IntVar index, absl::Span< const int64_t > values, IntVar target) | CpModelBuilder | |
| AddEquality(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddExactlyOne(absl::Span< const BoolVar > literals) | 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_t value) | CpModelBuilder | |
| AddHint(BoolVar var, bool value) | CpModelBuilder | |
| AddImplication(BoolVar a, BoolVar b) | CpModelBuilder | inline |
| AddImplication(absl::Span< const BoolVar > lhs, absl::Span< const BoolVar > rhs) | 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 | |
| AddMaxEquality(const LinearExpr &target, absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddMaxEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | CpModelBuilder | |
| AddMaxEquality(const LinearExpr &target, std::initializer_list< LinearExpr > exprs) | CpModelBuilder | |
| AddMinEquality(const LinearExpr &target, absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddMinEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | CpModelBuilder | |
| AddMinEquality(const LinearExpr &target, std::initializer_list< LinearExpr > exprs) | CpModelBuilder | |
| AddModuloEquality(const LinearExpr &target, const LinearExpr &var, const LinearExpr &mod) | CpModelBuilder | |
| AddMultipleCircuitConstraint() | CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, absl::Span< const IntVar > vars) | CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, std::initializer_list< LinearExpr > exprs) | CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddNoOverlap(absl::Span< const IntervalVar > vars) | CpModelBuilder | |
| AddNoOverlap2D() | CpModelBuilder | |
| AddNotEqual(const LinearExpr &left, const LinearExpr &right) | CpModelBuilder | |
| AddReservoirConstraint(int64_t min_level, int64_t max_level) | CpModelBuilder | |
| AddVariableElement(IntVar index, absl::Span< const IntVar > variables, IntVar target) | CpModelBuilder | |
| Build() const | CpModelBuilder | inline |
| ClearAssumptions() | CpModelBuilder | |
| ClearHints() | CpModelBuilder | |
| ClearObjective() | CpModelBuilder | |
| CopyFrom(const CpModelProto &model_proto) | CpModelBuilder | |
| CumulativeConstraint class | CpModelBuilder | friend |
| ExportToFile(const std::string &filename) const | CpModelBuilder | |
| FalseVar() | CpModelBuilder | |
| FixVariable(IntVar var, int64_t value) | CpModelBuilder | |
| FixVariable(BoolVar var, bool value) | CpModelBuilder | |
| GetBoolVarFromProtoIndex(int index) | CpModelBuilder | |
| GetIntervalVarFromProtoIndex(int index) | CpModelBuilder | |
| GetIntVarFromProtoIndex(int index) | CpModelBuilder | |
| HasObjective() const | CpModelBuilder | |
| IntervalVar class | CpModelBuilder | friend |
| IntVar class | CpModelBuilder | friend |
| Maximize(const LinearExpr &expr) | CpModelBuilder | |
| Maximize(const DoubleLinearExpr &expr) | CpModelBuilder | |
| Minimize(const LinearExpr &expr) | CpModelBuilder | |
| Minimize(const DoubleLinearExpr &expr) | CpModelBuilder | |
| MutableProto() | CpModelBuilder | inline |
| NewBoolVar() | CpModelBuilder | |
| NewConstant(int64_t value) | CpModelBuilder | |
| NewFixedSizeIntervalVar(const LinearExpr &start, int64_t size) | CpModelBuilder | |
| NewIntervalVar(const LinearExpr &start, const LinearExpr &size, const LinearExpr &end) | CpModelBuilder | |
| NewIntVar(const Domain &domain) | CpModelBuilder | |
| NewOptionalFixedSizeIntervalVar(const LinearExpr &start, int64_t size, BoolVar presence) | CpModelBuilder | |
| NewOptionalIntervalVar(const LinearExpr &start, const LinearExpr &size, const LinearExpr &end, BoolVar presence) | CpModelBuilder | |
| Proto() const | CpModelBuilder | inline |
| ReservoirConstraint class | CpModelBuilder | friend |
| SetName(const std::string &name) | CpModelBuilder | |
| TrueVar() | CpModelBuilder |