aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java')
-rw-r--r--subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java3
1 files changed, 2 insertions, 1 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java
index fae60d9e..6f9354eb 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java
@@ -8,6 +8,7 @@ package tools.refinery.store.reasoning;
8import tools.refinery.store.adapter.ModelStoreAdapter; 8import tools.refinery.store.adapter.ModelStoreAdapter;
9import tools.refinery.store.model.Model; 9import tools.refinery.store.model.Model;
10import tools.refinery.store.reasoning.representation.AnyPartialSymbol; 10import tools.refinery.store.reasoning.representation.AnyPartialSymbol;
11import tools.refinery.store.reasoning.seed.ModelSeed;
11 12
12import java.util.Collection; 13import java.util.Collection;
13 14
@@ -16,7 +17,7 @@ public interface ReasoningStoreAdapter extends ModelStoreAdapter {
16 17
17 Collection<AnyPartialSymbol> getRefinablePartialSymbols(); 18 Collection<AnyPartialSymbol> getRefinablePartialSymbols();
18 19
19 Model createInitialModel(); 20 Model createInitialModel(ModelSeed modelSeed);
20 21
21 @Override 22 @Override
22 ReasoningAdapter createModelAdapter(Model model); 23 ReasoningAdapter createModelAdapter(Model model);