| 358 | |
| 359 | template<class View, bool Perm> |
| 360 | forceinline size_t |
| 361 | Sorted<View,Perm>::dispose(Space& home) { |
| 362 | x.cancel(home,*this, PC_INT_BND); |
| 363 | y.cancel(home,*this, PC_INT_BND); |
| 364 | if (Perm) |
| 365 | z.cancel(home,*this, PC_INT_BND); |
| 366 | (void) Propagator::dispose(home); |
| 367 | return sizeof(*this); |
| 368 | } |
| 369 | |
| 370 | template<class View, bool Perm> |
| 371 | Actor* Sorted<View,Perm>::copy(Space& home) { |