Uses of Interface
org.qedeq.kernel.bo.logic.ExistenceChecker

Packages that use ExistenceChecker

org.qedeq.kernel.bo.control	Contains business object controllers.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.

Uses of ExistenceChecker in org.qedeq.kernel.bo.control

Classes in org.qedeq.kernel.bo.control that implement ExistenceChecker

class

QedeqBoFormalLogicChecker Checks if all formulas of a QEDEQ module are well formed.

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

Classes in org.qedeq.kernel.bo.logic that implement ExistenceChecker

class

EverythingExists This implementation gives always the answer true to the question exists this predicate?

Methods in org.qedeq.kernel.bo.logic that return ExistenceChecker

static ExistenceChecker

EverythingExists.getInstance() Get one instance of this class.

Methods in org.qedeq.kernel.bo.logic with parameters of type ExistenceChecker

static void	FormulaChecker.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a formula?
static void	FormulaChecker.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a term?