diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java index 7f0ef8b4..a9b3141a 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java | |||
@@ -1,11 +1,12 @@ | |||
1 | /* | 1 | /* |
2 | * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/> | 2 | * SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/> |
3 | * | 3 | * |
4 | * SPDX-License-Identifier: EPL-2.0 | 4 | * SPDX-License-Identifier: EPL-2.0 |
5 | */ | 5 | */ |
6 | package tools.refinery.store.reasoning; | 6 | package tools.refinery.store.reasoning; |
7 | 7 | ||
8 | import org.jetbrains.annotations.Nullable; | 8 | import org.jetbrains.annotations.Nullable; |
9 | import tools.refinery.logic.AbstractValue; | ||
9 | import tools.refinery.store.adapter.ModelAdapter; | 10 | import tools.refinery.store.adapter.ModelAdapter; |
10 | import tools.refinery.store.reasoning.internal.ReasoningBuilderImpl; | 11 | import tools.refinery.store.reasoning.internal.ReasoningBuilderImpl; |
11 | import tools.refinery.store.reasoning.interpretation.AnyPartialInterpretation; | 12 | import tools.refinery.store.reasoning.interpretation.AnyPartialInterpretation; |
@@ -27,17 +28,19 @@ public interface ReasoningAdapter extends ModelAdapter { | |||
27 | 28 | ||
28 | default AnyPartialInterpretation getPartialInterpretation(Concreteness concreteness, | 29 | default AnyPartialInterpretation getPartialInterpretation(Concreteness concreteness, |
29 | AnyPartialSymbol partialSymbol) { | 30 | AnyPartialSymbol partialSymbol) { |
30 | return getPartialInterpretation(concreteness, (PartialSymbol<?, ?>) partialSymbol); | 31 | var typedPartialSymbol = (PartialSymbol<?, ?>) partialSymbol; |
32 | return getPartialInterpretation(concreteness, typedPartialSymbol); | ||
31 | } | 33 | } |
32 | 34 | ||
33 | <A, C> PartialInterpretation<A, C> getPartialInterpretation(Concreteness concreteness, | 35 | <A extends AbstractValue<A, C>, C> PartialInterpretation<A, C> getPartialInterpretation( |
34 | PartialSymbol<A, C> partialSymbol); | 36 | Concreteness concreteness, PartialSymbol<A, C> partialSymbol); |
35 | 37 | ||
36 | default AnyPartialInterpretationRefiner getRefiner(AnyPartialSymbol partialSymbol) { | 38 | default AnyPartialInterpretationRefiner getRefiner(AnyPartialSymbol partialSymbol) { |
37 | return getRefiner((PartialSymbol<?, ?>) partialSymbol); | 39 | var typedPartialSymbol = (PartialSymbol<?, ?>) partialSymbol; |
40 | return getRefiner(typedPartialSymbol); | ||
38 | } | 41 | } |
39 | 42 | ||
40 | <A, C> PartialInterpretationRefiner<A, C> getRefiner(PartialSymbol<A, C> partialSymbol); | 43 | <A extends AbstractValue<A, C>, C> PartialInterpretationRefiner<A, C> getRefiner(PartialSymbol<A, C> partialSymbol); |
41 | 44 | ||
42 | @Nullable | 45 | @Nullable |
43 | Tuple1 split(int parentMultiObject); | 46 | Tuple1 split(int parentMultiObject); |