Package tools.refinery.generator.impl

Class ConcreteModelFacade

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ConcreteModelFacade

All Implemented Interfaces:

ModelFacade

Direct Known Subclasses:

ConcreteModelSemantics, ModelGeneratorImpl

public class ConcreteModelFacade
extends ModelFacadeImpl

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ConcreteModelFacade(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
Concreteness	getConcreteness()
<A extends AbstractValue<A, C>, C> PartialInterpretation<A,C>	getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
protected SolutionSerializer	getSolutionSerializer()
Problem	serialize()

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

afterPropagation, checkConsistency, getInitializationResult, getMetadataCreator, 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

getPartialInterpretation

Constructor Details

ConcreteModelFacade

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

Method Details

getConcreteness

public Concreteness getConcreteness()

getPartialInterpretation

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

Specified by:

getPartialInterpretation in interface ModelFacade

Overrides:

getPartialInterpretation in class ModelFacadeImpl

serialize

public Problem serialize()

getSolutionSerializer

protected SolutionSerializer getSolutionSerializer()