| 171 | |
| 172 | template<class View> |
| 173 | inline size_t |
| 174 | Single<View>::dispose(Space& home) { |
| 175 | // Cancel remaining advisors |
| 176 | for (Advisors<Index> as(c); as(); ++as) |
| 177 | x[as.advisor().i].cancel(home,as.advisor()); |
| 178 | c.dispose(home); |
| 179 | (void) NaryPropagator<View,PC_SET_NONE>::dispose(home); |
| 180 | return sizeof(*this); |
| 181 | } |
| 182 | |
| 183 | template<class View> |
| 184 | PropCost |