41 template<
class VX,
class VY>
44 if ((
x.min() >
y.max()) || (
x.max() <
y.min()))
return RT_FALSE;
48 template<
class VX,
class VY>
53 while (rx() && ry()) {
56 }
else if (ry.
max() < rx.
min()) {
63 template<
class VX,
class VY>
75 if ((n >
x.max()) || (n <
x.min()))
return RT_FALSE;
83 while (n > rx.
max()) ++rx;
102 template<
class VX,
class VY>
105 if ((
x.min() >
y.max()) || (
x.max() <
y.min()))
return RT_TRUE;
109 template<
class VX,
class VY>
114 while (rx() && ry()) {
115 if (rx.
max() < ry.
min()) {
117 }
else if (ry.
max() < rx.
min()) {
124 template<
class VX,
class VY>
136 if ((n >
x.max()) || (n <
x.min()))
return RT_TRUE;
144 while (n > rx.
max()) ++rx;
162 template<
class VX,
class VY>
178 template<
class VX,
class VY>
194 template<
class VX,
class VY>
210 template<
class VX,
class VY>
Range iterator for integer views.
int max(void) const
Return largest value of range.
int min(void) const
Return smallest value of range.
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information)
RelTest rtest_nq_dom(VX x, VY y)
Test whether views x and y are different (use full domain information)
RelTest rtest_eq_dom_check(VX x, VY y)
RelTest rtest_nq_dom_check(VX x, VY y)
RelTest rtest_eq_bnd(VX x, VY y)
Test whether views x and y are equal (use bounds information)
RelTest rtest_lq(VX x, VY y)
Test whether view x is less or equal than view y.
RelTest rtest_le(VX x, VY y)
Test whether view x is less than view y.
RelTest
Result of testing relation.
@ RT_TRUE
Relation does hold.
@ RT_MAYBE
Relation may hold or not.
@ RT_FALSE
Relation does not hold.
RelTest rtest_nq_bnd(VX x, VY y)
Test whether views x and y are different (use bounds information)
RelTest rtest_gr(VX x, VY y)
Test whether view x is greater than view y.
RelTest rtest_gq(VX x, VY y)
Test whether view x is greater or equal than view y.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x