Lines Matching defs:states
128 slist<StateId> visited_states_; // List of visited states
211 vector<StateId> states;
215 states.push_back(i);
223 states.resize(order.size());
225 states[order[i]] = i;
240 states.push_back(j);
246 while (!states.empty()) {
247 StateId state = states.back();
248 states.pop_back();
281 // where V = # of states visited, E = # of arcs.
418 // where v = # of states visited, e = # of arcs visited. Constant time