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>
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>
182 template<
class VX,
class VY>
198 template<
class VX,
class VY>
214 template<
class VX,
class VY>
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.
bool assigned(void) const
Test whether view is assigned.
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)
Post propagator for SetVar SetOpType SetVar y
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.
Post propagator for SetVar x
Gecode toplevel namespace
RelTest rtest_gr(VX x, VY y)
Test whether view x is greater than view y.