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