Lines Matching full:stateid
49 typedef typename A::StateId StateId;
80 StateId s = StrToStateId(col[0]);
87 StateId d = s;
163 StateId StrToStateId(const char *s) {
164 StateId n = StrToId(s, ssyms_, "state ID");
170 typename unordered_map<StateId, StateId>::const_iterator it = states_.find(n);
179 StateId StrToILabel(const char *s) const {
183 StateId StrToOLabel(const char *s) const {
206 unordered_map<StateId, StateId> states_; // state ID map
207 StateId nstates_; // number of seen states
