Package tools.refinery.generator

Interface ModelSemantics

All Superinterfaces:

AutoCloseable, ModelFacade

All Known Implementing Classes:

ConcreteModelSemantics, ModelSemanticsImpl

public interface ModelSemantics
extends ModelFacade

Method Summary

Methods inherited from interface tools.refinery.generator.ModelFacade

checkConsistency, close, getConcreteness, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getPartialInterpretation, getProblemTrace, getRelationsMetadata, serialize, throwIfInitializationFailed, trySerialize