3 files changed, 104 insertions, 0 deletions

diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationAdapterImpl.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationAdapterImpl.java
new file mode 100644
index 00000000..c482d8a2
--- /dev/null
+++ b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationAdapterImpl.java
@@ -0,0 +1,38 @@
+package tools.refinery.store.partial.internal;
+
+import tools.refinery.store.model.Model;
+import tools.refinery.store.partial.PartialInterpretationAdapter;
+import tools.refinery.store.partial.PartialSymbolInterpretation;
+import tools.refinery.store.partial.representation.PartialSymbol;
+import tools.refinery.store.query.Dnf;
+import tools.refinery.store.query.ResultSet;
+
+public class PartialInterpretationAdapterImpl implements PartialInterpretationAdapter {
+        private final Model model;
+        private final PartialInterpretationStoreAdapterImpl storeAdapter;
+
+        PartialInterpretationAdapterImpl(Model model, PartialInterpretationStoreAdapterImpl storeAdapter) {
+                this.model = model;
+                this.storeAdapter = storeAdapter;
+        }
+
+        @Override
+        public Model getModel() {
+                return model;
+        }
+
+        @Override
+        public PartialInterpretationStoreAdapterImpl getStoreAdapter() {
+                return storeAdapter;
+        }
+
+        @Override
+        public <A, C> PartialSymbolInterpretation<A, C> getPartialInterpretation(PartialSymbol<A, C> partialSymbol) {
+                return null;
+        }
+
+        @Override
+        public ResultSet getLiftedResultSet(Dnf query) {
+                return null;
+        }
+}
diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationBuilderImpl.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationBuilderImpl.java
new file mode 100644
index 00000000..5853aeaf
--- /dev/null
+++ b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationBuilderImpl.java
@@ -0,0 +1,29 @@
+package tools.refinery.store.partial.internal;
+
+import tools.refinery.store.adapter.AbstractModelAdapterBuilder;
+import tools.refinery.store.model.ModelStore;
+import tools.refinery.store.model.ModelStoreBuilder;
+import tools.refinery.store.partial.PartialInterpretationBuilder;
+import tools.refinery.store.partial.literal.Modality;
+import tools.refinery.store.query.Dnf;
+
+public class PartialInterpretationBuilderImpl extends AbstractModelAdapterBuilder implements PartialInterpretationBuilder {
+        public PartialInterpretationBuilderImpl(ModelStoreBuilder storeBuilder) {
+                super(storeBuilder);
+        }
+
+        @Override
+        public PartialInterpretationBuilder liftedQuery(Dnf liftedQuery) {
+                return null;
+        }
+
+        @Override
+        public Dnf lift(Modality modality, Dnf query) {
+                return null;
+        }
+
+        @Override
+        public PartialInterpretationStoreAdapterImpl createStoreAdapter(ModelStore store) {
+                return null;
+        }
+}
diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationStoreAdapterImpl.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationStoreAdapterImpl.java
new file mode 100644
index 00000000..0486af6e
--- /dev/null
+++ b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/internal/PartialInterpretationStoreAdapterImpl.java
@@ -0,0 +1,37 @@
+package tools.refinery.store.partial.internal;
+
+import tools.refinery.store.partial.PartialInterpretationStoreAdapter;
+import tools.refinery.store.model.Model;
+import tools.refinery.store.model.ModelStore;
+import tools.refinery.store.partial.representation.AnyPartialSymbol;
+import tools.refinery.store.query.Dnf;
+
+import java.util.Collection;
+
+public class PartialInterpretationStoreAdapterImpl implements PartialInterpretationStoreAdapter {
+        private final ModelStore store;
+
+        PartialInterpretationStoreAdapterImpl(ModelStore store) {
+                this.store = store;
+        }
+
+        @Override
+        public ModelStore getStore() {
+                return store;
+        }
+
+        @Override
+        public Collection<AnyPartialSymbol> getPartialSymbols() {
+                return null;
+        }
+
+        @Override
+        public Collection<Dnf> getLiftedQueries() {
+                return null;
+        }
+
+        @Override
+        public PartialInterpretationAdapterImpl createModelAdapter(Model model) {
+                return new PartialInterpretationAdapterImpl(model, this);
+        }
+}