| 157 | |
| 158 | template<class View> |
| 159 | inline size_t |
| 160 | Single<View>::dispose(Space& home) { |
| 161 | // Cancel remaining advisors |
| 162 | for (Advisors<Index> as(c); as(); ++as) |
| 163 | x[as.advisor().i].cancel(home,as.advisor()); |
| 164 | c.dispose(home); |
| 165 | (void) NaryPropagator<View,PC_INT_NONE>::dispose(home); |
| 166 | return sizeof(*this); |
| 167 | } |
| 168 | |
| 169 | template<class View> |
| 170 | PropCost |