38 namespace Gecode {
namespace Int {
48 if ((x.min() > y.max()) || (x.max() < y.min()))
return RT_FALSE;
56 while (rx() && ry()) {
57 if (rx.max() < ry.
min()) {
59 }
else if (ry.
max() < rx.min()) {
78 if ((n > x.max()) || (n < x.min()))
return RT_FALSE;
86 while (n > rx.
max()) ++rx;
108 if ((x.min() > y.max()) || (x.max() < y.min()))
return RT_TRUE;
116 while (rx() && ry()) {
117 if (rx.max() < ry.
min()) {
119 }
else if (ry.
max() < rx.min()) {
138 if ((n > x.max()) || (n < x.min()))
return RT_TRUE;
146 while (n > rx.
max()) ++rx;
167 if (x.max() <= n)
return RT_TRUE;
175 if (x.max() <= y.min())
return RT_TRUE;
176 if (x.min() > y.max())
return RT_FALSE;
183 if (x.max() < n)
return RT_TRUE;
191 if (x.max() < y.min())
return RT_TRUE;
192 if (x.min() >= y.max())
return RT_FALSE;
200 if (x.min() >= n)
return RT_TRUE;
207 if (x.max() < y.min())
return RT_FALSE;
208 if (x.min() >= y.max())
return RT_TRUE;
216 if (x.min() > n)
return RT_TRUE;
223 if (x.max() <= y.min())
return RT_FALSE;
224 if (x.min() > y.max())
return RT_TRUE;