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

Packages that use FunctionExistenceChecker

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 FunctionExistenceChecker in org.qedeq.kernel.bo.logic.common

Subinterfaces of FunctionExistenceChecker in org.qedeq.kernel.bo.logic.common

interface

ExistenceChecker Check if operators are already defined and well formed.

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

Classes in org.qedeq.kernel.bo.logic.wf that implement FunctionExistenceChecker

class

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

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

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

interface

ModuleConstantsExistenceChecker Contains methods for existence checking of various operands.

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

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

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