Class ModelInitializer
java.lang.Object
tools.refinery.language.semantics.ModelInitializer
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
configureStoreBuilder
(ModelStoreBuilder storeBuilder) void
configureStoreBuilder
(ModelStoreBuilder storeBuilder, boolean keepNonExistingObjects) createModel
(Problem problem, ModelStoreBuilder storeBuilder) void
readProblem
(Problem problem)
-
Constructor Details
-
ModelInitializer
public ModelInitializer()
-
-
Method Details
-
readProblem
-
configureStoreBuilder
-
configureStoreBuilder
-
createModel
-
getProblemTrace
-
getModelSeed
-