Searched refs:pruneMax (Results 1 – 3 of 3) sorted by relevance
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/ |
| H A D | LinearInt.java | 429 if (pruneMax(x[i], divRoundDown(b - sumMin + min, a[i]))) { in pruneLtEq()
474 if (pruneMax(x[i], divRoundDown(-(b - sumMax + max), -a[i]))) { in pruneGtEq()
526 private boolean pruneMax(IntVar x, long max) { in pruneMax() method in LinearInt
|
| H A D | SumInt.java | 307 if (pruneMax(x[i], sMax - sumXmin + min - b)) { in pruneLtEq()
366 private boolean pruneMax(IntVar x, long max) { in pruneMax() method in SumInt
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/geost/ |
| H A D | Geost.java | 892 protected int pruneMax(Store store, GeostObject o, int currentShape, int d, in pruneMax() method in Geost
1238 int upperBound = pruneMax(store, o, sid, d, in consistency()
|