38 namespace Gecode {
namespace Int {
45 template<
class VX,
class VY>
48 if ((x.min() > y.max()) || (x.max() < y.min()))
return RT_FALSE;
52 template<
class VX,
class VY>
57 while (rx() && ry()) {
60 }
else if (ry.
max() < rx.
min()) {
67 template<
class VX,
class VY>
79 if ((n > x.max()) || (n < x.min()))
return RT_FALSE;
87 while (n > rx.
max()) ++rx;
106 template<
class VX,
class VY>
109 if ((x.min() > y.max()) || (x.max() < y.min()))
return RT_TRUE;
113 template<
class VX,
class VY>
118 while (rx() && ry()) {
119 if (rx.
max() < ry.
min()) {
121 }
else if (ry.
max() < rx.
min()) {
128 template<
class VX,
class VY>
140 if ((n > x.max()) || (n < x.min()))
return RT_TRUE;
148 while (n > rx.
max()) ++rx;
166 template<
class VX,
class VY>
169 if (x.max() <= y.min())
return RT_TRUE;
170 if (x.min() > y.max())
return RT_FALSE;
182 template<
class VX,
class VY>
185 if (x.max() < y.min())
return RT_TRUE;
186 if (x.min() >= y.max())
return RT_FALSE;
198 template<
class VX,
class VY>
201 if (x.max() < y.min())
return RT_FALSE;
202 if (x.min() >= y.max())
return RT_TRUE;
214 template<
class VX,
class VY>
217 if (x.max() <= y.min())
return RT_FALSE;
218 if (x.min() > y.max())
return RT_TRUE;
Relation may hold or not.
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information)
RelTest rtest_gq(VX x, VY y)
Test whether view x is greater or equal than view y.
RelTest rtest_eq_dom_check(VX x, VY y)
RelTest rtest_le(VX x, VY y)
Test whether view x is less than view y.
Range iterator for integer views.
RelTest rtest_lq(VX x, VY y)
Test whether view x is less or equal than view y.
RelTest rtest_nq_dom_check(VX x, VY y)
int n
Number of negative literals for node type.
RelTest
Result of testing relation.
int min(void) const
Return smallest value of range.
RelTest rtest_nq_dom(VX x, VY y)
Test whether views x and y are different (use full domain information)
RelTest rtest_eq_bnd(VX x, VY y)
Test whether views x and y are equal (use bounds information)
Node * x
Pointer to corresponding Boolean expression node.
RelTest rtest_nq_bnd(VX x, VY y)
Test whether views x and y are different (use bounds information)
int max(void) const
Return largest value of range.
Gecode toplevel namespace
RelTest rtest_gr(VX x, VY y)
Test whether view x is greater than view y.