Lines Matching full:visited
131 vector<bool> visited(ns, false);
150 visited[s] = true;
169 if (visited[arc.nextstate]) continue;
181 for (size_t i = 0; i < visited.size(); ++i)
182 if (!visited[i]) dead.push_back(i);
254 vector<bool> visited;
268 visited.push_back(false);
276 visited[s] = true;
305 visited.push_back(false);
307 if (visited[arc.nextstate]) continue;
