Package tools.refinery.language.semantics

Class ModelInitializer

java.lang.Object

tools.refinery.language.semantics.ModelInitializer

public class ModelInitializer
extends Object

Constructor Summary

Constructors

Constructor	Description
ModelInitializer()

Method Summary

Modifier and Type	Method	Description
void	configureStoreBuilder(ModelStoreBuilder storeBuilder)
void	configureStoreBuilder(ModelStoreBuilder storeBuilder, boolean keepNonExistingObjects)
ModelSeed	createModel(Problem problem, ModelStoreBuilder storeBuilder)
ModelSeed	getModelSeed()
ProblemTrace	getProblemTrace()
void	readProblem(Problem problem)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ModelInitializer

public ModelInitializer()

Method Details

readProblem

public void readProblem(Problem problem)

configureStoreBuilder

public void configureStoreBuilder(ModelStoreBuilder storeBuilder)

configureStoreBuilder

public void configureStoreBuilder(ModelStoreBuilder storeBuilder,
 boolean keepNonExistingObjects)

createModel

public ModelSeed createModel(Problem problem,
 ModelStoreBuilder storeBuilder)

getProblemTrace

public ProblemTrace getProblemTrace()

getModelSeed

public ModelSeed getModelSeed()