fix: Reset synchronized iterator after each iteration

VeriFIT · Jul 10, 2024 · 9e4b886 · 9e4b886
1 parent 91f0427
commit 9e4b886
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/nfa/operations.cc b/src/nfa/operations.cc
@@ -249,7 +249,7 @@ namespace {
             }
 
             // add moves of S to the sync ex iterator
-            // TODO: shouldn't we also reset first?
+            synchronized_iterator.reset();
             for (State q: S) {
                 mata::utils::push_back(synchronized_iterator, aut.delta[q]);
             }
@@ -1064,7 +1064,7 @@ Nfa mata::nfa::determinize(
         }
 
         // add moves of S to the sync ex iterator
-        // TODO: shouldn't we also reset first?
+        synchronized_iterator.reset();
         for (State q: S) {
             mata::utils::push_back(synchronized_iterator, aut.delta[q]);
         }
@@ -1246,7 +1246,7 @@ std::optional<mata::Word> Nfa::get_word_from_complement(const Alphabet* alphabet
         const auto[macrostate, orig_states] = std::move(worklist.back());
         worklist.pop_back();
 
-        // TODO: shouldn't we also reset first?
+        synchronized_iterator.reset();
         for (const State orig_state: orig_states) { mata::utils::push_back(synchronized_iterator, delta[orig_state]); }
         bool sync_it_advanced{ synchronized_iterator.advance() };
         for (const Symbol symbol: get_symbols_to_work_with(*this, alphabet)) {