| 347 | |
| 348 | template<class View, bool Perm> |
| 349 | Sorted<View,Perm>:: |
| 350 | Sorted(Home home, |
| 351 | ViewArray<View>& x0, ViewArray<View>& y0, ViewArray<View>& z0) : |
| 352 | Propagator(home), x(x0), y(y0), z(z0), w(home,y0), reachable(-1) { |
| 353 | x.subscribe(home, *this, PC_INT_BND); |
| 354 | y.subscribe(home, *this, PC_INT_BND); |
| 355 | if (Perm) |
| 356 | z.subscribe(home, *this, PC_INT_BND); |
| 357 | } |
| 358 | |
| 359 | template<class View, bool Perm> |
| 360 | forceinline size_t |