Package tools.refinery.generator.impl

Class ModelSemanticsImpl

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ModelSemanticsImpl

All Implemented Interfaces:

ModelFacade, ModelSemantics

public class ModelSemanticsImpl
extends ModelFacadeImpl
implements ModelSemantics

Constructor Summary

Constructors

Constructor	Description
ModelSemanticsImpl(ProblemTrace problemTrace, ModelStore store, ModelSeed modelSeed, com.google.inject.Provider<MetadataCreator> metadataCreatorProvider)

Method Summary

Modifier and Type	Method	Description
Concreteness	getConcreteness()
protected MetadataCreator	getMetadataCreator()
Problem	serialize()

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

afterPropagation, checkConsistency, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, 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, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getPartialInterpretation, getProblemTrace, getRelationsMetadata

Constructor Details

ModelSemanticsImpl

public ModelSemanticsImpl(ProblemTrace problemTrace,
 ModelStore store,
 ModelSeed modelSeed,
 com.google.inject.Provider<MetadataCreator> metadataCreatorProvider)

Method Details

getConcreteness

public Concreteness getConcreteness()

Specified by:

getConcreteness in interface ModelFacade

getMetadataCreator

protected MetadataCreator getMetadataCreator()

Overrides:

getMetadataCreator in class ModelFacadeImpl

serialize

public Problem serialize()

Specified by:

serialize in interface ModelFacade