aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java')
-rw-r--r--subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java10
1 files changed, 9 insertions, 1 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
index 82746aee..aaef3326 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
@@ -64,7 +64,7 @@ public class ModelInitializer {
64 64
65 private final Map<PartialRelation, RelationInfo> partialRelationInfoMap = new HashMap<>(); 65 private final Map<PartialRelation, RelationInfo> partialRelationInfoMap = new HashMap<>();
66 66
67 private Map<AnyPartialSymbol, Relation> inverseTrace = new HashMap<>(); 67 private final Map<AnyPartialSymbol, Relation> inverseTrace = new HashMap<>();
68 68
69 private Map<Relation, PartialRelation> relationTrace; 69 private Map<Relation, PartialRelation> relationTrace;
70 70
@@ -74,6 +74,10 @@ public class ModelInitializer {
74 74
75 private ModelSeed modelSeed; 75 private ModelSeed modelSeed;
76 76
77 public Problem getProblem() {
78 return problem;
79 }
80
77 public int getNodeCount() { 81 public int getNodeCount() {
78 return nodeTrace.size(); 82 return nodeTrace.size();
79 } 83 }
@@ -90,6 +94,10 @@ public class ModelInitializer {
90 return inverseTrace.get(partialRelation); 94 return inverseTrace.get(partialRelation);
91 } 95 }
92 96
97 public Metamodel getMetamodel() {
98 return metamodel;
99 }
100
93 public ModelSeed createModel(Problem problem, ModelStoreBuilder storeBuilder) { 101 public ModelSeed createModel(Problem problem, ModelStoreBuilder storeBuilder) {
94 this.problem = problem; 102 this.problem = problem;
95 this.storeBuilder = storeBuilder; 103 this.storeBuilder = storeBuilder;