Searched defs:StateIteratorData (Results 1 – 1 of 1) sorted by relevance
51 template <class A> class StateIteratorData; variable325 template <class A> struct StateIteratorData { struct326 StateIteratorBase<A> *base; // Specialized iterator if non-zero327 typename A::StateId nstates; // O.w. total # of states