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 | 22 |
1 files changed, 22 insertions, 0 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 new file mode 100644 index 00000000..e602242e --- /dev/null +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java | |||
@@ -0,0 +1,22 @@ | |||
1 | package tools.refinery.store.reasoning; | ||
2 | |||
3 | import tools.refinery.store.adapter.ModelAdapter; | ||
4 | import tools.refinery.store.reasoning.representation.AnyPartialSymbol; | ||
5 | import tools.refinery.store.reasoning.representation.PartialSymbol; | ||
6 | import tools.refinery.store.query.Dnf; | ||
7 | import tools.refinery.store.query.ResultSet; | ||
8 | |||
9 | public interface ReasoningAdapter extends ModelAdapter { | ||
10 | @Override | ||
11 | ReasoningStoreAdapter getStoreAdapter(); | ||
12 | |||
13 | default AnyPartialInterpretation getPartialInterpretation(AnyPartialSymbol partialSymbol) { | ||
14 | // Cast to disambiguate overloads. | ||
15 | var typedPartialSymbol = (PartialSymbol<?, ?>) partialSymbol; | ||
16 | return getPartialInterpretation(typedPartialSymbol); | ||
17 | } | ||
18 | |||
19 | <A, C> PartialInterpretation<A, C> getPartialInterpretation(PartialSymbol<A, C> partialSymbol); | ||
20 | |||
21 | ResultSet getLiftedResultSet(Dnf query); | ||
22 | } | ||