Package tools.refinery.generator

Interface ModelFacade

All Superinterfaces:

AutoCloseable

All Known Subinterfaces:

ModelGenerator, ModelSemantics

All Known Implementing Classes:

ConcreteModelFacade, ConcreteModelSemantics, ModelFacadeImpl, ModelGeneratorImpl, ModelSemanticsImpl

public interface ModelFacade
extends AutoCloseable

Method Summary

Modifier and Type	Method	Description
ConsistencyCheckResult	checkConsistency()
void	close()
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()
void	throwIfInitializationFailed()
Optional<Problem>	trySerialize()

Method Details

getProblemTrace

ProblemTrace getProblemTrace()

getModelStore

ModelStore getModelStore()

getModel

Model getModel()

getInitializationResult

ModelFacadeResult getInitializationResult()

throwIfInitializationFailed

void throwIfInitializationFailed()

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()

trySerialize

Optional<Problem> trySerialize()

close

void close()

Specified by:

close in interface AutoCloseable