Interface ModelSemantics

All Superinterfaces:

AutoCloseable, ModelFacade

All Known Implementing Classes:

ConcreteModelSemantics, ModelSemanticsImpl

public interface ModelSemantics
extends ModelFacade

Method Summary

Methods inherited from interface ModelFacade

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