43 namespace Gecode {
namespace Set {
namespace Rel {
45 template<
class View0,
class View1>
55 template<
class View0,
class View1>
59 x0.update(home,share,p.
x0);
60 x1.update(home,share,p.
x1);
64 template<
class View0,
class View1>
70 template<
class View0,
class View1>
80 template<
class View0,
class View1>
88 template<
class View0,
class View1>
94 template<
class View0,
class View1>
102 if (x0.assigned() && x1.assigned()) {
106 for (; x0lb() && x1lb(); ++x0lb, ++x1lb) {
107 if (x0lb.
min() != x1lb.
min() ||
108 x0lb.
max() != x1lb.
max()) {
113 if (!x0lb() && !x1lb()) {
123 if (x0.cardMin() > x1.cardMax() ||
124 x1.cardMin() > x0.cardMax()) {