| 175 | |
| 176 | template<class V0, class V1, class Idx, class Val> |
| 177 | ExecStatus |
| 178 | Int<V0,V1,Idx,Val>::post(Home home, IntSharedArray& c, V0 x0, V1 x1) { |
| 179 | if (x0.assigned()) { |
| 180 | GECODE_ME_CHECK(x1.eq(home,c[x0.val()])); |
| 181 | } else if (x1.assigned()) { |
| 182 | GECODE_ES_CHECK(assigned_val(home,c,x0,x1)); |
| 183 | } else { |
| 184 | (void) new (home) Int<V0,V1,Idx,Val>(home,c,x0,x1); |
| 185 | } |
| 186 | return ES_OK; |
| 187 | } |
| 188 | |
| 189 | template<class V0, class V1, class Idx, class Val> |
| 190 | forceinline |