| 48 | |
| 49 | template<class XV, class YV> |
| 50 | forceinline size_t |
| 51 | LinBoolView<XV,YV>::dispose(Space& home) { |
| 52 | x.cancel(home,*this,PC_INT_VAL); |
| 53 | y.cancel(home,*this,PC_INT_BND); |
| 54 | (void) Propagator::dispose(home); |
| 55 | return sizeof(*this); |
| 56 | } |
| 57 | |
| 58 | template<class XV, class YV> |
| 59 | forceinline |