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

Packages that use ExistenceChecker

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.wf	Checking for being well-formed formulas.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.logic	Contains logical services.

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

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

LogicalCheckExceptionList	FormulaChecker.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Checks if an Element is a formula.
LogicalCheckExceptionList	FormulaChecker.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Check if Element is a term.

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

Classes in org.qedeq.kernel.bo.logic.wf 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.wf that return ExistenceChecker

static ExistenceChecker

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

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

LogicalCheckExceptionList	FormulaCheckerImpl.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker)
LogicalCheckExceptionList	FormulaCheckerImpl.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Check if Element is a term.

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

Subinterfaces of ExistenceChecker in org.qedeq.kernel.bo.module

interface

ModuleConstantsExistenceChecker Contains methods for existence checking of various operands.

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

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

class	DefaultExistenceChecker Checks if all predicate and function constants exist already.
class	ModuleConstantsExistenceCheckerImpl Checks if a predicate or function constant is defined.