src/services/closure.hpp
BeforeProposed
+1−1
66 while (!pending.empty()) {
77 int state = pending.front(); pending.pop();
88 for (const auto& edge : nfa.edges) {
9 if (edge.from == state && edge.symbol.empty() && states.insert(edge.to).second) ;
9 if (edge.from == state && edge.symbol.empty() && states.insert(edge.to).second) pending.push(edge.to);
1010 }
1111 }
1212 return states;