Uses of Class
org.qedeq.kernel.se.common.RuleKey

Packages that use RuleKey

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
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.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.

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

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

boolean

RuleExistenceChecker.ruleExists(RuleKey ruleKey) Check if a rule is already defined.

Uses of RuleKey in org.qedeq.kernel.bo.logic.proof.common

Methods in org.qedeq.kernel.bo.logic.proof.common that return RuleKey

RuleKey

RuleChecker.getRule(java.lang.String ruleName) Get maximum defined rule version.

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

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

boolean

EverythingExists.ruleExists(RuleKey ruleKey)

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

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

RuleKey	ModuleConstantsExistenceChecker.getParentRuleKey(java.lang.String ruleName) Get maximum rule version that is defined in an imported module.
RuleKey	ModuleLabels.getRuleKey(java.lang.String ruleName) Get rule key with maximum rule version.
RuleKey	ModuleConstantsExistenceChecker.getRuleKey(java.lang.String ruleName) Get maximum rule version that is defined in this or an imported module.

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

Rule	ModuleConstantsExistenceChecker.get(RuleKey ruleKey) Get rule declaration.
KernelQedeqBo	ModuleConstantsExistenceChecker.getQedeq(RuleKey ruleKey) Get QEDEQ module where given rule is defined.
Rule	ModuleLabels.getRule(RuleKey key) Get rule definition.
ModuleContext	ModuleLabels.getRuleContext(RuleKey key) Get rule context.
java.lang.String	ModuleLabels.getRuleLabel(RuleKey key) Get node id of rule key.

Uses of RuleKey in org.qedeq.kernel.bo.service.basis

Methods in org.qedeq.kernel.bo.service.basis that return RuleKey

RuleKey

ControlVisitor.getLocalRuleKey(java.lang.String name) Get current (QEDEQ module local) rule version for given rule name.

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

Methods in org.qedeq.kernel.bo.service.logic that return RuleKey

RuleKey	ModuleConstantsExistenceCheckerImpl.getParentRuleKey(java.lang.String ruleName)
RuleKey	FormalProofCheckerExecutor.getRule(java.lang.String ruleName)
RuleKey	ModuleConstantsExistenceCheckerImpl.getRuleKey(java.lang.String ruleName)

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

void	DefaultExistenceChecker.add(RuleKey ruleKey, Rule definition) Add unknown rule definition.
Rule	ModuleConstantsExistenceCheckerImpl.get(RuleKey ruleKey)
Rule	DefaultExistenceChecker.get(RuleKey ruleKey) Get rule definition.
KernelQedeqBo	ModuleConstantsExistenceCheckerImpl.getQedeq(RuleKey ruleKey) Get QEDEQ module where given rule is defined.
boolean	DefaultExistenceChecker.ruleExists(RuleKey ruleKey)

Uses of RuleKey in org.qedeq.kernel.se.visitor

Methods in org.qedeq.kernel.se.visitor that return RuleKey

RuleKey

QedeqNotNullTraverser.getLocalRuleKey(java.lang.String name) Get current (QEDEQ module local) rule version for given rule name.