diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/interpretation/PartialInterpretation.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/interpretation/PartialInterpretation.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/interpretation/PartialInterpretation.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/interpretation/PartialInterpretation.java index 86ffe751..5a304030 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/interpretation/PartialInterpretation.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/interpretation/PartialInterpretation.java | |||
@@ -1,10 +1,11 @@ | |||
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.interpretation; | 6 | package tools.refinery.store.reasoning.interpretation; |
7 | 7 | ||
8 | import tools.refinery.logic.AbstractValue; | ||
8 | import tools.refinery.store.map.Cursor; | 9 | import tools.refinery.store.map.Cursor; |
9 | import tools.refinery.store.model.ModelStoreBuilder; | 10 | import tools.refinery.store.model.ModelStoreBuilder; |
10 | import tools.refinery.store.reasoning.ReasoningAdapter; | 11 | import tools.refinery.store.reasoning.ReasoningAdapter; |
@@ -14,7 +15,7 @@ import tools.refinery.store.tuple.Tuple; | |||
14 | 15 | ||
15 | import java.util.Set; | 16 | import java.util.Set; |
16 | 17 | ||
17 | public non-sealed interface PartialInterpretation<A, C> extends AnyPartialInterpretation { | 18 | public non-sealed interface PartialInterpretation<A extends AbstractValue<A, C>, C> extends AnyPartialInterpretation { |
18 | @Override | 19 | @Override |
19 | PartialSymbol<A, C> getPartialSymbol(); | 20 | PartialSymbol<A, C> getPartialSymbol(); |
20 | 21 | ||
@@ -23,7 +24,7 @@ public non-sealed interface PartialInterpretation<A, C> extends AnyPartialInterp | |||
23 | Cursor<Tuple, A> getAll(); | 24 | Cursor<Tuple, A> getAll(); |
24 | 25 | ||
25 | @FunctionalInterface | 26 | @FunctionalInterface |
26 | interface Factory<A, C> { | 27 | interface Factory<A extends AbstractValue<A, C>, C> { |
27 | PartialInterpretation<A, C> create(ReasoningAdapter adapter, Concreteness concreteness, | 28 | PartialInterpretation<A, C> create(ReasoningAdapter adapter, Concreteness concreteness, |
28 | PartialSymbol<A, C> partialSymbol); | 29 | PartialSymbol<A, C> partialSymbol); |
29 | 30 | ||