thomasave
/
Lexesis
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix minimization problems if the DFA only has 1 state

This commit is contained in:
Robin Jadoul 2016-05-29 14:22:32 +02:00
parent 80fa3383fd
commit 9392afc74c
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/automata.cpp
View File

@ -246,7 +246,11 @@ namespace lxs {
if (a == d.numStates)
a = deadState;
if (reachables.count(a) == 0 || done.count(a) > 0) continue;
if (reachables.count(a) == 0 || done.count(a) > 0) {
if (a == deadState)
break;
continue;
}
newStates[a] = cur;
if (a == deadState)