Function disposenext

gecode/search/nogoods.cpp:39–46

Help function to cancel and dispose a no-good literal

  /// Help function to cancel and dispose a no-good literal
  forceinline NGL*
  disposenext(NGL* ngl, Space& home, Propagator& p, bool c) {
    NGL* n = ngl->next();
    if (c)
      ngl->cancel(home,p);
    home.rfree(ngl,ngl->dispose(home));
    return n;
  }

  void
  NoNGL::subscribe(Space&, Propagator&) {