Package tools.refinery.generator

Interface ModelFacade

All Known Subinterfaces:

ModelGenerator, ModelSemantics

All Known Implementing Classes:

ConcreteModelFacade, ConcreteModelSemantics, ModelFacadeImpl, ModelGeneratorImpl, ModelSemanticsImpl

public interface ModelFacade

Method Summary

Modifier and Type	Method	Description
ConsistencyCheckResult	checkConsistency()
Concreteness	getConcreteness()
ModelFacadeResult	getInitializationResult()
Model	getModel()
ModelStore	getModelStore()
NodesMetadata	getNodesMetadata()
default AnyPartialInterpretation	getPartialInterpretation(AnyPartialSymbol partialSymbol)
<A extends AbstractValue<A, C>, C> PartialInterpretation<A,C>	getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
ProblemTrace	getProblemTrace()
List<RelationMetadata>	getRelationsMetadata()
Problem	serialize()

Method Details

getProblemTrace

ProblemTrace getProblemTrace()

getModelStore

ModelStore getModelStore()

getModel

Model getModel()

getInitializationResult

ModelFacadeResult getInitializationResult()

getConcreteness

Concreteness getConcreteness()

getPartialInterpretation

default AnyPartialInterpretation getPartialInterpretation(AnyPartialSymbol partialSymbol)

getPartialInterpretation

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

getNodesMetadata

NodesMetadata getNodesMetadata()

getRelationsMetadata

List<RelationMetadata> getRelationsMetadata()

checkConsistency

ConsistencyCheckResult checkConsistency()

serialize

Problem serialize()