Method dispose

gecode/search/nogoods.cpp:195–218

  }

  size_t
  NoGoodsProp::dispose(Space& home) {
    if (home.failed()) {
      // This will be executed when one ngl returned true for notice()
      NGL* l = root;
      while (l != nullptr) {
        NGL* t = l->next();
        (void) l->dispose(home);
        l = t;
      }
    } else if (root != nullptr) {
      // This will be executed for subsumption
      NGL* l = disposenext(root,home,*this,true);
      while ((l != nullptr) && l->leaf())
        l = disposenext(l,home,*this,true);
      if (l != nullptr)
        l = disposenext(l,home,*this,true);
      while (l != nullptr)
        l = disposenext(l,home,*this,false);
    }
    home.ignore(*this,AP_DISPOSE,true);
    (void) Propagator::dispose(home);
    return sizeof(*this);
  }

}}