| 313 | |
| 314 | template<class View> |
| 315 | inline size_t |
| 316 | ViewTraceRecorder<View>::dispose(Space& home) { |
| 317 | home.ignore(*this, AP_VIEW_TRACE); |
| 318 | home.ignore(*this, AP_DISPOSE); |
| 319 | tf.~TraceFilter(); |
| 320 | // Cancel remaining advisors |
| 321 | for (Advisors<Idx> as(c); as(); ++as) |
| 322 | n[as.advisor().idx()].cancel(home,as.advisor()); |
| 323 | c.dispose(home); |
| 324 | (void) Propagator::dispose(home); |
| 325 | return sizeof(*this); |
| 326 | } |
| 327 | |
| 328 | template<class View> |
| 329 | PropCost |