Package tools.refinery.generator

Class ModelSemantics

java.lang.Object

tools.refinery.generator.ModelFacade

tools.refinery.generator.ModelSemantics

public class ModelSemantics
extends ModelFacade

Method Summary

Methods inherited from class tools.refinery.generator.ModelFacade

getConcreteness, getModel, getModelStore, getPartialInterpretation, getProblemTrace, getPropagationResult

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait