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)
ModelSeed	createModel(Problem problem, ModelStoreBuilder storeBuilder)
ModelSeed	getModelSeed()
ProblemTrace	getProblemTrace()
boolean	isKeepShadowPredicates()
void	readProblem(Problem problem)
void	setKeepNonExistingObjects(boolean keepNonExistingObjects)
void	setKeepShadowPredicates(boolean keepShadowPredicates)

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)

createModel

public ModelSeed createModel(Problem problem,
 ModelStoreBuilder storeBuilder)

getProblemTrace

public ProblemTrace getProblemTrace()

getModelSeed

public ModelSeed getModelSeed()

setKeepNonExistingObjects

public void setKeepNonExistingObjects(boolean keepNonExistingObjects)

isKeepShadowPredicates

public boolean isKeepShadowPredicates()

setKeepShadowPredicates

public void setKeepShadowPredicates(boolean keepShadowPredicates)