Uses of Class
org.qedeq.kernel.bo.logic.model.HeuristicException

Packages that use HeuristicException

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

Uses of HeuristicException in org.qedeq.kernel.bo.logic.model

Methods in org.qedeq.kernel.bo.logic.model that throw HeuristicException

Entity	DynamicDirectInterpreter.calculateFunctionValue(FunctionConstant constant, Entity[] entities) Calculate function value.
boolean	DynamicDirectInterpreter.calculatePredicateValue(PredicateConstant constant, Entity[] entities) Calculate function value.
Entity	DynamicDirectInterpreter.calculateTerm(ModuleContext moduleContext, Element term) Calculate the term value of a given term.
boolean	DynamicDirectInterpreter.calculateValue(ModuleContext moduleContext, Element formula) Calculate the truth value of a given formula is a tautology.