1 | |
package com.sun.javafx.runtime.location; |
2 | |
|
3 | |
|
4 | |
|
5 | |
|
6 | |
|
7 | |
|
8 | |
|
9 | |
|
10 | |
|
11 | 0 | public class GeneratedBoundOperators { |
12 | |
|
13 | |
|
14 | |
public static IntLocation plus_ii(final IntLocation a, final IntLocation b) { |
15 | 15 | return IntVariable.make(new IntBindingExpression() { |
16 | |
public int computeValue() { |
17 | 48 | return ((int) a.getAsInt()) + ((int) b.getAsInt()); |
18 | |
} |
19 | |
}, a, b); |
20 | |
} |
21 | |
|
22 | |
public static IntLocation plus_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
23 | 0 | return IntVariable.make(new IntBindingExpression() { |
24 | |
public int computeValue() { |
25 | 0 | return ((int) a.get()) + ((int) b.get()); |
26 | |
} |
27 | |
}, a, b); |
28 | |
} |
29 | |
|
30 | |
public static DoubleLocation plus_dd(final DoubleLocation a, final DoubleLocation b) { |
31 | 1 | return DoubleVariable.make(new DoubleBindingExpression() { |
32 | |
public double computeValue() { |
33 | 2 | return ((double) a.getAsDouble()) + ((double) b.getAsDouble()); |
34 | |
} |
35 | |
}, a, b); |
36 | |
} |
37 | |
|
38 | |
public static DoubleLocation plus_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
39 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
40 | |
public double computeValue() { |
41 | 0 | return ((double) a.get()) + ((double) b.get()); |
42 | |
} |
43 | |
}, a, b); |
44 | |
} |
45 | |
|
46 | |
public static DoubleLocation plus_id(final IntLocation a, final DoubleLocation b) { |
47 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
48 | |
public double computeValue() { |
49 | 0 | return ((int) a.getAsInt()) + ((double) b.getAsDouble()); |
50 | |
} |
51 | |
}, a, b); |
52 | |
} |
53 | |
|
54 | |
public static DoubleLocation plus_di(final DoubleLocation a, final IntLocation b) { |
55 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
56 | |
public double computeValue() { |
57 | 0 | return ((double) a.getAsDouble()) + ((int) b.getAsInt()); |
58 | |
} |
59 | |
}, a, b); |
60 | |
} |
61 | |
|
62 | |
public static DoubleLocation plus_iD(final IntLocation a, final ObjectLocation<Double> b) { |
63 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
64 | |
public double computeValue() { |
65 | 0 | return ((int) a.getAsInt()) + ((double) b.get()); |
66 | |
} |
67 | |
}, a, b); |
68 | |
} |
69 | |
|
70 | |
public static DoubleLocation plus_Di(final ObjectLocation<Double> a, final IntLocation b) { |
71 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
72 | |
public double computeValue() { |
73 | 0 | return ((double) a.get()) + ((int) b.getAsInt()); |
74 | |
} |
75 | |
}, a, b); |
76 | |
} |
77 | |
|
78 | |
public static DoubleLocation plus_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
79 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
80 | |
public double computeValue() { |
81 | 0 | return ((int) a.get()) + ((double) b.get()); |
82 | |
} |
83 | |
}, a, b); |
84 | |
} |
85 | |
|
86 | |
public static DoubleLocation plus_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
87 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
88 | |
public double computeValue() { |
89 | 0 | return ((double) a.get()) + ((int) b.get()); |
90 | |
} |
91 | |
}, a, b); |
92 | |
} |
93 | |
|
94 | |
|
95 | |
public static IntLocation minus_ii(final IntLocation a, final IntLocation b) { |
96 | 2 | return IntVariable.make(new IntBindingExpression() { |
97 | |
public int computeValue() { |
98 | 3 | return ((int) a.getAsInt()) - ((int) b.getAsInt()); |
99 | |
} |
100 | |
}, a, b); |
101 | |
} |
102 | |
|
103 | |
public static IntLocation minus_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
104 | 0 | return IntVariable.make(new IntBindingExpression() { |
105 | |
public int computeValue() { |
106 | 0 | return ((int) a.get()) - ((int) b.get()); |
107 | |
} |
108 | |
}, a, b); |
109 | |
} |
110 | |
|
111 | |
public static DoubleLocation minus_dd(final DoubleLocation a, final DoubleLocation b) { |
112 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
113 | |
public double computeValue() { |
114 | 0 | return ((double) a.getAsDouble()) - ((double) b.getAsDouble()); |
115 | |
} |
116 | |
}, a, b); |
117 | |
} |
118 | |
|
119 | |
public static DoubleLocation minus_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
120 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
121 | |
public double computeValue() { |
122 | 0 | return ((double) a.get()) - ((double) b.get()); |
123 | |
} |
124 | |
}, a, b); |
125 | |
} |
126 | |
|
127 | |
public static DoubleLocation minus_id(final IntLocation a, final DoubleLocation b) { |
128 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
129 | |
public double computeValue() { |
130 | 0 | return ((int) a.getAsInt()) - ((double) b.getAsDouble()); |
131 | |
} |
132 | |
}, a, b); |
133 | |
} |
134 | |
|
135 | |
public static DoubleLocation minus_di(final DoubleLocation a, final IntLocation b) { |
136 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
137 | |
public double computeValue() { |
138 | 0 | return ((double) a.getAsDouble()) - ((int) b.getAsInt()); |
139 | |
} |
140 | |
}, a, b); |
141 | |
} |
142 | |
|
143 | |
public static DoubleLocation minus_iD(final IntLocation a, final ObjectLocation<Double> b) { |
144 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
145 | |
public double computeValue() { |
146 | 0 | return ((int) a.getAsInt()) - ((double) b.get()); |
147 | |
} |
148 | |
}, a, b); |
149 | |
} |
150 | |
|
151 | |
public static DoubleLocation minus_Di(final ObjectLocation<Double> a, final IntLocation b) { |
152 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
153 | |
public double computeValue() { |
154 | 0 | return ((double) a.get()) - ((int) b.getAsInt()); |
155 | |
} |
156 | |
}, a, b); |
157 | |
} |
158 | |
|
159 | |
public static DoubleLocation minus_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
160 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
161 | |
public double computeValue() { |
162 | 0 | return ((int) a.get()) - ((double) b.get()); |
163 | |
} |
164 | |
}, a, b); |
165 | |
} |
166 | |
|
167 | |
public static DoubleLocation minus_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
168 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
169 | |
public double computeValue() { |
170 | 0 | return ((double) a.get()) - ((int) b.get()); |
171 | |
} |
172 | |
}, a, b); |
173 | |
} |
174 | |
|
175 | |
|
176 | |
public static IntLocation times_ii(final IntLocation a, final IntLocation b) { |
177 | 29 | return IntVariable.make(new IntBindingExpression() { |
178 | |
public int computeValue() { |
179 | 87 | return ((int) a.getAsInt()) * ((int) b.getAsInt()); |
180 | |
} |
181 | |
}, a, b); |
182 | |
} |
183 | |
|
184 | |
public static IntLocation times_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
185 | 0 | return IntVariable.make(new IntBindingExpression() { |
186 | |
public int computeValue() { |
187 | 0 | return ((int) a.get()) * ((int) b.get()); |
188 | |
} |
189 | |
}, a, b); |
190 | |
} |
191 | |
|
192 | |
public static DoubleLocation times_dd(final DoubleLocation a, final DoubleLocation b) { |
193 | 6 | return DoubleVariable.make(new DoubleBindingExpression() { |
194 | |
public double computeValue() { |
195 | 206 | return ((double) a.getAsDouble()) * ((double) b.getAsDouble()); |
196 | |
} |
197 | |
}, a, b); |
198 | |
} |
199 | |
|
200 | |
public static DoubleLocation times_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
201 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
202 | |
public double computeValue() { |
203 | 0 | return ((double) a.get()) * ((double) b.get()); |
204 | |
} |
205 | |
}, a, b); |
206 | |
} |
207 | |
|
208 | |
public static DoubleLocation times_id(final IntLocation a, final DoubleLocation b) { |
209 | 1 | return DoubleVariable.make(new DoubleBindingExpression() { |
210 | |
public double computeValue() { |
211 | 2 | return ((int) a.getAsInt()) * ((double) b.getAsDouble()); |
212 | |
} |
213 | |
}, a, b); |
214 | |
} |
215 | |
|
216 | |
public static DoubleLocation times_di(final DoubleLocation a, final IntLocation b) { |
217 | 11 | return DoubleVariable.make(new DoubleBindingExpression() { |
218 | |
public double computeValue() { |
219 | 78 | return ((double) a.getAsDouble()) * ((int) b.getAsInt()); |
220 | |
} |
221 | |
}, a, b); |
222 | |
} |
223 | |
|
224 | |
public static DoubleLocation times_iD(final IntLocation a, final ObjectLocation<Double> b) { |
225 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
226 | |
public double computeValue() { |
227 | 0 | return ((int) a.getAsInt()) * ((double) b.get()); |
228 | |
} |
229 | |
}, a, b); |
230 | |
} |
231 | |
|
232 | |
public static DoubleLocation times_Di(final ObjectLocation<Double> a, final IntLocation b) { |
233 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
234 | |
public double computeValue() { |
235 | 0 | return ((double) a.get()) * ((int) b.getAsInt()); |
236 | |
} |
237 | |
}, a, b); |
238 | |
} |
239 | |
|
240 | |
public static DoubleLocation times_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
241 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
242 | |
public double computeValue() { |
243 | 0 | return ((int) a.get()) * ((double) b.get()); |
244 | |
} |
245 | |
}, a, b); |
246 | |
} |
247 | |
|
248 | |
public static DoubleLocation times_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
249 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
250 | |
public double computeValue() { |
251 | 0 | return ((double) a.get()) * ((int) b.get()); |
252 | |
} |
253 | |
}, a, b); |
254 | |
} |
255 | |
|
256 | |
|
257 | |
public static IntLocation divide_ii(final IntLocation a, final IntLocation b) { |
258 | 1 | return IntVariable.make(new IntBindingExpression() { |
259 | |
public int computeValue() { |
260 | 3 | return ((int) a.getAsInt()) / ((int) b.getAsInt()); |
261 | |
} |
262 | |
}, a, b); |
263 | |
} |
264 | |
|
265 | |
public static IntLocation divide_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
266 | 0 | return IntVariable.make(new IntBindingExpression() { |
267 | |
public int computeValue() { |
268 | 0 | return ((int) a.get()) / ((int) b.get()); |
269 | |
} |
270 | |
}, a, b); |
271 | |
} |
272 | |
|
273 | |
public static DoubleLocation divide_dd(final DoubleLocation a, final DoubleLocation b) { |
274 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
275 | |
public double computeValue() { |
276 | 0 | return ((double) a.getAsDouble()) / ((double) b.getAsDouble()); |
277 | |
} |
278 | |
}, a, b); |
279 | |
} |
280 | |
|
281 | |
public static DoubleLocation divide_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
282 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
283 | |
public double computeValue() { |
284 | 0 | return ((double) a.get()) / ((double) b.get()); |
285 | |
} |
286 | |
}, a, b); |
287 | |
} |
288 | |
|
289 | |
public static DoubleLocation divide_id(final IntLocation a, final DoubleLocation b) { |
290 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
291 | |
public double computeValue() { |
292 | 0 | return ((int) a.getAsInt()) / ((double) b.getAsDouble()); |
293 | |
} |
294 | |
}, a, b); |
295 | |
} |
296 | |
|
297 | |
public static DoubleLocation divide_di(final DoubleLocation a, final IntLocation b) { |
298 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
299 | |
public double computeValue() { |
300 | 0 | return ((double) a.getAsDouble()) / ((int) b.getAsInt()); |
301 | |
} |
302 | |
}, a, b); |
303 | |
} |
304 | |
|
305 | |
public static DoubleLocation divide_iD(final IntLocation a, final ObjectLocation<Double> b) { |
306 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
307 | |
public double computeValue() { |
308 | 0 | return ((int) a.getAsInt()) / ((double) b.get()); |
309 | |
} |
310 | |
}, a, b); |
311 | |
} |
312 | |
|
313 | |
public static DoubleLocation divide_Di(final ObjectLocation<Double> a, final IntLocation b) { |
314 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
315 | |
public double computeValue() { |
316 | 0 | return ((double) a.get()) / ((int) b.getAsInt()); |
317 | |
} |
318 | |
}, a, b); |
319 | |
} |
320 | |
|
321 | |
public static DoubleLocation divide_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
322 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
323 | |
public double computeValue() { |
324 | 0 | return ((int) a.get()) / ((double) b.get()); |
325 | |
} |
326 | |
}, a, b); |
327 | |
} |
328 | |
|
329 | |
public static DoubleLocation divide_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
330 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
331 | |
public double computeValue() { |
332 | 0 | return ((double) a.get()) / ((int) b.get()); |
333 | |
} |
334 | |
}, a, b); |
335 | |
} |
336 | |
|
337 | |
|
338 | |
public static IntLocation modulo_ii(final IntLocation a, final IntLocation b) { |
339 | 53 | return IntVariable.make(new IntBindingExpression() { |
340 | |
public int computeValue() { |
341 | 64 | return ((int) a.getAsInt()) % ((int) b.getAsInt()); |
342 | |
} |
343 | |
}, a, b); |
344 | |
} |
345 | |
|
346 | |
public static IntLocation modulo_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
347 | 0 | return IntVariable.make(new IntBindingExpression() { |
348 | |
public int computeValue() { |
349 | 0 | return ((int) a.get()) % ((int) b.get()); |
350 | |
} |
351 | |
}, a, b); |
352 | |
} |
353 | |
|
354 | |
public static DoubleLocation modulo_dd(final DoubleLocation a, final DoubleLocation b) { |
355 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
356 | |
public double computeValue() { |
357 | 0 | return ((double) a.getAsDouble()) % ((double) b.getAsDouble()); |
358 | |
} |
359 | |
}, a, b); |
360 | |
} |
361 | |
|
362 | |
public static DoubleLocation modulo_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
363 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
364 | |
public double computeValue() { |
365 | 0 | return ((double) a.get()) % ((double) b.get()); |
366 | |
} |
367 | |
}, a, b); |
368 | |
} |
369 | |
|
370 | |
public static DoubleLocation modulo_id(final IntLocation a, final DoubleLocation b) { |
371 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
372 | |
public double computeValue() { |
373 | 0 | return ((int) a.getAsInt()) % ((double) b.getAsDouble()); |
374 | |
} |
375 | |
}, a, b); |
376 | |
} |
377 | |
|
378 | |
public static DoubleLocation modulo_di(final DoubleLocation a, final IntLocation b) { |
379 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
380 | |
public double computeValue() { |
381 | 0 | return ((double) a.getAsDouble()) % ((int) b.getAsInt()); |
382 | |
} |
383 | |
}, a, b); |
384 | |
} |
385 | |
|
386 | |
public static DoubleLocation modulo_iD(final IntLocation a, final ObjectLocation<Double> b) { |
387 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
388 | |
public double computeValue() { |
389 | 0 | return ((int) a.getAsInt()) % ((double) b.get()); |
390 | |
} |
391 | |
}, a, b); |
392 | |
} |
393 | |
|
394 | |
public static DoubleLocation modulo_Di(final ObjectLocation<Double> a, final IntLocation b) { |
395 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
396 | |
public double computeValue() { |
397 | 0 | return ((double) a.get()) % ((int) b.getAsInt()); |
398 | |
} |
399 | |
}, a, b); |
400 | |
} |
401 | |
|
402 | |
public static DoubleLocation modulo_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
403 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
404 | |
public double computeValue() { |
405 | 0 | return ((int) a.get()) % ((double) b.get()); |
406 | |
} |
407 | |
}, a, b); |
408 | |
} |
409 | |
|
410 | |
public static DoubleLocation modulo_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
411 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
412 | |
public double computeValue() { |
413 | 0 | return ((double) a.get()) % ((int) b.get()); |
414 | |
} |
415 | |
}, a, b); |
416 | |
} |
417 | |
|
418 | |
|
419 | |
public static BooleanLocation eq_ii(final IntLocation a, final IntLocation b) { |
420 | 53 | return BooleanVariable.make(new BooleanBindingExpression() { |
421 | |
public boolean computeValue() { |
422 | 64 | return ((int) a.getAsInt()) == ((int) b.getAsInt()); |
423 | |
} |
424 | |
}, a, b); |
425 | |
} |
426 | |
|
427 | |
public static BooleanLocation eq_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
428 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
429 | |
public boolean computeValue() { |
430 | 0 | return ((int) a.get()) == ((int) b.get()); |
431 | |
} |
432 | |
}, a, b); |
433 | |
} |
434 | |
|
435 | |
public static BooleanLocation eq_dd(final DoubleLocation a, final DoubleLocation b) { |
436 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
437 | |
public boolean computeValue() { |
438 | 0 | return ((double) a.getAsDouble()) == ((double) b.getAsDouble()); |
439 | |
} |
440 | |
}, a, b); |
441 | |
} |
442 | |
|
443 | |
public static BooleanLocation eq_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
444 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
445 | |
public boolean computeValue() { |
446 | 0 | return ((double) a.get()) == ((double) b.get()); |
447 | |
} |
448 | |
}, a, b); |
449 | |
} |
450 | |
|
451 | |
public static BooleanLocation eq_id(final IntLocation a, final DoubleLocation b) { |
452 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
453 | |
public boolean computeValue() { |
454 | 0 | return ((int) a.getAsInt()) == ((double) b.getAsDouble()); |
455 | |
} |
456 | |
}, a, b); |
457 | |
} |
458 | |
|
459 | |
public static BooleanLocation eq_di(final DoubleLocation a, final IntLocation b) { |
460 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
461 | |
public boolean computeValue() { |
462 | 0 | return ((double) a.getAsDouble()) == ((int) b.getAsInt()); |
463 | |
} |
464 | |
}, a, b); |
465 | |
} |
466 | |
|
467 | |
public static BooleanLocation eq_iD(final IntLocation a, final ObjectLocation<Double> b) { |
468 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
469 | |
public boolean computeValue() { |
470 | 0 | return ((int) a.getAsInt()) == ((double) b.get()); |
471 | |
} |
472 | |
}, a, b); |
473 | |
} |
474 | |
|
475 | |
public static BooleanLocation eq_Di(final ObjectLocation<Double> a, final IntLocation b) { |
476 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
477 | |
public boolean computeValue() { |
478 | 0 | return ((double) a.get()) == ((int) b.getAsInt()); |
479 | |
} |
480 | |
}, a, b); |
481 | |
} |
482 | |
|
483 | |
public static BooleanLocation eq_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
484 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
485 | |
public boolean computeValue() { |
486 | 0 | return ((int) a.get()) == ((double) b.get()); |
487 | |
} |
488 | |
}, a, b); |
489 | |
} |
490 | |
|
491 | |
public static BooleanLocation eq_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
492 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
493 | |
public boolean computeValue() { |
494 | 0 | return ((double) a.get()) == ((int) b.get()); |
495 | |
} |
496 | |
}, a, b); |
497 | |
} |
498 | |
|
499 | |
|
500 | |
public static BooleanLocation ne_ii(final IntLocation a, final IntLocation b) { |
501 | 6 | return BooleanVariable.make(new BooleanBindingExpression() { |
502 | |
public boolean computeValue() { |
503 | 6 | return ((int) a.getAsInt()) != ((int) b.getAsInt()); |
504 | |
} |
505 | |
}, a, b); |
506 | |
} |
507 | |
|
508 | |
public static BooleanLocation ne_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
509 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
510 | |
public boolean computeValue() { |
511 | 0 | return ((int) a.get()) != ((int) b.get()); |
512 | |
} |
513 | |
}, a, b); |
514 | |
} |
515 | |
|
516 | |
public static BooleanLocation ne_dd(final DoubleLocation a, final DoubleLocation b) { |
517 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
518 | |
public boolean computeValue() { |
519 | 0 | return ((double) a.getAsDouble()) != ((double) b.getAsDouble()); |
520 | |
} |
521 | |
}, a, b); |
522 | |
} |
523 | |
|
524 | |
public static BooleanLocation ne_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
525 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
526 | |
public boolean computeValue() { |
527 | 0 | return ((double) a.get()) != ((double) b.get()); |
528 | |
} |
529 | |
}, a, b); |
530 | |
} |
531 | |
|
532 | |
public static BooleanLocation ne_id(final IntLocation a, final DoubleLocation b) { |
533 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
534 | |
public boolean computeValue() { |
535 | 0 | return ((int) a.getAsInt()) != ((double) b.getAsDouble()); |
536 | |
} |
537 | |
}, a, b); |
538 | |
} |
539 | |
|
540 | |
public static BooleanLocation ne_di(final DoubleLocation a, final IntLocation b) { |
541 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
542 | |
public boolean computeValue() { |
543 | 0 | return ((double) a.getAsDouble()) != ((int) b.getAsInt()); |
544 | |
} |
545 | |
}, a, b); |
546 | |
} |
547 | |
|
548 | |
public static BooleanLocation ne_iD(final IntLocation a, final ObjectLocation<Double> b) { |
549 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
550 | |
public boolean computeValue() { |
551 | 0 | return ((int) a.getAsInt()) != ((double) b.get()); |
552 | |
} |
553 | |
}, a, b); |
554 | |
} |
555 | |
|
556 | |
public static BooleanLocation ne_Di(final ObjectLocation<Double> a, final IntLocation b) { |
557 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
558 | |
public boolean computeValue() { |
559 | 0 | return ((double) a.get()) != ((int) b.getAsInt()); |
560 | |
} |
561 | |
}, a, b); |
562 | |
} |
563 | |
|
564 | |
public static BooleanLocation ne_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
565 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
566 | |
public boolean computeValue() { |
567 | 0 | return ((int) a.get()) != ((double) b.get()); |
568 | |
} |
569 | |
}, a, b); |
570 | |
} |
571 | |
|
572 | |
public static BooleanLocation ne_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
573 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
574 | |
public boolean computeValue() { |
575 | 0 | return ((double) a.get()) != ((int) b.get()); |
576 | |
} |
577 | |
}, a, b); |
578 | |
} |
579 | |
|
580 | |
|
581 | |
public static BooleanLocation ge_ii(final IntLocation a, final IntLocation b) { |
582 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
583 | |
public boolean computeValue() { |
584 | 0 | return ((int) a.getAsInt()) >= ((int) b.getAsInt()); |
585 | |
} |
586 | |
}, a, b); |
587 | |
} |
588 | |
|
589 | |
public static BooleanLocation ge_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
590 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
591 | |
public boolean computeValue() { |
592 | 0 | return ((int) a.get()) >= ((int) b.get()); |
593 | |
} |
594 | |
}, a, b); |
595 | |
} |
596 | |
|
597 | |
public static BooleanLocation ge_dd(final DoubleLocation a, final DoubleLocation b) { |
598 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
599 | |
public boolean computeValue() { |
600 | 0 | return ((double) a.getAsDouble()) >= ((double) b.getAsDouble()); |
601 | |
} |
602 | |
}, a, b); |
603 | |
} |
604 | |
|
605 | |
public static BooleanLocation ge_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
606 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
607 | |
public boolean computeValue() { |
608 | 0 | return ((double) a.get()) >= ((double) b.get()); |
609 | |
} |
610 | |
}, a, b); |
611 | |
} |
612 | |
|
613 | |
public static BooleanLocation ge_id(final IntLocation a, final DoubleLocation b) { |
614 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
615 | |
public boolean computeValue() { |
616 | 0 | return ((int) a.getAsInt()) >= ((double) b.getAsDouble()); |
617 | |
} |
618 | |
}, a, b); |
619 | |
} |
620 | |
|
621 | |
public static BooleanLocation ge_di(final DoubleLocation a, final IntLocation b) { |
622 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
623 | |
public boolean computeValue() { |
624 | 0 | return ((double) a.getAsDouble()) >= ((int) b.getAsInt()); |
625 | |
} |
626 | |
}, a, b); |
627 | |
} |
628 | |
|
629 | |
public static BooleanLocation ge_iD(final IntLocation a, final ObjectLocation<Double> b) { |
630 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
631 | |
public boolean computeValue() { |
632 | 0 | return ((int) a.getAsInt()) >= ((double) b.get()); |
633 | |
} |
634 | |
}, a, b); |
635 | |
} |
636 | |
|
637 | |
public static BooleanLocation ge_Di(final ObjectLocation<Double> a, final IntLocation b) { |
638 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
639 | |
public boolean computeValue() { |
640 | 0 | return ((double) a.get()) >= ((int) b.getAsInt()); |
641 | |
} |
642 | |
}, a, b); |
643 | |
} |
644 | |
|
645 | |
public static BooleanLocation ge_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
646 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
647 | |
public boolean computeValue() { |
648 | 0 | return ((int) a.get()) >= ((double) b.get()); |
649 | |
} |
650 | |
}, a, b); |
651 | |
} |
652 | |
|
653 | |
public static BooleanLocation ge_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
654 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
655 | |
public boolean computeValue() { |
656 | 0 | return ((double) a.get()) >= ((int) b.get()); |
657 | |
} |
658 | |
}, a, b); |
659 | |
} |
660 | |
|
661 | |
|
662 | |
public static BooleanLocation le_ii(final IntLocation a, final IntLocation b) { |
663 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
664 | |
public boolean computeValue() { |
665 | 0 | return ((int) a.getAsInt()) <= ((int) b.getAsInt()); |
666 | |
} |
667 | |
}, a, b); |
668 | |
} |
669 | |
|
670 | |
public static BooleanLocation le_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
671 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
672 | |
public boolean computeValue() { |
673 | 0 | return ((int) a.get()) <= ((int) b.get()); |
674 | |
} |
675 | |
}, a, b); |
676 | |
} |
677 | |
|
678 | |
public static BooleanLocation le_dd(final DoubleLocation a, final DoubleLocation b) { |
679 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
680 | |
public boolean computeValue() { |
681 | 0 | return ((double) a.getAsDouble()) <= ((double) b.getAsDouble()); |
682 | |
} |
683 | |
}, a, b); |
684 | |
} |
685 | |
|
686 | |
public static BooleanLocation le_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
687 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
688 | |
public boolean computeValue() { |
689 | 0 | return ((double) a.get()) <= ((double) b.get()); |
690 | |
} |
691 | |
}, a, b); |
692 | |
} |
693 | |
|
694 | |
public static BooleanLocation le_id(final IntLocation a, final DoubleLocation b) { |
695 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
696 | |
public boolean computeValue() { |
697 | 0 | return ((int) a.getAsInt()) <= ((double) b.getAsDouble()); |
698 | |
} |
699 | |
}, a, b); |
700 | |
} |
701 | |
|
702 | |
public static BooleanLocation le_di(final DoubleLocation a, final IntLocation b) { |
703 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
704 | |
public boolean computeValue() { |
705 | 0 | return ((double) a.getAsDouble()) <= ((int) b.getAsInt()); |
706 | |
} |
707 | |
}, a, b); |
708 | |
} |
709 | |
|
710 | |
public static BooleanLocation le_iD(final IntLocation a, final ObjectLocation<Double> b) { |
711 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
712 | |
public boolean computeValue() { |
713 | 0 | return ((int) a.getAsInt()) <= ((double) b.get()); |
714 | |
} |
715 | |
}, a, b); |
716 | |
} |
717 | |
|
718 | |
public static BooleanLocation le_Di(final ObjectLocation<Double> a, final IntLocation b) { |
719 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
720 | |
public boolean computeValue() { |
721 | 0 | return ((double) a.get()) <= ((int) b.getAsInt()); |
722 | |
} |
723 | |
}, a, b); |
724 | |
} |
725 | |
|
726 | |
public static BooleanLocation le_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
727 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
728 | |
public boolean computeValue() { |
729 | 0 | return ((int) a.get()) <= ((double) b.get()); |
730 | |
} |
731 | |
}, a, b); |
732 | |
} |
733 | |
|
734 | |
public static BooleanLocation le_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
735 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
736 | |
public boolean computeValue() { |
737 | 0 | return ((double) a.get()) <= ((int) b.get()); |
738 | |
} |
739 | |
}, a, b); |
740 | |
} |
741 | |
|
742 | |
|
743 | |
public static BooleanLocation lt_ii(final IntLocation a, final IntLocation b) { |
744 | 350 | return BooleanVariable.make(new BooleanBindingExpression() { |
745 | |
public boolean computeValue() { |
746 | 850 | return ((int) a.getAsInt()) < ((int) b.getAsInt()); |
747 | |
} |
748 | |
}, a, b); |
749 | |
} |
750 | |
|
751 | |
public static BooleanLocation lt_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
752 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
753 | |
public boolean computeValue() { |
754 | 0 | return ((int) a.get()) < ((int) b.get()); |
755 | |
} |
756 | |
}, a, b); |
757 | |
} |
758 | |
|
759 | |
public static BooleanLocation lt_dd(final DoubleLocation a, final DoubleLocation b) { |
760 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
761 | |
public boolean computeValue() { |
762 | 0 | return ((double) a.getAsDouble()) < ((double) b.getAsDouble()); |
763 | |
} |
764 | |
}, a, b); |
765 | |
} |
766 | |
|
767 | |
public static BooleanLocation lt_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
768 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
769 | |
public boolean computeValue() { |
770 | 0 | return ((double) a.get()) < ((double) b.get()); |
771 | |
} |
772 | |
}, a, b); |
773 | |
} |
774 | |
|
775 | |
public static BooleanLocation lt_id(final IntLocation a, final DoubleLocation b) { |
776 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
777 | |
public boolean computeValue() { |
778 | 0 | return ((int) a.getAsInt()) < ((double) b.getAsDouble()); |
779 | |
} |
780 | |
}, a, b); |
781 | |
} |
782 | |
|
783 | |
public static BooleanLocation lt_di(final DoubleLocation a, final IntLocation b) { |
784 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
785 | |
public boolean computeValue() { |
786 | 0 | return ((double) a.getAsDouble()) < ((int) b.getAsInt()); |
787 | |
} |
788 | |
}, a, b); |
789 | |
} |
790 | |
|
791 | |
public static BooleanLocation lt_iD(final IntLocation a, final ObjectLocation<Double> b) { |
792 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
793 | |
public boolean computeValue() { |
794 | 0 | return ((int) a.getAsInt()) < ((double) b.get()); |
795 | |
} |
796 | |
}, a, b); |
797 | |
} |
798 | |
|
799 | |
public static BooleanLocation lt_Di(final ObjectLocation<Double> a, final IntLocation b) { |
800 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
801 | |
public boolean computeValue() { |
802 | 0 | return ((double) a.get()) < ((int) b.getAsInt()); |
803 | |
} |
804 | |
}, a, b); |
805 | |
} |
806 | |
|
807 | |
public static BooleanLocation lt_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
808 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
809 | |
public boolean computeValue() { |
810 | 0 | return ((int) a.get()) < ((double) b.get()); |
811 | |
} |
812 | |
}, a, b); |
813 | |
} |
814 | |
|
815 | |
public static BooleanLocation lt_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
816 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
817 | |
public boolean computeValue() { |
818 | 0 | return ((double) a.get()) < ((int) b.get()); |
819 | |
} |
820 | |
}, a, b); |
821 | |
} |
822 | |
|
823 | |
|
824 | |
public static BooleanLocation gt_ii(final IntLocation a, final IntLocation b) { |
825 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
826 | |
public boolean computeValue() { |
827 | 0 | return ((int) a.getAsInt()) > ((int) b.getAsInt()); |
828 | |
} |
829 | |
}, a, b); |
830 | |
} |
831 | |
|
832 | |
public static BooleanLocation gt_II(final ObjectLocation<Integer> a, final ObjectLocation<Integer> b) { |
833 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
834 | |
public boolean computeValue() { |
835 | 0 | return ((int) a.get()) > ((int) b.get()); |
836 | |
} |
837 | |
}, a, b); |
838 | |
} |
839 | |
|
840 | |
public static BooleanLocation gt_dd(final DoubleLocation a, final DoubleLocation b) { |
841 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
842 | |
public boolean computeValue() { |
843 | 0 | return ((double) a.getAsDouble()) > ((double) b.getAsDouble()); |
844 | |
} |
845 | |
}, a, b); |
846 | |
} |
847 | |
|
848 | |
public static BooleanLocation gt_DD(final ObjectLocation<Double> a, final ObjectLocation<Double> b) { |
849 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
850 | |
public boolean computeValue() { |
851 | 0 | return ((double) a.get()) > ((double) b.get()); |
852 | |
} |
853 | |
}, a, b); |
854 | |
} |
855 | |
|
856 | |
public static BooleanLocation gt_id(final IntLocation a, final DoubleLocation b) { |
857 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
858 | |
public boolean computeValue() { |
859 | 0 | return ((int) a.getAsInt()) > ((double) b.getAsDouble()); |
860 | |
} |
861 | |
}, a, b); |
862 | |
} |
863 | |
|
864 | |
public static BooleanLocation gt_di(final DoubleLocation a, final IntLocation b) { |
865 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
866 | |
public boolean computeValue() { |
867 | 0 | return ((double) a.getAsDouble()) > ((int) b.getAsInt()); |
868 | |
} |
869 | |
}, a, b); |
870 | |
} |
871 | |
|
872 | |
public static BooleanLocation gt_iD(final IntLocation a, final ObjectLocation<Double> b) { |
873 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
874 | |
public boolean computeValue() { |
875 | 0 | return ((int) a.getAsInt()) > ((double) b.get()); |
876 | |
} |
877 | |
}, a, b); |
878 | |
} |
879 | |
|
880 | |
public static BooleanLocation gt_Di(final ObjectLocation<Double> a, final IntLocation b) { |
881 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
882 | |
public boolean computeValue() { |
883 | 0 | return ((double) a.get()) > ((int) b.getAsInt()); |
884 | |
} |
885 | |
}, a, b); |
886 | |
} |
887 | |
|
888 | |
public static BooleanLocation gt_ID(final ObjectLocation<Integer> a, final ObjectLocation<Double> b) { |
889 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
890 | |
public boolean computeValue() { |
891 | 0 | return ((int) a.get()) > ((double) b.get()); |
892 | |
} |
893 | |
}, a, b); |
894 | |
} |
895 | |
|
896 | |
public static BooleanLocation gt_DI(final ObjectLocation<Double> a, final ObjectLocation<Integer> b) { |
897 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
898 | |
public boolean computeValue() { |
899 | 0 | return ((double) a.get()) > ((int) b.get()); |
900 | |
} |
901 | |
}, a, b); |
902 | |
} |
903 | |
|
904 | |
|
905 | |
public static IntLocation negate_i(final IntLocation a) { |
906 | 0 | return IntVariable.make(new IntBindingExpression() { |
907 | |
public int computeValue() { |
908 | 0 | return - ((int) a.getAsInt()); |
909 | |
} |
910 | |
}, a); |
911 | |
} |
912 | |
|
913 | |
public static IntLocation negate_I(final ObjectLocation<Integer> a) { |
914 | 0 | return IntVariable.make(new IntBindingExpression() { |
915 | |
public int computeValue() { |
916 | 0 | return - ((Integer) a.get()); |
917 | |
} |
918 | |
}, a); |
919 | |
} |
920 | |
|
921 | |
public static DoubleLocation negate_d(final DoubleLocation a) { |
922 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
923 | |
public double computeValue() { |
924 | 0 | return - ((double) a.getAsDouble()); |
925 | |
} |
926 | |
}, a); |
927 | |
} |
928 | |
|
929 | |
public static DoubleLocation negate_D(final ObjectLocation<Double> a) { |
930 | 0 | return DoubleVariable.make(new DoubleBindingExpression() { |
931 | |
public double computeValue() { |
932 | 0 | return - ((Double) a.get()); |
933 | |
} |
934 | |
}, a); |
935 | |
} |
936 | |
|
937 | |
|
938 | |
|
939 | |
public static BooleanLocation or_bb(final BooleanLocation a, final BooleanLocation b) { |
940 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
941 | |
public boolean computeValue() { |
942 | 0 | return ((boolean) a.getAsBoolean()) || ((boolean) b.getAsBoolean()); |
943 | |
} |
944 | |
}, a, b); |
945 | |
} |
946 | |
|
947 | |
public static BooleanLocation or_bB(final BooleanLocation a, final ObjectLocation<Boolean> b) { |
948 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
949 | |
public boolean computeValue() { |
950 | 0 | return ((boolean) a.getAsBoolean()) || ((boolean) b.get()); |
951 | |
} |
952 | |
}, a, b); |
953 | |
} |
954 | |
|
955 | |
public static BooleanLocation or_Bb(final ObjectLocation<Boolean> a, final BooleanLocation b) { |
956 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
957 | |
public boolean computeValue() { |
958 | 0 | return ((boolean) a.get()) || ((boolean) b.getAsBoolean()); |
959 | |
} |
960 | |
}, a, b); |
961 | |
} |
962 | |
|
963 | |
public static BooleanLocation or_BB(final ObjectLocation<Boolean> a, final ObjectLocation<Boolean> b) { |
964 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
965 | |
public boolean computeValue() { |
966 | 0 | return ((boolean) a.get()) || ((boolean) b.get()); |
967 | |
} |
968 | |
}, a, b); |
969 | |
} |
970 | |
|
971 | |
|
972 | |
public static BooleanLocation and_bb(final BooleanLocation a, final BooleanLocation b) { |
973 | 1 | return BooleanVariable.make(new BooleanBindingExpression() { |
974 | |
public boolean computeValue() { |
975 | 4 | return ((boolean) a.getAsBoolean()) && ((boolean) b.getAsBoolean()); |
976 | |
} |
977 | |
}, a, b); |
978 | |
} |
979 | |
|
980 | |
public static BooleanLocation and_bB(final BooleanLocation a, final ObjectLocation<Boolean> b) { |
981 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
982 | |
public boolean computeValue() { |
983 | 0 | return ((boolean) a.getAsBoolean()) && ((boolean) b.get()); |
984 | |
} |
985 | |
}, a, b); |
986 | |
} |
987 | |
|
988 | |
public static BooleanLocation and_Bb(final ObjectLocation<Boolean> a, final BooleanLocation b) { |
989 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
990 | |
public boolean computeValue() { |
991 | 0 | return ((boolean) a.get()) && ((boolean) b.getAsBoolean()); |
992 | |
} |
993 | |
}, a, b); |
994 | |
} |
995 | |
|
996 | |
public static BooleanLocation and_BB(final ObjectLocation<Boolean> a, final ObjectLocation<Boolean> b) { |
997 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
998 | |
public boolean computeValue() { |
999 | 0 | return ((boolean) a.get()) && ((boolean) b.get()); |
1000 | |
} |
1001 | |
}, a, b); |
1002 | |
} |
1003 | |
|
1004 | |
|
1005 | |
public static BooleanLocation eq_bb(final BooleanLocation a, final BooleanLocation b) { |
1006 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1007 | |
public boolean computeValue() { |
1008 | 0 | return ((boolean) a.getAsBoolean()) == ((boolean) b.getAsBoolean()); |
1009 | |
} |
1010 | |
}, a, b); |
1011 | |
} |
1012 | |
|
1013 | |
public static BooleanLocation eq_bB(final BooleanLocation a, final ObjectLocation<Boolean> b) { |
1014 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1015 | |
public boolean computeValue() { |
1016 | 0 | return ((boolean) a.getAsBoolean()) == ((boolean) b.get()); |
1017 | |
} |
1018 | |
}, a, b); |
1019 | |
} |
1020 | |
|
1021 | |
public static BooleanLocation eq_Bb(final ObjectLocation<Boolean> a, final BooleanLocation b) { |
1022 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1023 | |
public boolean computeValue() { |
1024 | 0 | return ((boolean) a.get()) == ((boolean) b.getAsBoolean()); |
1025 | |
} |
1026 | |
}, a, b); |
1027 | |
} |
1028 | |
|
1029 | |
public static BooleanLocation eq_BB(final ObjectLocation<Boolean> a, final ObjectLocation<Boolean> b) { |
1030 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1031 | |
public boolean computeValue() { |
1032 | 0 | return ((boolean) a.get()) == ((boolean) b.get()); |
1033 | |
} |
1034 | |
}, a, b); |
1035 | |
} |
1036 | |
|
1037 | |
|
1038 | |
public static BooleanLocation ne_bb(final BooleanLocation a, final BooleanLocation b) { |
1039 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1040 | |
public boolean computeValue() { |
1041 | 0 | return ((boolean) a.getAsBoolean()) != ((boolean) b.getAsBoolean()); |
1042 | |
} |
1043 | |
}, a, b); |
1044 | |
} |
1045 | |
|
1046 | |
public static BooleanLocation ne_bB(final BooleanLocation a, final ObjectLocation<Boolean> b) { |
1047 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1048 | |
public boolean computeValue() { |
1049 | 0 | return ((boolean) a.getAsBoolean()) != ((boolean) b.get()); |
1050 | |
} |
1051 | |
}, a, b); |
1052 | |
} |
1053 | |
|
1054 | |
public static BooleanLocation ne_Bb(final ObjectLocation<Boolean> a, final BooleanLocation b) { |
1055 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1056 | |
public boolean computeValue() { |
1057 | 0 | return ((boolean) a.get()) != ((boolean) b.getAsBoolean()); |
1058 | |
} |
1059 | |
}, a, b); |
1060 | |
} |
1061 | |
|
1062 | |
public static BooleanLocation ne_BB(final ObjectLocation<Boolean> a, final ObjectLocation<Boolean> b) { |
1063 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1064 | |
public boolean computeValue() { |
1065 | 0 | return ((boolean) a.get()) != ((boolean) b.get()); |
1066 | |
} |
1067 | |
}, a, b); |
1068 | |
} |
1069 | |
|
1070 | |
|
1071 | |
public static BooleanLocation not_b(final BooleanLocation a) { |
1072 | 2 | return BooleanVariable.make(new BooleanBindingExpression() { |
1073 | |
public boolean computeValue() { |
1074 | 4 | return ! ((boolean) a.getAsBoolean()); |
1075 | |
} |
1076 | |
}, a); |
1077 | |
} |
1078 | |
|
1079 | |
public static BooleanLocation not_B(final ObjectLocation<Boolean> a) { |
1080 | 0 | return BooleanVariable.make(new BooleanBindingExpression() { |
1081 | |
public boolean computeValue() { |
1082 | 0 | return ! ((Boolean) a.get()); |
1083 | |
} |
1084 | |
}, a); |
1085 | |
} |
1086 | |
} |