Example #1
0
 // 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);
 }