Uses of Class
org.qedeq.kernel.bo.logic.common.FunctionKey

Packages that use FunctionKey

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

Methods in org.qedeq.kernel.bo.logic.common that return FunctionKey

FunctionKey

FunctionConstant.getKey() Get function key.

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

boolean	FunctionExistenceChecker.functionExists(FunctionKey function) Check if a function is already defined.
boolean	FunctionExistenceChecker.isInitialFunction(FunctionKey function) Check if given function key has an initial function definition.

Constructors in org.qedeq.kernel.bo.logic.common with parameters of type FunctionKey

FunctionConstant(FunctionKey key, ElementList completeFormula, ModuleContext context)
Constructor.

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

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

boolean	EverythingExists.functionExists(FunctionKey function)
boolean	EverythingExists.isInitialFunction(FunctionKey predicate)

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

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

boolean	ModuleConstantsExistenceChecker.functionExists(FunctionKey function)
FunctionConstant	ModuleConstantsExistenceChecker.get(FunctionKey function) Get function constant definition.
KernelQedeqBo	ModuleConstantsExistenceChecker.getQedeq(FunctionKey function) Get QEDEQ module where given function constant is defined.

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

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

boolean	ModuleConstantsExistenceCheckerImpl.functionExists(FunctionKey function)
boolean	DefaultExistenceChecker.functionExists(FunctionKey function)
FunctionConstant	ModuleConstantsExistenceCheckerImpl.get(FunctionKey function)
FunctionConstant	DefaultExistenceChecker.get(FunctionKey function) Get function constant definition.
KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getQedeq(FunctionKey function) Get QEDEQ module where given function constant is defined.
boolean	ModuleConstantsExistenceCheckerImpl.isInitialFunction(FunctionKey function)
boolean	DefaultExistenceChecker.isInitialFunction(FunctionKey function)