Lines Matching defs:states
146 slist<StateId> visited_states_; // List of visited states
255 vector<StateId> states;
256 states.reserve(fst->NumStates());
260 states.push_back(i);
272 states.resize(order.size());
274 states[order[i]] = i;
289 states.push_back(j);
295 while (!states.empty()) {
296 StateId state = states.back();
297 states.pop_back();
343 // where V = # of states visited, E = # of arcs.
513 // where v = # of states visited, e = # of arcs visited. Constant time