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

Packages that use CheckException

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

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

Subclasses of CheckException 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 CheckException

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?