| 130 | |
| 131 | template<class View, class Val> |
| 132 | ExecStatus |
| 133 | Sequence<View,Val>::post(Home home, ViewArray<View>& x, Val s, int q, int l, int u) { |
| 134 | GECODE_ES_CHECK(check(x,s,q,l,u)); |
| 135 | Sequence<View,Val>* p = new (home) Sequence<View,Val>(home,x,s,q,l,u); |
| 136 | |
| 137 | GECODE_ES_CHECK(p->vvsamax.propagate(home,x,s,q,l,u)); |
| 138 | GECODE_ES_CHECK(p->vvsamin.propagate(home,x,s,q,l,u)); |
| 139 | |
| 140 | return ES_OK; |
| 141 | } |
| 142 | |
| 143 | template<class View, class Val> |
| 144 | Actor* |