Lines Matching full:stateid
66 typedef typename Arc::StateId StateId;
795 StateId pstart = paths.Start();
799 StateId s = piter.Value().nextstate;
898 typedef Arc::StateId StateId;
1156 typedef typename Arc::StateId StateId;
1215 StateId ns = rand() % kNumRandomStates;
1219 for (StateId s = 0; s < ns; ++s)
1222 StateId start = rand() % ns;
1227 StateId s = rand() % ns;
1240 StateId nf = rand() % (ns + 1);
1241 for (StateId n = 0; n < nf; ++n) {
1242 StateId s = rand() % ns;
