| 83 | |
| 84 | template<class View0, class View1, class CtrlView, ReifyMode rm> |
| 85 | ExecStatus |
| 86 | ReEq<View0,View1,CtrlView,rm>::post(Home home, View0 x0, View1 x1, |
| 87 | CtrlView b) { |
| 88 | if (!same(x0,x1)) { |
| 89 | (void) new (home) ReEq<View0,View1,CtrlView,rm>(home,x0,x1,b); |
| 90 | } else if (rm != RM_IMP) { |
| 91 | GECODE_ME_CHECK(b.one(home)); |
| 92 | } |
| 93 | return ES_OK; |
| 94 | } |
| 95 | |
| 96 | template<class View0, class View1, class CtrlView, ReifyMode rm> |
| 97 | Actor* |