aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-partial/src/main/java/tools/refinery/store/partial/PartialInterpretationAdapter.java
diff options
context:
space:
mode:
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.java20
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 @@
1package tools.refinery.store.partial;
2
3import tools.refinery.store.adapter.ModelAdapter;
4import tools.refinery.store.partial.representation.AnyPartialSymbol;
5import tools.refinery.store.partial.representation.PartialSymbol;
6import tools.refinery.store.query.Dnf;
7import tools.refinery.store.query.ResultSet;
8
9public 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}