| AddAbsEquality(const LinearExpr &target, const LinearExpr &expr) | operations_research::sat::CpModelBuilder | |
| AddAllDifferent(absl::Span< const IntVar > vars) | operations_research::sat::CpModelBuilder | |
| AddAllDifferent(absl::Span< const LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddAllDifferent(std::initializer_list< LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddAllowedAssignments(absl::Span< const LinearExpr > expressions) | operations_research::sat::CpModelBuilder | |
| AddAllowedAssignments(absl::Span< const IntVar > variables) | operations_research::sat::CpModelBuilder | |
| AddAllowedAssignments(std::initializer_list< LinearExpr > expressions) | operations_research::sat::CpModelBuilder | |
| AddAssumption(BoolVar lit) | operations_research::sat::CpModelBuilder | |
| AddAssumptions(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddAtLeastOne(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddAtMostOne(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddAutomaton(absl::Span< const LinearExpr > transition_expressions, int starting_state, absl::Span< const int > final_states) | operations_research::sat::CpModelBuilder | |
| AddAutomaton(absl::Span< const IntVar > transition_variables, int starting_state, absl::Span< const int > final_states) | operations_research::sat::CpModelBuilder | |
| AddAutomaton(std::initializer_list< LinearExpr > transition_expressions, int starting_state, absl::Span< const int > final_states) | operations_research::sat::CpModelBuilder | |
| AddBoolAnd(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddBoolOr(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddBoolXor(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddCircuitConstraint() | operations_research::sat::CpModelBuilder | |
| AddCumulative(LinearExpr capacity) | operations_research::sat::CpModelBuilder | |
| AddDecisionStrategy(absl::Span< const IntVar > variables, DecisionStrategyProto::VariableSelectionStrategy var_strategy, DecisionStrategyProto::DomainReductionStrategy domain_strategy) | operations_research::sat::CpModelBuilder | |
| AddDecisionStrategy(absl::Span< const BoolVar > variables, DecisionStrategyProto::VariableSelectionStrategy var_strategy, DecisionStrategyProto::DomainReductionStrategy domain_strategy) | operations_research::sat::CpModelBuilder | |
| AddDecisionStrategy(absl::Span< const LinearExpr > expressions, DecisionStrategyProto::VariableSelectionStrategy var_strategy, DecisionStrategyProto::DomainReductionStrategy domain_strategy) | operations_research::sat::CpModelBuilder | |
| AddDecisionStrategy(std::initializer_list< LinearExpr > expressions, DecisionStrategyProto::VariableSelectionStrategy var_strategy, DecisionStrategyProto::DomainReductionStrategy domain_strategy) | operations_research::sat::CpModelBuilder | |
| AddDivisionEquality(const LinearExpr &target, const LinearExpr &numerator, const LinearExpr &denominator) | operations_research::sat::CpModelBuilder | |
| AddElement(LinearExpr index, absl::Span< const LinearExpr > expressions, LinearExpr target) | operations_research::sat::CpModelBuilder | |
| AddElement(LinearExpr index, std::initializer_list< LinearExpr > expressions, LinearExpr target) | operations_research::sat::CpModelBuilder | |
| AddElement(LinearExpr index, absl::Span< const int64_t > values, LinearExpr target) | operations_research::sat::CpModelBuilder | |
| AddEquality(const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddExactlyOne(absl::Span< const BoolVar > literals) | operations_research::sat::CpModelBuilder | |
| AddForbiddenAssignments(absl::Span< const LinearExpr > expression) | operations_research::sat::CpModelBuilder | |
| AddForbiddenAssignments(absl::Span< const IntVar > variables) | operations_research::sat::CpModelBuilder | |
| AddForbiddenAssignments(std::initializer_list< LinearExpr > expressions) | operations_research::sat::CpModelBuilder | |
| AddGreaterOrEqual(const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddGreaterThan(const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddHint(IntVar var, int64_t value) | operations_research::sat::CpModelBuilder | |
| AddHint(BoolVar var, bool value) | operations_research::sat::CpModelBuilder | |
| AddImplication(BoolVar a, BoolVar b) | operations_research::sat::CpModelBuilder | inline |
| AddImplication(absl::Span< const BoolVar > lhs, absl::Span< const BoolVar > rhs) | operations_research::sat::CpModelBuilder | inline |
| AddInverseConstraint(absl::Span< const IntVar > variables, absl::Span< const IntVar > inverse_variables) | operations_research::sat::CpModelBuilder | |
| AddLessOrEqual(const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddLessThan(const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddLinearConstraint(const LinearExpr &expr, const Domain &domain) | operations_research::sat::CpModelBuilder | |
| AddMaxEquality(const LinearExpr &target, absl::Span< const IntVar > vars) | operations_research::sat::CpModelBuilder | |
| AddMaxEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddMaxEquality(const LinearExpr &target, std::initializer_list< LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddMinEquality(const LinearExpr &target, absl::Span< const IntVar > vars) | operations_research::sat::CpModelBuilder | |
| AddMinEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddMinEquality(const LinearExpr &target, std::initializer_list< LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddModuloEquality(const LinearExpr &target, const LinearExpr &var, const LinearExpr &mod) | operations_research::sat::CpModelBuilder | |
| AddMultipleCircuitConstraint() | operations_research::sat::CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, absl::Span< const LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, absl::Span< const IntVar > vars) | operations_research::sat::CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, std::initializer_list< LinearExpr > exprs) | operations_research::sat::CpModelBuilder | |
| AddMultiplicationEquality(const LinearExpr &target, const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddNoOverlap(absl::Span< const IntervalVar > vars) | operations_research::sat::CpModelBuilder | |
| AddNoOverlap2D() | operations_research::sat::CpModelBuilder | |
| AddNotEqual(const LinearExpr &left, const LinearExpr &right) | operations_research::sat::CpModelBuilder | |
| AddReservoirConstraint(int64_t min_level, int64_t max_level) | operations_research::sat::CpModelBuilder | |
| AddVariableElement(LinearExpr index, absl::Span< const IntVar > variables, LinearExpr target) | operations_research::sat::CpModelBuilder | |
| Build() const | operations_research::sat::CpModelBuilder | inline |
| ClearAssumptions() | operations_research::sat::CpModelBuilder | |
| ClearHints() | operations_research::sat::CpModelBuilder | |
| ClearObjective() | operations_research::sat::CpModelBuilder | |
| Clone() const | operations_research::sat::CpModelBuilder | |
| CumulativeConstraint class | operations_research::sat::CpModelBuilder | friend |
| ExportToFile(absl::string_view filename) const | operations_research::sat::CpModelBuilder | |
| FalseVar() | operations_research::sat::CpModelBuilder | |
| FixVariable(IntVar var, int64_t value) | operations_research::sat::CpModelBuilder | |
| FixVariable(BoolVar var, bool value) | operations_research::sat::CpModelBuilder | |
| GetBoolVarFromProtoIndex(int index) | operations_research::sat::CpModelBuilder | |
| GetIntervalVarFromProtoIndex(int index) | operations_research::sat::CpModelBuilder | |
| GetIntVarFromProtoIndex(int index) | operations_research::sat::CpModelBuilder | |
| HasObjective() const | operations_research::sat::CpModelBuilder | |
| IntervalVar class | operations_research::sat::CpModelBuilder | friend |
| IntVar class | operations_research::sat::CpModelBuilder | friend |
| Maximize(const LinearExpr &expr) | operations_research::sat::CpModelBuilder | |
| Maximize(const DoubleLinearExpr &expr) | operations_research::sat::CpModelBuilder | |
| Minimize(const LinearExpr &expr) | operations_research::sat::CpModelBuilder | |
| Minimize(const DoubleLinearExpr &expr) | operations_research::sat::CpModelBuilder | |
| MutableProto() | operations_research::sat::CpModelBuilder | inline |
| NewBoolVar() | operations_research::sat::CpModelBuilder | |
| NewConstant(int64_t value) | 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 | |
| Proto() const | operations_research::sat::CpModelBuilder | inline |
| ReservoirConstraint class | operations_research::sat::CpModelBuilder | friend |
| SetName(absl::string_view name) | operations_research::sat::CpModelBuilder | |
| TrueVar() | operations_research::sat::CpModelBuilder | |
1.14.0