| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/satwrapper/ |
| H A D | SatTranslation.java | 108 public void generate_clause_reif(IntVar[] a, IntVar[] b, IntVar r) { in generate_clause_reif()
113 IntVar[] bs = new IntVar[b.length + 1]; in generate_clause_reif()
192 public void generate_xor(IntVar a, IntVar b, IntVar c) { in generate_xor()
197 public void generate_xor(IntVar a, IntVar b, IntVar c, IntVar d) { in generate_xor()
210 public void generate_eq(IntVar a, IntVar b) { in generate_eq()
234 public void generate_eq_reif(IntVar a, IntVar b, IntVar c) { in generate_eq_reif()
249 public void generate_neq_reif(IntVar a, IntVar b, IntVar c) { in generate_neq_reif()
264 public void generate_le_reif(IntVar a, IntVar b, IntVar c) { in generate_le_reif()
273 public void generate_lt_reif(IntVar a, IntVar b, IntVar c) { in generate_lt_reif()
301 public void generate_implication_reif(IntVar a, IntVar b, IntVar c) { in generate_implication_reif()
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/ |
| H A D | BuildingBlocks.java | 68 IntVar A = new IntVar(store, "A", 1, 4); in model()
69 IntVar B = new IntVar(store, "B", 1, 4); in model()
70 IntVar C = new IntVar(store, "C", 1, 4); in model()
71 IntVar D = new IntVar(store, "D", 1, 4); in model()
72 IntVar E = new IntVar(store, "E", 1, 4); in model()
73 IntVar F = new IntVar(store, "F", 1, 4); in model()
74 IntVar G = new IntVar(store, "G", 1, 4); in model()
75 IntVar H = new IntVar(store, "H", 1, 4); in model()
76 IntVar I = new IntVar(store, "I", 1, 4); in model()
77 IntVar J = new IntVar(store, "J", 1, 4); in model()
[all …]
|
| H A D | SendMoreMoney.java | 83 IntVar letters[] = new IntVar[8]; in modelBasic()
169 IntVar numbersSEND[] = new IntVar[4]; in modelBasic()
200 IntVar numbersMORE[] = new IntVar[4]; in modelBasic()
231 IntVar numbersMONEY[] = new IntVar[5]; in modelBasic()
331 …new SimpleSelect<IntVar>(vars.toArray(new IntVar[1]), new SmallestDomain<IntVar>(), new IndomainMi… in search()
404 IntVar s = new IntVar(store, "S", 0, 9); in model()
405 IntVar e = new IntVar(store, "E", 0, 9); in model()
406 IntVar n = new IntVar(store, "N", 0, 9); in model()
407 IntVar d = new IntVar(store, "D", 0, 9); in model()
408 IntVar m = new IntVar(store, "M", 0, 9); in model()
[all …]
|
| H A D | GeostExample.java | 99 IntVar X_o1 = new IntVar(store, "x1", 0, 1); in model()
100 IntVar Y_o1 = new IntVar(store, "y1", 0, 1); in model()
105 IntVar end_o1 = new IntVar(store, "end_o1", 14, 14); in model()
122 IntVar X_o2 = new IntVar(store, "x2", 0, 2); in model()
123 IntVar Y_o2 = new IntVar(store, "y2", 0, 1); in model()
128 IntVar end_o2 = new IntVar(store, "end_o2", 22, 22); in model()
141 IntVar X_o3 = new IntVar(store, "x3", 0, 4); in model()
142 IntVar Y_o3 = new IntVar(store, "y3", 0, 0); in model()
147 IntVar end_o3 = new IntVar(store, "end_o3", 22, 22); in model()
156 IntVar X_o4 = new IntVar(store, "x4", 0, 1); in model()
[all …]
|
| H A D | Newspaper.java | 79 IntVar[] algy = new IntVar[4]; in model()
80 IntVar[] bertie = new IntVar[4]; in model()
81 IntVar[] charlie = new IntVar[4]; in model()
82 IntVar[] digby = new IntVar[4]; in model()
84 IntVar[] guardian = new IntVar[4]; in model()
89 IntVar[] ft = new IntVar[4]; in model()
94 IntVar[] express = new IntVar[4]; in model()
99 IntVar[] sun = new IntVar[4]; in model()
105 IntVar[][] durations = new IntVar[4][]; in model()
147 IntVar one = new IntVar(store, "one", 1, 1); in model()
[all …]
|
| H A D | LeastDiff.java | 67 IntVar a = new IntVar(store, "a", 0, 9); in model()
68 IntVar b = new IntVar(store, "b", 0, 9); in model()
69 IntVar c = new IntVar(store, "c", 0, 9); in model()
70 IntVar d = new IntVar(store, "d", 0, 9); in model()
71 IntVar e = new IntVar(store, "e", 0, 9); in model()
72 IntVar f = new IntVar(store, "f", 0, 9); in model()
73 IntVar g = new IntVar(store, "g", 0, 9); in model()
74 IntVar h = new IntVar(store, "h", 0, 9); in model()
75 IntVar i = new IntVar(store, "i", 0, 9); in model()
76 IntVar j = new IntVar(store, "j", 0, 9); in model()
[all …]
|
| H A D | BasicLogicPascal.java | 66 IntVar b = new IntVar(store, "B", 0, 9); in model()
67 IntVar a = new IntVar(store, "A", 0, 9); in model()
68 IntVar s = new IntVar(store, "S", 0, 9); in model()
69 IntVar i = new IntVar(store, "I", 0, 9); in model()
70 IntVar l = new IntVar(store, "L", 0, 9); in model()
71 IntVar o = new IntVar(store, "O", 0, 9); in model()
72 IntVar g = new IntVar(store, "G", 0, 9); in model()
73 IntVar c = new IntVar(store, "C", 0, 9); in model()
74 IntVar p = new IntVar(store, "P", 0, 9); in model()
76 IntVar valueBASIC = new IntVar(store, "v(BASIC)", 0, 99999); in model()
[all …]
|
| H A D | DonaldGeraldRobert.java | 66 IntVar d = new IntVar(store, "d", 0, 9); in model()
67 IntVar o = new IntVar(store, "o", 0, 9); in model()
68 IntVar n = new IntVar(store, "n", 0, 9); in model()
69 IntVar a = new IntVar(store, "a", 0, 9); in model()
70 IntVar l = new IntVar(store, "l", 0, 9); in model()
71 IntVar g = new IntVar(store, "g", 0, 9); in model()
72 IntVar e = new IntVar(store, "e", 0, 9); in model()
73 IntVar r = new IntVar(store, "r", 0, 9); in model()
74 IntVar b = new IntVar(store, "b", 0, 9); in model()
75 IntVar t = new IntVar(store, "t", 0, 9); in model()
[all …]
|
| H A D | Tunapalooza.java | 95 IntVar country = new IntVar(store, "country", 1, 4); in model()
96 IntVar grunge = new IntVar(store, "grunge", 1, 4); in model()
97 IntVar reggae = new IntVar(store, "reggae", 1, 4); in model()
98 IntVar metal = new IntVar(store, "metal", 1, 4); in model()
100 IntVar carnival = new IntVar(store, "carnival", 1, 4); in model()
102 IntVar mosh = new IntVar(store, "mosh", 1, 4); in model()
103 IntVar vendor = new IntVar(store, "vendor", 1, 4); in model()
139 IntVar statement1 = new IntVar(store, "s1", 0, 1); in model()
140 IntVar statement2 = new IntVar(store, "s2", 0, 1); in model()
141 IntVar statement3 = new IntVar(store, "s3", 0, 1); in model()
[all …]
|
| H A D | SiblingUproar.java | 146 IntVar children[] = new IntVar[5]; in model()
147 IntVar angryat[] = new IntVar[5]; in model()
148 IntVar reason[] = new IntVar[5]; in model()
149 IntVar way[] = new IntVar[5]; in model()
150 IntVar chore[] = new IntVar[5]; in model()
179 IntVar x1 = new IntVar(store, "x1", 1, 5); in model()
180 IntVar x2 = new IntVar(store, "x2", 1, 5); in model()
181 IntVar x3 = new IntVar(store, "x3", 1, 5); in model()
182 IntVar x4 = new IntVar(store, "x4", 1, 5); in model()
183 IntVar x5 = new IntVar(store, "x5", 1, 5); in model()
[all …]
|
| H A D | SleepingArrangements.java | 88 IntVar name[] = new IntVar[5]; in model()
89 IntVar room[] = new IntVar[5]; in model()
110 IntVar olliePos = new IntVar(store, "ollieRoomPosition", 1, 5); in model()
113 IntVar ollieRoomNo = new IntVar(store, "ollieRoomNo", 1, 3); in model()
118 IntVar rolliePos = new IntVar(store, "rollieRoomPosition", 1, 5); in model()
120 IntVar rollieRoomNo = new IntVar(store, "rollieRoomNo", 1, 3); in model()
126 IntVar mellieRoomNo = new IntVar(store, "mellieRoomNo", 1, 3); in model()
132 IntVar nellieRoomNo = new IntVar(store, "nellieRoomNo", 1, 3); in model()
138 IntVar pollieRoomNo = new IntVar(store, "pollieRoomNo", 1, 3); in model()
156 IntVar two = new IntVar(store, "2", 2, 2); in model()
[all …]
|
| H A D | FurnitureMoving.java | 62 IntVar[] starts;
63 IntVar[] endTimes;
70 IntVar maxTime = new IntVar(store, "maxTime", 60, 60); in model()
73 IntVar Sp = new IntVar(store, "Sp", 0, 60); // Piano in model()
74 IntVar Sc = new IntVar(store, "Sc", 0, 60); // Chair in model()
75 IntVar Sb = new IntVar(store, "Sb", 0, 60); // Bed in model()
76 IntVar St = new IntVar(store, "St", 0, 60); // Table in model()
77 IntVar sumStartTimes = new IntVar(store, "SumStartTimes", 0, 1000); in model()
87 IntVar[] durations = new IntVar[4]; in model()
88 IntVar[] resources = new IntVar[4]; in model()
[all …]
|
| H A D | PerfectSquare.java | 58 IntVar[] varsX;
60 IntVar[] size;
439 IntVar[] endX = new IntVar[varsX.length]; in modelBasic()
440 IntVar[] endY = new IntVar[varsY.length]; in modelBasic()
463 List<IntVar> sumList = new ArrayList<IntVar>(); in modelBasic()
466 IntVar b = new IntVar(store, 0, 1); in modelBasic()
479 List<IntVar> sumList = new ArrayList<IntVar>(); in modelBasic()
482 IntVar b = new IntVar(store, 0, 1); in modelBasic()
574 IntVar S = new IntVar(store, "s" + j, j, j); in modelGeost()
684 …new SimpleSelect<IntVar>(varsY, new SmallestMin<IntVar>(), new SmallestDomain<IntVar>(), new Indom… in search()
[all …]
|
| H A D | ProAndCon.java | 99 IntVar vote[][] = new IntVar[5][5]; in model()
101 IntVar sum4Group[] = new IntVar[5]; in model()
117 List<IntVar> votesMotion1 = new ArrayList<IntVar>(); in model()
122 List<IntVar> votesMotion2 = new ArrayList<IntVar>(); in model()
127 List<IntVar> votesMotion3 = new ArrayList<IntVar>(); in model()
132 List<IntVar> votesMotion4 = new ArrayList<IntVar>(); in model()
137 List<IntVar> votesMotion5 = new ArrayList<IntVar>(); in model()
154 IntVar noVotes = new IntVar(store, "25", 25, 25); in model()
176 IntVar weightedVotes[] = new IntVar[5]; in model()
205 IntVar reified[] = new IntVar[5]; in model()
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/cpviz/ |
| H A D | CPvizSendMoreMoney.java | 71 IntVar letters[] = new IntVar[8]; in model()
111 IntVar s1 = new IntVar(store, 0, 9000); in model()
113 IntVar s2 = new IntVar(store, 0, 1000); in model()
115 IntVar s3 = new IntVar(store, -1000, 0); in model()
121 IntVar s6 = new IntVar(store, 0, 100); in model()
196 IntVar s = new IntVar(store, "S", 0, 9); in modelGlobal()
197 IntVar e = new IntVar(store, "E", 0, 9); in modelGlobal()
198 IntVar n = new IntVar(store, "N", 0, 9); in modelGlobal()
199 IntVar d = new IntVar(store, "D", 0, 9); in modelGlobal()
200 IntVar m = new IntVar(store, "M", 0, 9); in modelGlobal()
[all …]
|
| H A D | CPvizNewspaper.java | 84 IntVar[] algy = new IntVar[4]; in model()
85 IntVar[] bertie = new IntVar[4]; in model()
86 IntVar[] charlie = new IntVar[4]; in model()
87 IntVar[] digby = new IntVar[4]; in model()
89 IntVar[] guardian = new IntVar[4]; in model()
94 IntVar[] ft = new IntVar[4]; in model()
99 IntVar[] express = new IntVar[4]; in model()
104 IntVar[] sun = new IntVar[4]; in model()
110 IntVar[][] durations = new IntVar[4][]; in model()
153 IntVar[] four = new IntVar[4]; in model()
[all …]
|
| H A D | CPvizNetworkFlow.java | 36 import org.jacop.core.IntVar;
50 IntVar[] vars;
51 IntVar COST;
85 IntVar[] x = new IntVar[13]; in transportationProblem()
87 x[0] = new IntVar(store, "x_0", 0, 5); in transportationProblem()
118 IntVar cost = new IntVar(store, "cost", 0, 1000); in transportationProblem()
129 Search<IntVar> label = new DepthFirstSearch<IntVar>(); in transportationProblem()
130 …SelectChoicePoint<IntVar> varSelect = new SimpleSelect<IntVar>(x, null, new IndomainMin<IntVar>()); in transportationProblem()
132 SelectChoicePoint<IntVar> select = new TraceGenerator<IntVar>(label, varSelect); in transportationProblem()
140 DepthFirstSearch<IntVar> costSearch = new DepthFirstSearch<IntVar>(); in transportationProblem()
[all …]
|
| /dports/math/chuffed/chuffed-e04bedd/chuffed/primitives/ |
| H A D | primitives.h | 110 void int_abs(IntVar* x, IntVar* y);
112 void int_pow(IntVar* x, IntVar* y, IntVar* z);
114 void int_times(IntVar* x, IntVar* y, IntVar* z);
116 void int_div(IntVar* x, IntVar* y, IntVar* z);
118 void int_mod(IntVar* x, IntVar* y, IntVar* z);
120 void int_min(IntVar* x, IntVar* y, IntVar* z);
122 void int_max(IntVar* x, IntVar* y, IntVar* z);
124 void int_plus(IntVar* x, IntVar* y, IntVar* z);
126 void int_minus(IntVar* x, IntVar* y, IntVar* z);
128 void int_negate(IntVar* x, IntVar* y);
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/filters/ |
| H A D | FilterBenchmark.java | 323 IntVar[][] vars = new IntVar[TR.size()][]; in experiment1()
511 IntVar[] varsTs = new IntVar[Ts.size()]; in experiment2PM()
515 IntVar[] varsRs = new IntVar[Rs.size()]; in experiment2PM()
883 IntVar one = new IntVar(store, 1, 1); in makeConstraints()
885 IntVar T[] = new IntVar[delays.length]; in makeConstraints()
886 IntVar R[] = new IntVar[delays.length]; in makeConstraints()
991 IntVar one = new IntVar(store, 1, 1); in makeConstraintsPipeMultiplier()
993 IntVar T[] = new IntVar[delays.length]; in makeConstraintsPipeMultiplier()
1100 IntVar one = new IntVar(store, 1, 1); in makeConstraintsChain()
1232 IntVar one = new IntVar(store, 1, 1); in makeConstraintsPipeline()
[all …]
|
| /dports/math/chuffed/chuffed-e04bedd/chuffed/globals/ |
| H A D | globals.h | 12 void output_vars(vec<IntVar*>& v);
26 void inverse(vec<IntVar*>& x, vec<IntVar*>& y, int o1 = 0, int o2 = 0, ConLevel cl = CL_DEF);
31 void path(vec<IntVar*>& x);
48 void minimum(vec<IntVar*>& x, IntVar* y);
49 void maximum(vec<IntVar*>& x, IntVar* y);
69 void cumulative2(vec<IntVar*>& s, vec<IntVar*>& d, vec<IntVar*>& r, IntVar* b);
70 void cumulative2(vec<IntVar*>& s, vec<IntVar*>& d, vec<IntVar*>& r, IntVar* b, std::list<std::strin…
71 void cumulative_cal(vec<IntVar*>& s, vec<IntVar*>& d, vec<IntVar*>& r, IntVar* limit, vec<vec<int> …
72 void cumulative_cal(vec<IntVar*>& s, vec<IntVar*>& d, vec<IntVar*>& r, IntVar* limit, vec<vec<int> …
76 void lex(vec<IntVar*>& x, vec<IntVar*>& y, bool strict);
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/test/java/org/jacop/ |
| H A D | SingleConstraintTest.java | 298 IntVar x = new IntVar(store, "x", 0, 4); in testInvalidElementVariable()
361 IntVar x = new IntVar(store, "x", 0, 4); in testInvalidAbs()
393 IntVar x = new IntVar(store, "x", 0, 1); in testIfThenBool()
394 IntVar y = new IntVar(store, "y", 0, 1); in testIfThenBool()
395 IntVar b = new IntVar(store, "b", 0, 1); in testIfThenBool()
412 IntVar x = new IntVar(store, "x", 0, 4); in testXor()
413 IntVar y = new IntVar(store, "y", 1, 2); in testXor()
414 IntVar b = new IntVar(store, "b", 0, 1); in testXor()
432 IntVar x = new IntVar(store, "x", 0, 4); in testXexpYeqZ()
433 IntVar y = new IntVar(store, "y", 1, 2); in testXexpYeqZ()
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/ |
| H A D | Element.java | 34 import org.jacop.core.IntVar;
62 @Deprecated public Element(IntVar index, List<? extends IntVar> variables, IntVar value) { in Element()
75 …@Deprecated public Element(IntVar index, List<? extends IntVar> variables, IntVar value, int shift… in Element()
87 @Deprecated public Element(IntVar index, int[] values, IntVar value) { in Element()
112 @Deprecated public Element(IntVar index, IntVar[] variables, IntVar value) { in Element()
125 @Deprecated public Element(IntVar index, IntVar[] variables, IntVar value, int shift) { in Element()
179 public static Constraint choose(IntVar index, List<? extends IntVar> variables, IntVar value) { in choose()
192 …public static Constraint choose(IntVar index, List<? extends IntVar> variables, IntVar value, int … in choose()
204 public static Constraint choose(IntVar index, int[] values, IntVar value) { in choose()
229 public static Constraint choose(IntVar index, IntVar[] variables, IntVar value) { in choose()
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/diffn/ |
| H A D | DiffnDecomposed.java | 102 public DiffnDecomposed(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2) { in DiffnDecomposed()
166 …ic DiffnDecomposed(List<? extends IntVar> x, List<? extends IntVar> y, List<? extends IntVar> lx, … in DiffnDecomposed()
168 …this(x.toArray(new IntVar[x.size()]), y.toArray(new IntVar[y.size()]), lx.toArray(new IntVar[lx.si… in DiffnDecomposed()
193 IntVar[] ey = new IntVar[y.length]; in decompose()
203 IntVar byMin = new IntVar(store, yMin, yMax); in decompose()
204 IntVar byMax = new IntVar(store, yMin, yMax); in decompose()
205 IntVar by = new IntVar(store, 0, yMax - yMin); in decompose()
216 IntVar[] ex = new IntVar[x.length]; in decompose()
226 IntVar bxMin = new IntVar(store, "bxMin", xMin, xMax); in decompose()
227 IntVar bxMax = new IntVar(store, "bxMax", xMin, xMax); in decompose()
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/scala/org/jacop/scala/ |
| H A D | package.scala | 288 def abs(x: org.jacop.core.IntVar): IntVar = {
493 def intVarAt(index: IntVar, xs: Array[IntVar], offset: Int = 0): IntVar = {
532 def diff2(x: Array[IntVar], y: Array[IntVar], lx: Array[IntVar], ly: Array[IntVar]) : Unit = {
558 def diffn(x: Array[IntVar], y: Array[IntVar], lx: Array[IntVar], ly: Array[IntVar]) : Unit = {
584 …def cumulative_basic(t: Array[IntVar], d: Array[IntVar], r: Array[IntVar], limit: IntVar) : Unit =…
600 def cumulative(t: Array[IntVar], d: Array[IntVar], r: Array[IntVar], limit: IntVar) : Unit = {
616 …def cumulative_unary(t: Array[IntVar], d: Array[IntVar], r: Array[IntVar], limit: IntVar) : Unit =…
678 def among(listX: Array[IntVar], listY: Array[IntVar], n: IntVar) : Unit = {
772 def arg_min(x: Array[IntVar]): IntVar = {
786 def arg_max(x: Array[IntVar]): IntVar = {
[all …]
|
| /dports/math/gecode/gecode-0916a1a/gecode/int/var/ |
| H A D | int.hpp | 47 IntVar::IntVar(void) {} in IntVar() function in Gecode::IntVar
49 IntVar::IntVar(const IntVar& y) in IntVar() function in Gecode::IntVar
52 IntVar::IntVar(const Int::IntView& y) in IntVar() function in Gecode::IntVar
56 IntVar::val(void) const { in val()
62 IntVar::min(void) const { in min()
66 IntVar::med(void) const { in med()
70 IntVar::max(void) const { in max()
76 IntVar::width(void) const { in width()
80 IntVar::size(void) const { in size()
93 IntVar::range(void) const { in range()
[all …]
|