src/services/minimize.hpp
BeforeProposed
+1−1
44 int count = dfa.accept.size();
55 std::vector<std::vector<bool>> distinct(count, std::vector<bool>(count, false));
66 for (int a = 0; a < count; ++a) for (int b = 0; b < a; ++b) distinct[a][b] = dfa.accept[a] != dfa.accept[b];
7 bool changed = false;
7 bool changed = true;
88 while (changed) {
99 changed = false;
1010 for (int a = 0; a < count; ++a) {