| 84 | |
| 85 | template<class SView, class RView> |
| 86 | forceinline size_t |
| 87 | ElementDisjoint<SView,RView>::dispose(Space& home) { |
| 88 | x1.cancel(home,*this, PC_SET_ANY); |
| 89 | iv.cancel(home,*this,PC_SET_ANY); |
| 90 | (void) Propagator::dispose(home); |
| 91 | return sizeof(*this); |
| 92 | } |
| 93 | |
| 94 | template<class SView, class RView> |
| 95 | Actor* |