Package tools.refinery.generator

Class ModelFacade

java.lang.Object

tools.refinery.generator.ModelFacade

Direct Known Subclasses:

ModelGenerator, ModelSemantics

public abstract class ModelFacade
extends Object

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ModelFacade(ProblemTrace problemTrace, ModelStore store, ModelSeed modelSeed, Concreteness concreteness)

Method Summary

Modifier and Type	Method	Description
Concreteness	getConcreteness()
Model	getModel()
ModelStore	getModelStore()
<A extends AbstractValue<A, C>, C> PartialInterpretation<A,C>	getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
ProblemTrace	getProblemTrace()
PropagationResult	getPropagationResult()

Methods inherited from class java.lang.Object

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

Constructor Details

ModelFacade

protected ModelFacade(ProblemTrace problemTrace,
 ModelStore store,
 ModelSeed modelSeed,
 Concreteness concreteness)

Method Details

getProblemTrace

public ProblemTrace getProblemTrace()

getModelStore

public ModelStore getModelStore()

getModel

public Model getModel()

getPropagationResult

public PropagationResult getPropagationResult()

getConcreteness

public Concreteness getConcreteness()

getPartialInterpretation

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