| 97 | |
| 98 | template<class VX> |
| 99 | forceinline size_t |
| 100 | LinBoolInt<VX>::dispose(Space& home) { |
| 101 | Advisors<Advisor> as(co); |
| 102 | for (int i=0; i<n_hs; i++) |
| 103 | x[i].cancel(home,as.advisor()); |
| 104 | co.dispose(home); |
| 105 | (void) Propagator::dispose(home); |
| 106 | return sizeof(*this); |
| 107 | } |
| 108 | |
| 109 | /* |
| 110 | * Greater or equal propagator (integer rhs) |