Fixed and/or operation

2017-06-12 16:21:08 +02:00
parent ce5786efbd
commit 55c64c0e0e
1 changed files with 2 additions and 1 deletions
@@ -175,9 +175,10 @@ public class DFA<T extends Comparable> extends Automata<T> {
        {
            Transition<String> t = it.next();

-            if(!usedStates.contains(t.vanState))
+            if(!usedStates.contains(t.vanState) && !merged.beginStates.contains(t.vanState))
            {
                it.remove();
+                merged.eindStates.remove(t.vanState);
            }
        }