| 264 | |
| 265 | template<class V0, class V1, class Idx, class Val> |
| 266 | ExecStatus |
| 267 | Int<V0,V1,Idx,Val>::assigned_val(Space& home, IntSharedArray& c, |
| 268 | V0 x0, V1 x1) { |
| 269 | Region r; |
| 270 | int* v = r.alloc<int>(x0.size()); |
| 271 | int n = 0; |
| 272 | for (ViewValues<V0> i(x0); i(); ++i) |
| 273 | if (c[i.val()] != x1.val()) |
| 274 | v[n++]=i.val(); |
| 275 | Iter::Values::Array iv(v,n); |
| 276 | GECODE_ME_CHECK(x0.minus_v(home,iv,false)); |
| 277 | return ES_OK; |
| 278 | } |
| 279 | |
| 280 | template<class V0, class V1, class Idx, class Val> |
| 281 | ExecStatus |