diff options
Diffstat (limited to 'subprojects/store-partial/src/main/java/tools/refinery/store/partial/PartialInterpretationAdapter.java')
-rw-r--r-- | subprojects/store-partial/src/main/java/tools/refinery/store/partial/PartialInterpretationAdapter.java | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/PartialInterpretationAdapter.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/PartialInterpretationAdapter.java deleted file mode 100644 index b811ae7a..00000000 --- a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/PartialInterpretationAdapter.java +++ /dev/null | |||
@@ -1,20 +0,0 @@ | |||
1 | package tools.refinery.store.partial; | ||
2 | |||
3 | import tools.refinery.store.adapter.ModelAdapter; | ||
4 | import tools.refinery.store.partial.representation.AnyPartialSymbol; | ||
5 | import tools.refinery.store.partial.representation.PartialSymbol; | ||
6 | import tools.refinery.store.query.Dnf; | ||
7 | import tools.refinery.store.query.ResultSet; | ||
8 | |||
9 | public interface PartialInterpretationAdapter extends ModelAdapter { | ||
10 | @Override | ||
11 | PartialInterpretationStoreAdapter getStoreAdapter(); | ||
12 | |||
13 | default AnyPartialSymbolInterpretation getPartialInterpretation(AnyPartialSymbol partialSymbol) { | ||
14 | return getPartialInterpretation((PartialSymbol<?, ?>) partialSymbol); | ||
15 | } | ||
16 | |||
17 | <A, C> PartialSymbolInterpretation<A, C> getPartialInterpretation(PartialSymbol<A, C> partialSymbol); | ||
18 | |||
19 | ResultSet getLiftedResultSet(Dnf query); | ||
20 | } | ||