43 namespace Gecode {
namespace Set {
namespace Rel {
45 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
55 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
59 x0.update(home,share,p.
x0);
60 x1.update(home,share,p.
x1);
61 b.update(home,share,p.
b);
64 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
70 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
80 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
88 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
94 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
109 if (x0.assigned() && x1.assigned()) {
114 for (; x0lb() && x1lb(); ++x0lb, ++x1lb) {
115 if (x0lb.
min() != x1lb.
min() ||
116 x0lb.
max() != x1lb.
max()) {
121 if (x0eqx1 && !x0lb() && !x1lb()) {
133 if (x0.cardMin() > x1.cardMax() ||
134 x1.cardMin() > x0.cardMax()) {