Package tools.refinery.generator.impl

Class ConcreteModelSemantics

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ConcreteModelFacade

tools.refinery.generator.impl.ConcreteModelSemantics

All Implemented Interfaces:

ModelFacade, ModelSemantics

public class ConcreteModelSemantics
extends ConcreteModelFacade
implements ModelSemantics

Constructor Summary

Constructors

Constructor	Description
ConcreteModelSemantics(ProblemTrace problemTrace, ModelStore store, ModelSeed modelSeed, com.google.inject.Provider<SolutionSerializer> solutionSerializerProvider, com.google.inject.Provider<MetadataCreator> metadataCreatorProvider, boolean keepNonExistingObjects)

Method Summary

Modifier and Type	Method	Description
protected ModelFacadeResult	afterPropagation(ModelFacadeResult createInitialModelResult)
protected MetadataCreator	getMetadataCreator()
protected SolutionSerializer	getSolutionSerializer()
Problem	serialize()

Methods inherited from class tools.refinery.generator.impl.ConcreteModelFacade

getConcreteness, getPartialInterpretation

Methods inherited from class tools.refinery.generator.impl.ModelFacadeImpl

checkConsistency, getInitializationResult, getModel, getModelStore, getNodesMetadata, getProblemTrace, getRelationsMetadata

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.generator.ModelFacade

checkConsistency, getConcreteness, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getPartialInterpretation, getProblemTrace, getRelationsMetadata

Constructor Details

ConcreteModelSemantics

public ConcreteModelSemantics(ProblemTrace problemTrace,
 ModelStore store,
 ModelSeed modelSeed,
 com.google.inject.Provider<SolutionSerializer> solutionSerializerProvider,
 com.google.inject.Provider<MetadataCreator> metadataCreatorProvider,
 boolean keepNonExistingObjects)

Method Details

afterPropagation

protected ModelFacadeResult afterPropagation(ModelFacadeResult createInitialModelResult)

Overrides:

afterPropagation in class ModelFacadeImpl

getMetadataCreator

protected MetadataCreator getMetadataCreator()

Overrides:

getMetadataCreator in class ModelFacadeImpl

serialize

public Problem serialize()

Specified by:

serialize in interface ModelFacade

Overrides:

serialize in class ConcreteModelFacade

getSolutionSerializer

protected SolutionSerializer getSolutionSerializer()

Overrides:

getSolutionSerializer in class ConcreteModelFacade