Package tools.refinery.generator

Interface ModelSemantics

All Superinterfaces:

ModelFacade

All Known Implementing Classes:

ConcreteModelSemantics, ModelSemanticsImpl

public interface ModelSemantics
extends ModelFacade

Method Summary

Methods inherited from interface tools.refinery.generator.ModelFacade

checkConsistency, getConcreteness, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getPartialInterpretation, getProblemTrace, getRelationsMetadata, serialize