Function bab

gecode/search/bab.hpp:76–84

  template<class T>
  inline T*
  bab(T* s, const Search::Options& o) {
    BAB<T> b(s,o);
    T* l = nullptr;
    while (T* n = b.next()) {
      delete l; l = n;
    }
    return l;
  }

  template<class T>
  SEB