// 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);
}