Home
last modified time | relevance | path

Searched refs:rOriginDom (Results 1 – 4 of 4) sorted by relevance

/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/
H A DDisjointConditional.java385 IntDomain rOriginDom = r.origin[i].dom(); in findRectangles() local
386 r_min[i] = rOriginDom.min(); in findRectangles()
387 r_max[i] = rOriginDom.max() + rLengthDom.max(); in findRectangles()
616 IntDomain rOriginDom = r.origin[i].dom(); in narrowIthCondition() local
618 for (; m < rOriginDom.noIntervals(); m++) { in narrowIthCondition()
620 if (s >= rOriginDom.leftElement(m) && s <= rOriginDom.rightElement(m)) { in narrowIthCondition()
H A DDisjoint.java283 IntDomain rOriginDom = r.origin[i].dom(); in findRectangles() local
284 r_min[i] = rOriginDom.min(); in findRectangles()
285 r_max[i] = rOriginDom.max() + rLengthDom.max(); in findRectangles()
H A DDiff2.java401 IntDomain rOriginDom = r.origin[i].dom(); in findRectangles() local
402 r_min[i] = rOriginDom.min(); in findRectangles()
403 r_max[i] = rOriginDom.max() + rLengthDom.max(); in findRectangles()
H A DDiff.java278 IntDomain rOriginDom = r.origin[i].dom(); in findRectangles() local
279 r_min[i] = rOriginDom.min(); in findRectangles()
280 r_max[i] = rOriginDom.max() + r.length[i].max(); in findRectangles()