diff options
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.java | 12 |
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 | */ |
6 | package tools.refinery.store.reasoning.representation; | 6 | package tools.refinery.store.reasoning.representation; |
7 | 7 | ||
8 | import tools.refinery.store.query.Constraint; | 8 | import tools.refinery.logic.AbstractDomain; |
9 | import tools.refinery.store.query.term.Parameter; | 9 | import tools.refinery.logic.Constraint; |
10 | import tools.refinery.store.representation.AbstractDomain; | 10 | import tools.refinery.logic.term.Parameter; |
11 | import tools.refinery.store.representation.TruthValue; | 11 | import tools.refinery.logic.term.truthvalue.TruthValue; |
12 | import tools.refinery.store.representation.TruthValueDomain; | 12 | import tools.refinery.logic.term.truthvalue.TruthValueDomain; |
13 | 13 | ||
14 | import java.util.Arrays; | 14 | import java.util.Arrays; |
15 | import java.util.List; | 15 | import 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 | ||