Method empty

gecode/minimodel/reg.cpp:711–714

    }

    forceinline bool
    StatePool::empty(void) const {
      return next == nullptr;
    }

    forceinline int
    StatePool::state(StatePoolAllocator& spm, PosSet* ps) {