aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java')
-rw-r--r--subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java12
1 files changed, 6 insertions, 6 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java
index 4ccb7033..0f108247 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java
@@ -5,11 +5,11 @@
5 */ 5 */
6package tools.refinery.store.reasoning.representation; 6package tools.refinery.store.reasoning.representation;
7 7
8import tools.refinery.store.query.Constraint; 8import tools.refinery.logic.AbstractDomain;
9import tools.refinery.store.query.term.Parameter; 9import tools.refinery.logic.Constraint;
10import tools.refinery.store.representation.AbstractDomain; 10import tools.refinery.logic.term.Parameter;
11import tools.refinery.store.representation.TruthValue; 11import tools.refinery.logic.term.truthvalue.TruthValue;
12import tools.refinery.store.representation.TruthValueDomain; 12import tools.refinery.logic.term.truthvalue.TruthValueDomain;
13 13
14import java.util.Arrays; 14import java.util.Arrays;
15import java.util.List; 15import java.util.List;
@@ -44,7 +44,7 @@ public record PartialRelation(String name, int arity) implements PartialSymbol<T
44 44
45 @Override 45 @Override
46 public int hashCode() { 46 public int hashCode() {
47 // Compare by identity to make hash table lookups more efficient. 47 // Compare by identity to make hash table look-ups more efficient.
48 return System.identityHashCode(this); 48 return System.identityHashCode(this);
49 } 49 }
50 50