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

Packages that use PredicateKey

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

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

PredicateKey

PredicateConstant.getKey() Get predicate key.

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

boolean	PredicateExistenceChecker.isInitialPredicate(PredicateKey predicate) Check if given predicate key has an initial predicate definition.
boolean	PredicateExistenceChecker.predicateExists(PredicateKey predicate) Check if a predicate is already defined.

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

PredicateConstant(PredicateKey key, ElementList completeFormula, ModuleContext context)
Constructor.

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

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

boolean	EverythingExists.isInitialPredicate(PredicateKey predicate)
boolean	EverythingExists.predicateExists(PredicateKey predicate)

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

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

PredicateConstant	ModuleConstantsExistenceChecker.get(PredicateKey predicate) Get predicate constant definition.
KernelQedeqBo	ModuleConstantsExistenceChecker.getQedeq(PredicateKey predicate) Get QEDEQ module where given predicate constant is defined.
boolean	ModuleConstantsExistenceChecker.predicateExists(PredicateKey predicate)

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

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

PredicateConstant	ModuleConstantsExistenceCheckerImpl.get(PredicateKey predicate)
PredicateConstant	DefaultExistenceChecker.get(PredicateKey predicate) Get predicate constant definition.
KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getQedeq(PredicateKey predicate) Get QEDEQ module where given predicate constant is defined.
boolean	ModuleConstantsExistenceCheckerImpl.isInitialPredicate(PredicateKey predicate)
boolean	DefaultExistenceChecker.isInitialPredicate(PredicateKey predicate)
boolean	ModuleConstantsExistenceCheckerImpl.predicateExists(PredicateKey predicate)
boolean	DefaultExistenceChecker.predicateExists(PredicateKey predicate)