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.load	Load QEDEQ module files from local system or from the internet.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.

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

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

class

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

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

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

ExistenceChecker

DefaultModuleProperties.getExistenceChecker()

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

void	DefaultModuleProperties.setChecked(ExistenceChecker checker)

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

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

class	DefaultExistenceChecker Checks if all predicate and function constants exist already.
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?

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

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

ExistenceChecker

ModuleProperties.getExistenceChecker() Get the predicate and function existence checker.

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

void	ModuleProperties.setChecked(ExistenceChecker checker) Set logic checked state.