fix: containment link translation

Improper equality implementation of representative election literals merged weak
and strong connected components during query canonicalization.

1 files changed, 16 insertions, 0 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java
index 5d57c06c..f6545f9f 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java
@@ -6,6 +6,8 @@
 package tools.refinery.store.query.literal;
 
 import tools.refinery.store.query.Constraint;
+import tools.refinery.store.query.equality.LiteralEqualityHelper;
+import tools.refinery.store.query.equality.LiteralHashCodeHelper;
 import tools.refinery.store.query.substitution.Substitution;
 import tools.refinery.store.query.term.NodeVariable;
 import tools.refinery.store.query.term.ParameterDirection;
@@ -82,6 +84,20 @@ public class RepresentativeElectionLiteral extends AbstractCallLiteral {
         }
 
         @Override
+        public boolean equalsWithSubstitution(LiteralEqualityHelper helper, Literal other) {
+                if (!super.equalsWithSubstitution(helper, other)) {
+                        return false;
+                }
+                var otherRepresentativeElectionLiteral = (RepresentativeElectionLiteral) other;
+                return connectivity.equals(otherRepresentativeElectionLiteral.connectivity);
+        }
+
+        @Override
+        public int hashCodeWithSubstitution(LiteralHashCodeHelper helper) {
+                return super.hashCodeWithSubstitution(helper) * 31 + connectivity.hashCode();
+        }
+
+        @Override
         public String toString() {
                 var builder = new StringBuilder();
                 builder.append("@Representative(\"");