Merge pull request #2268 from langston-barrett/lb/eqrel-insertall

eqrel: Simplify insertAll
souffle-lang · May 1, 2022 · 7be1e61 · 7be1e61
2 parents db45ef0 + 0ebb75f
commit 7be1e61
Showing 1 changed file with 4 additions and 8 deletions.
diff --git a/src/include/souffle/datastructure/EquivalenceRelation.h b/src/include/souffle/datastructure/EquivalenceRelation.h
@@ -114,14 +114,10 @@ class EquivalenceRelation {
         other.genAllDisjointSetLists();
 
         // iterate over partitions at a time
-        for (typename StatesMap::chunk it : other.equivalencePartition.getChunks(MAX_THREADS)) {
-            for (auto& p : it) {
-                value_type rep = p.first;
-                StatesList& pl = *p.second;
-                const std::size_t ksize = pl.size();
-                for (std::size_t i = 0; i < ksize; ++i) {
-                    this->sds.unionNodes(rep, pl.get(i));
-                }
+        for (auto&& [rep, pl] : other.equivalencePartition) {
+            const std::size_t ksize = pl->size();
+            for (std::size_t i = 0; i < ksize; ++i) {
+                this->sds.unionNodes(rep, pl->get(i));
             }
         }
         // invalidate iterators unconditionally