diff options
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.java | 10 |
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; |