Lines Matching full:visited
899 std::map<std::set<unsigned>, const State*> Visited;
909 // Visited = {}
916 // If S' is not in Visited:
918 // Add S' to Visited
959 auto VI = Visited.find(NewStateResources);
960 if (VI != Visited.end()) {
971 Visited[NewStateResources] = NewState;
