Package tools.refinery.generator
Class ModelSemantics
java.lang.Object
tools.refinery.generator.ModelFacade
tools.refinery.generator.ModelSemantics
-
Method Summary
Methods inherited from class tools.refinery.generator.ModelFacade
getConcreteness, getModel, getModelStore, getPartialInterpretation, getProblemTrace, getPropagationResult