Package tools.refinery.generator.impl

Class ModelFacadeImpl

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

All Implemented Interfaces:

ModelFacade

Direct Known Subclasses:

ConcreteModelFacade, ModelSemanticsImpl

public abstract class ModelFacadeImpl
extends Object
implements ModelFacade

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected ModelFacadeResult	afterPropagation(ModelFacadeResult createInitialModelResult)
ConsistencyCheckResult	checkConsistency()
ModelFacadeResult	getInitializationResult()
protected MetadataCreator	getMetadataCreator()
Model	getModel()
ModelStore	getModelStore()
NodesMetadata	getNodesMetadata()
<A extends AbstractValue<A, C>, C> PartialInterpretation<A,C>	getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
ProblemTrace	getProblemTrace()
List<RelationMetadata>	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

getConcreteness, getPartialInterpretation, serialize

Constructor Details

ModelFacadeImpl

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

Method Details

getProblemTrace

public ProblemTrace getProblemTrace()

Specified by:

getProblemTrace in interface ModelFacade

getModelStore

public ModelStore getModelStore()

Specified by:

getModelStore in interface ModelFacade

getModel

public Model getModel()

Specified by:

getModel in interface ModelFacade

afterPropagation

protected ModelFacadeResult afterPropagation(ModelFacadeResult createInitialModelResult)

getInitializationResult

public ModelFacadeResult getInitializationResult()

Specified by:

getInitializationResult in interface ModelFacade

getPartialInterpretation

public <A extends AbstractValue<A,
C>,
C>
PartialInterpretation<A,C> getPartialInterpretation(PartialSymbol<A,C> partialSymbol)

Specified by:

getPartialInterpretation in interface ModelFacade

getNodesMetadata

public NodesMetadata getNodesMetadata()

Specified by:

getNodesMetadata in interface ModelFacade

getRelationsMetadata

public List<RelationMetadata> getRelationsMetadata()

Specified by:

getRelationsMetadata in interface ModelFacade

getMetadataCreator

protected MetadataCreator getMetadataCreator()

checkConsistency

public ConsistencyCheckResult checkConsistency()

Specified by:

checkConsistency in interface ModelFacade