Method operator ++

gecode/kernel/core.hpp:4050–4055

  template<class A>
  forceinline void
  Advisors<A>::operator ++(void) {
    do {
      a = a->next();
    } while ((a != nullptr) && static_cast<A*>(a)->disposed());
  }

  template<class A>
  forceinline A&