| 398 | |
| 399 | template<class View> |
| 400 | inline size_t |
| 401 | CHB::Recorder<View>::dispose(Space& home) { |
| 402 | // Delete access to chb information |
| 403 | home.ignore(*this,AP_DISPOSE); |
| 404 | chb.~CHB(); |
| 405 | // Cancel remaining advisors |
| 406 | for (Advisors<Idx> as(c); as(); ++as) |
| 407 | x[as.advisor().idx()].cancel(home,as.advisor(),true); |
| 408 | c.dispose(home); |
| 409 | (void) NaryPropagator<View,PC_GEN_NONE>::dispose(home); |
| 410 | return sizeof(*this); |
| 411 | } |
| 412 | |
| 413 | template<class View> |
| 414 | PropCost |