34namespace Gecode {
namespace Int {
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>
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>
int n
Number of negative literals for node type.
Range iterator for integer views.
int max(void) const
Return largest value of range.
int min(void) const
Return smallest value of range.
bool assigned(void) const
Test whether view is assigned.
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