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

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) Is Element a formula?
static void	FormulaChecker.checkSubjectVariable(Element element) Is Element an subject variable?