Method dispose

gecode/int/nvalues/bool-base.hpp:90–96

  template<class VY>
  forceinline size_t
  BoolBase<VY>::dispose(Space& home) {
    c.dispose(home);
    y.cancel(home,*this,PC_INT_BND);
    (void) Propagator::dispose(home);
    return sizeof(*this);
  }

}}}