Uses of Class
org.qedeq.kernel.bo.logic.LogicalCheckException

Packages that use LogicalCheckException

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

Uses of LogicalCheckException in org.qedeq.kernel.bo.logic

Subclasses of LogicalCheckException in org.qedeq.kernel.bo.logic

class	ElementCheckException This is an exception for logical errors within a QEDEQ module.
class	FormulaCheckException This is an exception for logical errors within a QEDEQ module.
class	TermCheckException This is an exception for logical errors within a QEDEQ module.

Methods in org.qedeq.kernel.bo.logic that throw LogicalCheckException

static void	LogicalEquivalence.checkEquivalence(Element formula1, Element formula2) Assures that two words are logically equivalent.
static void	FormulaChecker.checkFormula(Element element, ModuleContext context) Is Element a formula?
static void	FormulaChecker.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a formula?
static void	FormulaChecker.checkTerm(Element element, ModuleContext context) Is Element a term?
static void	FormulaChecker.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a term?