| 82 | |
| 83 | template<class View0, class View1> |
| 84 | ExecStatus |
| 85 | Eq<View0,View1>::propagate(Space& home, const ModEventDelta&) { |
| 86 | if (x0.assigned()) { |
| 87 | GECODE_ME_CHECK(x1.eq(home,x0.val())); |
| 88 | } else if (x1.assigned()) { |
| 89 | GECODE_ME_CHECK(x0.eq(home,x1.val())); |
| 90 | } else { |
| 91 | do { |
| 92 | GECODE_ME_CHECK(x0.gq(home,x1.min())); |
| 93 | GECODE_ME_CHECK(x1.gq(home,x0.min())); |
| 94 | } while (x0.min() != x1.min()); |
| 95 | do { |
| 96 | GECODE_ME_CHECK(x0.lq(home,x1.max())); |
| 97 | GECODE_ME_CHECK(x1.lq(home,x0.max())); |
| 98 | } while (x0.max() != x1.max()); |
| 99 | if (!x0.assigned()) |
| 100 | return ES_FIX; |
| 101 | } |
| 102 | assert(x0.assigned() && x1.assigned()); |
| 103 | return home.ES_SUBSUMED(*this); |
| 104 | } |
| 105 | |
| 106 | |
| 107 | /* |