1 files changed, 38 insertions, 0 deletions

diff --git a/subprojects/generator/src/main/java/tools/refinery/generator/AbstractRefinery.java b/subprojects/generator/src/main/java/tools/refinery/generator/AbstractRefinery.java
new file mode 100644
index 00000000..81bf712a
--- /dev/null
+++ b/subprojects/generator/src/main/java/tools/refinery/generator/AbstractRefinery.java
@@ -0,0 +1,38 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+package tools.refinery.generator;
+
+import tools.refinery.store.model.Model;
+import tools.refinery.store.model.ModelStore;
+import tools.refinery.store.reasoning.ReasoningAdapter;
+import tools.refinery.store.reasoning.ReasoningStoreAdapter;
+import tools.refinery.store.reasoning.seed.ModelSeed;
+
+public class AbstractRefinery {
+        protected final ProblemTrace problemTrace;
+        protected final ModelStore store;
+        protected final Model model;
+        protected final ReasoningAdapter reasoningAdapter;
+
+        public AbstractRefinery(ProblemTrace problemTrace, ModelStore store, ModelSeed modelSeed) {
+                this.problemTrace = problemTrace;
+                this.store = store;
+                model = store.getAdapter(ReasoningStoreAdapter.class).createInitialModel(modelSeed);
+                reasoningAdapter = model.getAdapter(ReasoningAdapter.class);
+        }
+
+        public ProblemTrace getProblemTrace() {
+                return problemTrace;
+        }
+
+        public ModelStore getModelStore() {
+                return store;
+        }
+
+        public Model getModel() {
+                return model;
+        }
+}