Don't apply RemoveRelationCopies transformer to EQRELs

souffle-lang · Mar 30, 2022 · 2a7b6d0 · 2a7b6d0
1 parent 6bd98e7
commit 2a7b6d0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/ast/transform/RemoveRelationCopies.cpp b/src/ast/transform/RemoveRelationCopies.cpp
@@ -51,6 +51,11 @@ bool RemoveRelationCopiesTransformer::removeRelationCopies(TranslationUnit& tran
         if (!rel->getFunctionalDependencies().empty()) {
             continue;
         }
+        // skip equivalence relations (which automatically create reflexive,
+        // symmetric, and transitive tuples)
+        if (rel->getRepresentation() == RelationRepresentation::EQREL) {
+            continue;
+        }
         const auto& clauses = program.getClauses(*rel);
         if (!ioType.isIO(rel) && clauses.size() == 1u) {
             // .. of shape r(x,y,..) :- s(x,y,..)