// Dispose propagator and return its size virtual size_t dispose(Space& home) { x.cancel(home,*this,PC_INT_BND); y.cancel(home,*this,PC_INT_BND); (void) Propagator::dispose(home); return sizeof(*this); }
// dispose of the propagator and return its memory virtual size_t dispose(Space& home) { if(DEBUG) { std::cerr << "d"; } x.cancel(home, *this, PC_INT_VAL); (void) Propagator::dispose(home); return sizeof(*this); }