Home
last modified time | relevance | path

Searched refs:impose (Results 1 – 25 of 7740) sorted by relevance

12345678910>>...310

/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/
H A DCalendarMen.java446 store.impose(new Or(v11)); in modelBasic()
447 store.impose(new Or(v12)); in modelBasic()
448 store.impose(new Or(v13)); in modelBasic()
476 store.impose(new Or(v23)); in modelBasic()
499 store.impose(new Or(v41)); in modelBasic()
500 store.impose(new Or(v42)); in modelBasic()
501 store.impose(new Or(v43)); in modelBasic()
548 store.impose(new Or(v91)); in modelBasic()
549 store.impose(new Or(v92)); in modelBasic()
550 store.impose(new Or(v93)); in modelBasic()
[all …]
H A DSiblingUproar.java168 store.impose(new Alldifferent(children)); in model()
170 store.impose(new Alldifferent(angryat)); in model()
172 store.impose(new Alldifferent(reason)); in model()
174 store.impose(new Alldifferent(way)); in model()
176 store.impose(new Alldifferent(chore)); in model()
192 store.impose(Element.choose(x1, angryat, y1)); in model()
194 store.impose(Element.choose(x2, angryat, y2)); in model()
196 store.impose(Element.choose(x3, angryat, y3)); in model()
205 store.impose(new Alldifferent(xs)); in model()
256 store.impose(new XneqY(Z, way[ihid_violin])); in model()
[all …]
H A DFourIslands.java128 store.impose(new Alldifferent(island)); in model()
129 store.impose(new Alldifferent(export)); in model()
130 store.impose(new Alldifferent(attraction)); in model()
131 store.impose(new Alldifferent(location)); in model()
134 store.impose(new XeqC(location[iNorthWest], 0)); in model()
135 store.impose(new XeqC(location[iNorthEast], 1)); in model()
136 store.impose(new XeqC(location[iSouthWest], 2)); in model()
137 store.impose(new XeqC(location[iSouthEast], 3)); in model()
145 store.impose(new XneqY(island[iPwana], location[iSouthWest])); in model()
182 store.impose(Element.choose(iI3, aSkern, island[iSkern])); in model()
[all …]
H A DLectureSeries.java121 store.impose(new Alldifferent(first)); in model()
122 store.impose(new Alldifferent(last)); in model()
123 store.impose(new Alldifferent(days)); in model()
124 store.impose(new Alldifferent(subjects)); in model()
128 store.impose(new XeqY(first[iAlice], days[iMonday])); in model()
140 store.impose(new XneqY(first[iAlice], subjects[iArt])); in model()
157 store.impose(new XneqY(last[iItakura], first[iEddie])); in model()
174 store.impose(new XneqY(last[iHaller], days[iMonday])); in model()
176 store.impose(new XneqY(first[iEddie], days[iFriday])); in model()
178 store.impose(new XneqY(first[iEddie], last[iHaller])); in model()
[all …]
H A DMasterClass.java121 store.impose(new Alldifferent(zglos)); in model()
122 store.impose(new Alldifferent(zimie)); in model()
123 store.impose(new Alldifferent(znazwisko)); in model()
133 store.impose(new XneqY(zimie[iPat], zglos[ibas])); in model()
146 store.impose(new XneqC(znazwisko[iRobinson1], 5)); in model()
147 store.impose(new XneqC(znazwisko[iRobinson2], 5)); in model()
148 store.impose(new XneqC(znazwisko[iKinsley], 5)); in model()
171 store.impose(new XneqY(zglos[itenor1], zimie[iLee])); in model()
177 store.impose(new XneqC(zimie[iVal], 3)); in model()
181 store.impose(new XneqC(zimie[iJP], 3)); in model()
[all …]
H A DSendMoreMoney.java162 store.impose(new XneqY(letters[j], letters[i])); in modelBasic()
186 store.impose(new XmulCeqZ(letters[iN], 10, numbersSEND[2])); in modelBasic()
187 store.impose(new XmulCeqZ(letters[iD], 1, numbersSEND[3])); in modelBasic()
217 store.impose(new XmulCeqZ(letters[iR], 10, numbersMORE[2])); in modelBasic()
218 store.impose(new XmulCeqZ(letters[iE], 1, numbersMORE[3])); in modelBasic()
248 store.impose(new XmulCeqZ(letters[iY], 1, numbersMONEY[4])); in modelBasic()
266 store.impose(new XneqC(letters[iS], 0)); in modelBasic()
267 store.impose(new XneqC(letters[iM], 0)); in modelBasic()
463 store.impose(new Alldiff(digits)); in model()
517 store.impose(new XneqC(s, 0)); in model()
[all …]
H A DFlowers.java145 store.impose(new Alldifferent(wifeT)); in model()
146 store.impose(new Alldifferent(wifeD)); in model()
147 store.impose(new Alldifferent(husbandT)); in model()
149 store.impose(new Alldifferent(flowerT)); in model()
150 store.impose(new Alldifferent(flowerD)); in model()
200 store.impose(new Or(ogr2)); in model()
212 store.impose(new Or(ogr4)); in model()
227 store.impose(new Or(ogr5)); in model()
237 store.impose(new Or(ogr7)); in model()
242 store.impose(new Or(ogr8)); in model()
[all …]
H A DSleepingArrangements.java102 store.impose(new Alldifferent(name)); in model()
103 store.impose(new Alldifferent(room)); in model()
112 store.impose(Element.choose(olliePos, room, name[iOllie])); in model()
142 store.impose(new XneqY(ollieRoomNo, mellieRoomNo)); in model()
143 store.impose(new XneqY(ollieRoomNo, nellieRoomNo)); in model()
144 store.impose(new XneqY(ollieRoomNo, pollieRoomNo)); in model()
145 store.impose(new XneqY(rollieRoomNo, mellieRoomNo)); in model()
146 store.impose(new XneqY(rollieRoomNo, nellieRoomNo)); in model()
147 store.impose(new XneqY(rollieRoomNo, pollieRoomNo)); in model()
172 store.impose(new XgtY(name[iRollie], name[iOllie])); in model()
[all …]
H A DHistoricHomes.java104 store.impose(new Alldifferent(street)); in model()
105 store.impose(new Alldifferent(order)); in model()
113 store.impose(new XeqC(order[i3rd], 1860)); in model()
126 store.impose(new XltY(index1, index2)); in model()
130 store.impose(new XneqC(order[i1st], 1890)); in model()
139 store.impose(new XneqC(street[iOleander_Road], 1920)); in model()
152 store.impose(new XltY(index3, index4)); in model()
153 store.impose(new XltY(index4, index5)); in model()
158 store.impose(new XneqC(street[iOleander_Road], 1900)); in model()
160 store.impose(new XneqC(order[i1st], 1900)); in model()
[all …]
H A DExodus.java124 store.impose(new XneqC(name[i], 4)); in model()
125 store.impose(new XneqC(name[i], 6)); in model()
126 store.impose(new XneqC(name[i], 9)); in model()
127 store.impose(new XneqC(story[i], 4)); in model()
128 store.impose(new XneqC(story[i], 6)); in model()
129 store.impose(new XneqC(story[i], 9)); in model()
136 store.impose(new Alldifferent(name)); in model()
138 store.impose(new Alldifferent(story)); in model()
140 store.impose(new Alldifferent(country)); in model()
170 store.impose(new XeqC(story[iten], 5)); in model()
[all …]
H A DZebra.java110 store.impose(new Alldifferent(color)); in model()
111 store.impose(new Alldifferent(pet)); in model()
112 store.impose(new Alldifferent(drink)); in model()
113 store.impose(new Alldifferent(nationality)); in model()
114 store.impose(new Alldifferent(profession)); in model()
117 store.impose(new XeqY(nationality[ienglish], color[ired])); in model()
118 store.impose(new XeqY(nationality[ispaniard], pet[idog])); in model()
121 store.impose(new XeqC(nationality[inorwegian], 1)); in model()
122 store.impose(new XeqY(color[igreen], drink[icoffee])); in model()
126 store.impose(new XeqC(drink[imilk], 3)); in model()
[all …]
H A DProAndCon.java120 store.impose(new SumInt(votesMotion1, "==", sum4Group[iMotion1])); in model()
146 store.impose(new Alldifferent(sum4Group)); in model()
161 store.impose(new SumInt(sum4Group, "==", noYesVotes)); in model()
163 store.impose(new XplusYeqZ(noYesVotes, noNoVotes, noVotes)); in model()
165 store.impose(new XplusCeqZ(noNoVotes, 3, noYesVotes)); in model()
197 store.impose(new Alldifferent(weightedVotes)); in model()
214 store.impose(new SumInt(reified, "==", sumOfReified)); in model()
215 store.impose(new XlteqC(sumOfReified, 2)); in model()
221 store.impose(new SumInt(vote[iChatham], "==", sumChatham)); in model()
229 store.impose(new XeqC(vote[iAkerman][3], 1)); in model()
[all …]
H A DGolf.java124 store.impose(new Alldifferent(FN)); in model()
125 store.impose(new Alldifferent(LN)); in model()
126 store.impose(new Alldifferent(Jobs)); in model()
132 store.impose(new XltY(FN[iBill], FN[iPaul])); in model()
134 store.impose(new XltY(FN[iBill], FN[iJack])); in model()
153 store.impose(new XeqC(LN[iCarter], 78)); in model()
155 store.impose(new XltC(FN[iFrank], 78)); in model()
161 store.impose(new XneqC(FN[iBill], 81)); in model()
162 store.impose(new XneqC(FN[iPaul], 81)); in model()
163 store.impose(new XneqC(FN[iFrank], 81)); in model()
[all …]
H A DStonesOfHeaven.java121 store.impose(new Alldifferent(Color)); in model()
122 store.impose(new Alldifferent(Country)); in model()
123 store.impose(new Alldifferent(Item)); in model()
124 store.impose(new Alldifferent(Dynasty)); in model()
129 store.impose(new XeqY(Color[iwhite], Item[idragon])); in model()
131 store.impose(new XneqY(Country[iusa], Item[idragon])); in model()
136 store.impose(new XneqY(Item[ibelt], Color[iLgreen])); in model()
137 store.impose(new XneqY(Item[ibelt], Color[iDgreen])); in model()
138 store.impose(new XeqY(Item[ibelt], Dynasty[iTang])); in model()
144 store.impose(new XneqY(Country[ifin], Item[idragon])); in model()
[all …]
H A DConference.java78 store.impose(new XneqY(sessions[iA], sessions[iJ])); in model()
80 store.impose(new XneqY(sessions[iI], sessions[iJ])); in model()
82 store.impose(new XneqY(sessions[iE], sessions[iI])); in model()
100 store.impose(new Alldifferent(temp)); in model()
106 store.impose(new Alldifferent(temp)); in model()
113 store.impose(new Alldifferent(temp)); in model()
119 store.impose(new Alldifferent(temp)); in model()
125 store.impose(new Alldifferent(temp)); in model()
130 store.impose(new XltY(sessions[iE], sessions[iJ])); in model()
135 store.impose(new XeqC(sessions[iA], 1)); in model()
[all …]
H A DDollarAndTicket.java121 store.impose(new Alldifferent(firstname)); in model()
122 store.impose(new Alldifferent(surname)); in model()
123 store.impose(new Alldifferent(team)); in model()
132 store.impose(new XneqC(surname[ipamos], 12)); in model()
133 store.impose(new XneqC(team[ibobcats], 12)); in model()
134 store.impose(new XneqC(team[istars], 12)); in model()
143 store.impose(new XmulCeqZ(surname[iott], 2, X)); in model()
144 store.impose(new XgteqY(team[iwolves], X)); in model()
147 store.impose(new XneqY(surname[iborecki], team[ikickers])); in model()
163 store.impose(new XneqY(firstname[igreg], surname[iott])); in model()
[all …]
H A DDonaldGeraldRobert.java87 store.impose(new Alldifferent(digits)); in model()
95 store.impose(new LinearInt(donald, weights, "==", donaldValue)); in model()
97 store.impose(new LinearInt(gerald, weights, "==", geraldValue)); in model()
108 store.impose(new XneqC(robert[5], 1)); in model()
109 store.impose(new XneqC(robert[5], 3)); in model()
110 store.impose(new XneqC(robert[5], 5)); in model()
111 store.impose(new XneqC(robert[5], 7)); in model()
112 store.impose(new XneqC(robert[5], 9)); in model()
115 store.impose(new XneqC(donald[0], 0)); in model()
116 store.impose(new XneqC(gerald[0], 0)); in model()
[all …]
H A DTunapalooza.java115 store.impose(new Alldifferent(types)); in model()
116 store.impose(new Alldifferent(places)); in model()
125 store.impose(new XneqC(carnival, Ellyfish)); in model()
130 store.impose(new XneqY(vendor, reggae)); in model()
143 store.impose(new Reified(new XeqC(grunge, Ellyfish), statement1)); in model()
144 store.impose(new Reified(new XneqC(information, Retread), statement2)); in model()
145 store.impose(new Reified(new XneqC(vendor, Yellow), statement3)); in model()
149 store.impose(new SumInt(sum, "==", two)); in model()
158 store.impose(new Or(new XeqY(country, mosh), new XeqY(metal, mosh))); in model()
160 store.impose(new XneqC(mosh, Retread)); in model()
[all …]
H A DBlueberryMuffins.java138 store.impose(new Alldifferent(person)); in model()
139 store.impose(new Alldifferent(last)); in model()
140 store.impose(new Alldifferent(profession)); in model()
144 store.impose(new Alldifferent(muffins)); in model()
153 store.impose(Element.choose(I1, muffins, person[ibill])); in model()
155 store.impose(Element.choose(I2, muffins, last[iellis])); in model()
157 store.impose(new XplusYeqZ(I1, I2, six)); in model()
169 store.impose(Element.choose(I3, muffins, profession[isecretary])); in model()
171 store.impose(Element.choose(I4, muffins, profession[idogcatcher])); in model()
174 store.impose(new XgtY(I3, I4)); in model()
[all …]
H A DQueens.java96 store.impose(new XneqY(queens[i], queens[j])); in modelBasic()
113 store.impose(new XneqY(queens[i], temporary)); in modelBasic()
119 store.impose(new XneqY(queens[i], temporary)); in modelBasic()
144 store.impose(new Alldiff(queens)); in modelChanneling()
155 store.impose(new XplusCeqZ(queens[i], i, diagonalUp[i])); in modelChanneling()
162 store.impose(new Alldiff(diagonalUp)); in modelChanneling()
163 store.impose(new Alldiff(diagonalDown)); in modelChanneling()
206 store.impose(new Alldiff(queens)); in model()
222 store.impose(new XplusCeqZ(queens[i], i, diagonalUp[i])); in model()
231 store.impose(new Alldiff(diagonalUp)); in model()
[all …]
H A DMagicSquares.java87 store.impose(new Alldiff(squares)); in model()
94 store.impose(new SumInt(row, "==", k)); in model()
110 store.impose(new SumInt(diagonal, "==", k)); in model()
114 store.impose(new SumInt(diagonal, "==", k)); in model()
151 store.impose(new Alldiff(squares)); in model4Shaving()
159 store.impose(cx); in model4Shaving()
170 store.impose(cx); in model4Shaving()
180 store.impose(cx); in model4Shaving()
185 store.impose(new SumInt(diagonal, "==", k)); in model4Shaving()
225 store.impose(new SumInt(row, "==", k)); in modelDual()
[all …]
H A DBuildingBlocks.java101 store.impose(new Alldifferent(bake)); in model()
104 store.impose(new Alldifferent(onyx)); in model()
107 store.impose(new Alldifferent(echo)); in model()
110 store.impose(new Alldifferent(oval)); in model()
113 store.impose(new Alldifferent(grid)); in model()
116 store.impose(new Alldifferent(smug)); in model()
119 store.impose(new Alldifferent(jump)); in model()
122 store.impose(new Alldifferent(torn)); in model()
125 store.impose(new Alldifferent(luck)); in model()
128 store.impose(new Alldifferent(viny)); in model()
[all …]
H A DNewspaper.java125 store.impose(new In(bertie[i], new IntervalDomain(15, 1000))); in model()
156 store.impose(new CumulativeUnary(four, guardian, fourOnes, one)); in model()
163 store.impose(new CumulativeUnary(four, ft, fourOnes, one)); in model()
170 store.impose(new CumulativeUnary(four, express, fourOnes, one)); in model()
177 store.impose(new CumulativeUnary(four, sun, fourOnes, one)); in model()
190 store.impose(new XplusYlteqZ(algy[3], sun[0], makespan)); in model()
196 …store.impose(new XplusYlteqZ(bertie[bertiePrecedence[i] - 1], durations[bertiePrecedence[i] - 1][1… in model()
201 store.impose(new XplusYlteqZ(bertie[3], sun[1], makespan)); in model()
212 store.impose(new XplusYlteqZ(charlie[3], sun[2], makespan)); in model()
218 store.impose( in model()
[all …]
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/cpviz/
H A DCPvizSendMoreMoney.java106 store.impose(new XneqC(letters[iS], 0)); in model()
107 store.impose(new XneqC(letters[iM], 0)); in model()
114 store.impose(new XmulCeqZ(letters[iE], 91, s2)); in model()
125 store.impose(new XplusYeqZ(s1, s2, t1)); in model()
127 store.impose(new XplusYeqZ(t1, s3, t2)); in model()
129 store.impose(new XplusYeqZ(t2, s4, t3)); in model()
131 store.impose(new XplusYeqZ(t3, s5, t4)); in model()
133 store.impose(new XplusYeqZ(t4, s6, t5)); in model()
220 store.impose(new Alldifferent(digits)); in modelGlobal()
247 store.impose(new XneqC(s, 0)); in modelGlobal()
[all …]
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/floats/
H A DCyclohexane.java79 store.impose(new PmulQeqR(x, x, xx)); in cyclohexane()
82 store.impose(new PmulQeqR(y, y, yy)); in cyclohexane()
85 store.impose(new PmulQeqR(z, z, zz)); in cyclohexane()
89 store.impose(new PplusCeqR(xx, 1.0, t1)); in cyclohexane()
92 store.impose(new PplusCeqR(yy, 1.0, t2)); in cyclohexane()
99 store.impose(new PmulQeqR(yy, t3, t4)); in cyclohexane()
102 store.impose(new PmulQeqR(zz, t1, t5)); in cyclohexane()
105 store.impose(new PmulQeqR(xx, t2, t6)); in cyclohexane()
119 store.impose(new PmulQeqR(z, t7, t10)); in cyclohexane()
122 store.impose(new PmulQeqR(x, t8, t11)); in cyclohexane()
[all …]

12345678910>>...310