Definition at line 20 of file IntVarArrayHelper.cs.
|
| static Constraint | AllDifferent (this IntVar[] vars) |
| |
| static Constraint | AllowedAssignments (this IntVar[] vars, IntTupleSet tuples) |
| |
| static IntExpr | Sum (this IntVar[] vars) |
| |
| static IntExpr | Sum (this IConstraintWithStatus[] cts) |
| |
| static IntExpr | Sum (this IntExpr[] exprs) |
| |
| static IntExpr | ScalProd (this IntVar[] vars, long[] coefs) |
| |
| static IntExpr | ScalProd (this IntVar[] vars, int[] coefs) |
| |
| static IntExpr | Element (this IntVar[] array, IntExpr index) |
| |
| static IntExpr | Min (this IntVar[] vars) |
| |
| static IntExpr | Max (this IntVar[] vars) |
| |
| static Constraint | Count (this IntVar[] vars, long value, long count) |
| |
| static Constraint | Count (this IntVar[] vars, long value, IntExpr count) |
| |
| static Constraint | Distribute (this IntVar[] vars, long[] values, IntVar[] cards) |
| |
| static Constraint | Distribute (this IntVar[] vars, int[] values, IntVar[] cards) |
| |
| static Constraint | Distribute (this IntVar[] vars, IntVar[] cards) |
| |
| static Constraint | Distribute (this IntVar[] vars, long card_min, long card_max, long card_size) |
| |
| static Constraint | Transition (this IntVar[] vars, IntTupleSet transitions, long initial_state, long[] final_states) |
| |
| static Constraint | Transition (this IntVar[] vars, IntTupleSet transitions, long initial_state, int[] final_states) |
| |
| static IntVar[] | Flatten (this IntVar[,] vars) |
| |
◆ AllDifferent()
◆ AllowedAssignments()
◆ Count() [1/2]
◆ Count() [2/2]
◆ Distribute() [1/4]
◆ Distribute() [2/4]
◆ Distribute() [3/4]
| static Constraint Distribute |
( |
this IntVar[] |
vars, |
|
|
long |
card_min, |
|
|
long |
card_max, |
|
|
long |
card_size |
|
) |
| |
|
inlinestatic |
◆ Distribute() [4/4]
◆ Element()
◆ Flatten()
◆ Max()
◆ Min()
◆ ScalProd() [1/2]
◆ ScalProd() [2/2]
◆ Sum() [1/3]
◆ Sum() [2/3]
◆ Sum() [3/3]
◆ Transition() [1/2]
◆ Transition() [2/2]
The documentation for this class was generated from the following file: