| 163 | } |
| 164 | |
| 165 | forceinline size_t |
| 166 | Pack::dispose(Space& home) { |
| 167 | l.cancel(home,*this,PC_INT_BND); |
| 168 | bs.cancel(home,*this,PC_INT_DOM); |
| 169 | (void) Propagator::dispose(home); |
| 170 | return sizeof(*this); |
| 171 | } |
| 172 | |
| 173 | template<class SizeSet> |
| 174 | forceinline bool |