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 @@
+package tools.refinery.store.reasoning;
+
+import tools.refinery.store.adapter.ModelAdapter;
+import tools.refinery.store.reasoning.representation.AnyPartialSymbol;
+import tools.refinery.store.reasoning.representation.PartialSymbol;
+import tools.refinery.store.query.Dnf;
+import tools.refinery.store.query.ResultSet;
+
+public interface ReasoningAdapter extends ModelAdapter {
+        @Override
+        ReasoningStoreAdapter getStoreAdapter();
+
+        default AnyPartialInterpretation getPartialInterpretation(AnyPartialSymbol partialSymbol) {
+                // Cast to disambiguate overloads.
+                var typedPartialSymbol = (PartialSymbol<?, ?>) partialSymbol;
+                return getPartialInterpretation(typedPartialSymbol);
+        }
+
+        <A, C> PartialInterpretation<A, C> getPartialInterpretation(PartialSymbol<A, C> partialSymbol);
+
+        ResultSet getLiftedResultSet(Dnf query);
+}