DotNet Reference
DotNet Reference
Detailed Description
Wrapper class around the cp_model proto.
Definition at line 23 of file CpModel.cs.
Public Member Functions | |
| CpModel () | |
| IntVar | NewIntVar (long lb, long ub, string name) |
| IntVar | NewIntVarFromDomain (Domain domain, string name) |
| IntVar | NewConstant (long value) |
| IntVar | NewConstant (long value, string name) |
| IntVar | NewBoolVar (string name) |
| Constraint | AddLinearConstraint (LinearExpr linear_expr, long lb, long ub) |
| Constraint | AddLinearExpressionInDomain (LinearExpr linear_expr, Domain domain) |
| Constraint | Add (BoundedLinearExpression lin) |
| Constraint | AddAllDifferent (IEnumerable< IntVar > vars) |
| Constraint | AddElement (IntVar index, IEnumerable< IntVar > vars, IntVar target) |
| Constraint | AddElement (IntVar index, IEnumerable< long > values, IntVar target) |
| Constraint | AddElement (IntVar index, IEnumerable< int > values, IntVar target) |
| Constraint | AddCircuit (IEnumerable< Tuple< int, int, ILiteral >> arcs) |
| Constraint | AddAllowedAssignments (IEnumerable< IntVar > vars, long[,] tuples) |
| Constraint | AddForbiddenAssignments (IEnumerable< IntVar > vars, long[,] tuples) |
| Constraint | AddAutomaton (IEnumerable< IntVar > vars, long starting_state, long[,] transitions, IEnumerable< long > final_states) |
| Constraint | AddAutomaton (IEnumerable< IntVar > vars, long starting_state, IEnumerable< Tuple< long, long, long >> transitions, IEnumerable< long > final_states) |
| Constraint | AddInverse (IEnumerable< IntVar > direct, IEnumerable< IntVar > reverse) |
| Constraint | AddReservoirConstraint< I > (IEnumerable< IntVar > times, IEnumerable< I > demands, long min_level, long max_level) |
| Constraint | AddReservoirConstraintWithActive< I > (IEnumerable< IntVar > times, IEnumerable< I > demands, IEnumerable< IntVar > actives, long min_level, long max_level) |
| void | AddMapDomain (IntVar var, IEnumerable< IntVar > bool_vars, long offset=0) |
| Constraint | AddImplication (ILiteral a, ILiteral b) |
| Constraint | AddBoolOr (IEnumerable< ILiteral > literals) |
| Constraint | AddBoolAnd (IEnumerable< ILiteral > literals) |
| Constraint | AddBoolXor (IEnumerable< ILiteral > literals) |
| Constraint | AddMinEquality (IntVar target, IEnumerable< IntVar > vars) |
| Constraint | AddMaxEquality (IntVar target, IEnumerable< IntVar > vars) |
| Constraint | AddDivisionEquality< T, N, D > (T target, N num, D denom) |
| Constraint | AddAbsEquality (IntVar target, IntVar var) |
| Constraint | AddModuloEquality< T, V, M > (T target, V v, M m) |
| Constraint | AddProdEquality (IntVar target, IEnumerable< IntVar > vars) |
| IntervalVar | NewIntervalVar< S, D, E > (S start, D duration, E end, string name) |
| IntervalVar | NewOptionalIntervalVar< S, D, E > (S start, D duration, E end, ILiteral is_present, string name) |
| Constraint | AddNoOverlap (IEnumerable< IntervalVar > intervals) |
| Constraint | AddNoOverlap2D (IEnumerable< IntervalVar > x_intervals, IEnumerable< IntervalVar > y_intervals) |
| Constraint | AddCumulative< D, C > (IEnumerable< IntervalVar > intervals, IEnumerable< D > demands, C capacity) |
| void | Minimize (LinearExpr obj) |
| void | Maximize (LinearExpr obj) |
| void | Minimize () |
| void | Maximize () |
| void | AddVarToObjective (IntVar var) |
| void | AddTermToObjective (IntVar var, long coeff) |
| void | AddDecisionStrategy (IEnumerable< IntVar > vars, DecisionStrategyProto.Types.VariableSelectionStrategy var_str, DecisionStrategyProto.Types.DomainReductionStrategy dom_str) |
| void | AddHint (IntVar var, long value) |
| String | ModelStats () |
| String | Validate () |
Properties | |
| CpModelProto | Model [get] |
Constructor & Destructor Documentation
◆ CpModel()
|
inline |
Definition at line 25 of file CpModel.cs.
Member Function Documentation
◆ Add()
|
inline |
Definition at line 104 of file CpModel.cs.
◆ AddAbsEquality()
|
inline |
Definition at line 478 of file CpModel.cs.
◆ AddAllDifferent()
|
inline |
Definition at line 139 of file CpModel.cs.
◆ AddAllowedAssignments()
|
inline |
Definition at line 210 of file CpModel.cs.
◆ AddAutomaton() [1/2]
|
inline |
Definition at line 265 of file CpModel.cs.
◆ AddAutomaton() [2/2]
|
inline |
Definition at line 238 of file CpModel.cs.
◆ AddBoolAnd()
|
inline |
Definition at line 417 of file CpModel.cs.
◆ AddBoolOr()
|
inline |
Definition at line 405 of file CpModel.cs.
◆ AddBoolXor()
|
inline |
Definition at line 429 of file CpModel.cs.
◆ AddCircuit()
|
inline |
Definition at line 196 of file CpModel.cs.
◆ AddCumulative< D, C >()
|
inline |
Definition at line 567 of file CpModel.cs.
◆ AddDecisionStrategy()
|
inline |
Definition at line 629 of file CpModel.cs.
◆ AddDivisionEquality< T, N, D >()
|
inline |
Definition at line 467 of file CpModel.cs.
◆ AddElement() [1/3]
|
inline |
Definition at line 181 of file CpModel.cs.
◆ AddElement() [2/3]
|
inline |
Definition at line 151 of file CpModel.cs.
◆ AddElement() [3/3]
|
inline |
Definition at line 166 of file CpModel.cs.
◆ AddForbiddenAssignments()
|
inline |
Definition at line 230 of file CpModel.cs.
◆ AddHint()
|
inline |
Definition at line 643 of file CpModel.cs.
◆ AddImplication()
|
inline |
Definition at line 395 of file CpModel.cs.
◆ AddInverse()
|
inline |
Definition at line 294 of file CpModel.cs.
◆ AddLinearConstraint()
|
inline |
Definition at line 72 of file CpModel.cs.
◆ AddLinearExpressionInDomain()
|
inline |
Definition at line 78 of file CpModel.cs.
◆ AddMapDomain()
Definition at line 360 of file CpModel.cs.
◆ AddMaxEquality()
|
inline |
Definition at line 454 of file CpModel.cs.
◆ AddMinEquality()
|
inline |
Definition at line 441 of file CpModel.cs.
◆ AddModuloEquality< T, V, M >()
|
inline |
Definition at line 489 of file CpModel.cs.
◆ AddNoOverlap()
|
inline |
Definition at line 538 of file CpModel.cs.
◆ AddNoOverlap2D()
|
inline |
Definition at line 550 of file CpModel.cs.
◆ AddProdEquality()
|
inline |
Definition at line 500 of file CpModel.cs.
◆ AddReservoirConstraint< I >()
|
inline |
Definition at line 311 of file CpModel.cs.
◆ AddReservoirConstraintWithActive< I >()
|
inline |
Definition at line 333 of file CpModel.cs.
◆ AddTermToObjective()
|
inline |
Definition at line 615 of file CpModel.cs.
◆ AddVarToObjective()
|
inline |
Definition at line 608 of file CpModel.cs.
◆ Maximize() [1/2]
|
inline |
Definition at line 603 of file CpModel.cs.
◆ Maximize() [2/2]
|
inline |
Definition at line 593 of file CpModel.cs.
◆ Minimize() [1/2]
|
inline |
Definition at line 598 of file CpModel.cs.
◆ Minimize() [2/2]
|
inline |
Definition at line 588 of file CpModel.cs.
◆ ModelStats()
|
inline |
Definition at line 700 of file CpModel.cs.
◆ NewBoolVar()
|
inline |
Definition at line 67 of file CpModel.cs.
◆ NewConstant() [1/2]
|
inline |
Definition at line 57 of file CpModel.cs.
◆ NewConstant() [2/2]
|
inline |
Definition at line 62 of file CpModel.cs.
◆ NewIntervalVar< S, D, E >()
|
inline |
Definition at line 515 of file CpModel.cs.
◆ NewIntVar()
|
inline |
Definition at line 45 of file CpModel.cs.
◆ NewIntVarFromDomain()
Definition at line 50 of file CpModel.cs.
◆ NewOptionalIntervalVar< S, D, E >()
|
inline |
Definition at line 526 of file CpModel.cs.
◆ Validate()
|
inline |
Definition at line 705 of file CpModel.cs.
Property Documentation
◆ Model
|
get |
Definition at line 33 of file CpModel.cs.
The documentation for this class was generated from the following file: