faster vector, better loops

VeriFIT · Dec 20, 2024 · b97255d · b97255d
1 parent d232b58
commit b97255d
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/nfa/operations.cc b/src/nfa/operations.cc
@@ -85,7 +85,7 @@ namespace {
             result_sim_tmp[i].resize(no_states, true);
         }
 
-        // TODO this is very memory inefficient
+        // This is very memory inefficient
         for (size_t x = 0; x < alph_syms.size(); x++){ // Indexing every Symbol with an number
             if (index_map.size() <= alph_syms[x]){
                 index_map.resize(alph_syms[x] + 1 ,0);
@@ -123,8 +123,7 @@ namespace {
                         }
                     }
                 }
-                usage_map.clear(); // Reset the usage map
-                usage_map.resize(alph_syms.size(), false);
+                std::fill(usage_map.begin(), usage_map.end(), false);
             }
         }
         // ! End of initial refinement