Uses of Interface
org.qedeq.kernel.se.base.module.Rule

Packages that use Rule

org.qedeq.kernel.bo.logic.proof.checker	This package enables to check proofs with the basic rules.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
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.heuristic	Plugin for model checking of formulas.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
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.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

Uses of Rule in org.qedeq.kernel.bo.logic.proof.checker

Methods in org.qedeq.kernel.bo.logic.proof.checker with parameters of type Rule

LogicalCheckExceptionList	ProofChecker1Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker0Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker2Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)

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

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

LogicalCheckExceptionList

ProofChecker.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver) Checks if a rule declaration is ok for the proof checker.

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

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

Rule	ModuleConstantsExistenceChecker.get(RuleKey ruleKey) Get rule declaration.
Rule	ModuleLabels.getRule(RuleKey key) Get rule definition.

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

void	ModuleLabels.addChangedRule(java.lang.String label, Rule definition, ChangedRule cr, ModuleContext context) Add rule definition.
void	ModuleLabels.addRule(java.lang.String label, Rule definition, ModuleContext context) Add rule definition.

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

Methods in org.qedeq.kernel.bo.service.basis with parameters of type Rule

void	ModuleLabelsCreator.visitEnter(Rule rule)

Uses of Rule in org.qedeq.kernel.bo.service.heuristic

Methods in org.qedeq.kernel.bo.service.heuristic with parameters of type Rule

void	DynamicHeuristicCheckerExecutor.visitEnter(Rule rule)
void	DynamicHeuristicCheckerExecutor.visitLeave(Rule rule)

Uses of Rule in org.qedeq.kernel.bo.service.latex

Methods in org.qedeq.kernel.bo.service.latex with parameters of type Rule

void	Qedeq2LatexExecutor.visitEnter(Rule rule)
void	Qedeq2LatexExecutor.visitLeave(Rule rule)

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

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

Rule	ModuleConstantsExistenceCheckerImpl.get(RuleKey ruleKey)
Rule	DefaultExistenceChecker.get(RuleKey ruleKey) Get rule definition.

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

void	DefaultExistenceChecker.add(RuleKey ruleKey, Rule definition) Add unknown rule definition.
void	WellFormedCheckerExecutor.visitEnter(Rule rule)
void	FormalProofCheckerExecutor.visitEnter(Rule rule)
void	SimpleProofFinderExecutor.visitEnter(Rule rule)
void	WellFormedCheckerExecutor.visitLeave(Rule rule)
void	SimpleProofFinderExecutor.visitLeave(Rule rule)

Uses of Rule in org.qedeq.kernel.bo.service.unicode

Methods in org.qedeq.kernel.bo.service.unicode with parameters of type Rule

void	Qedeq2UnicodeVisitor.visitEnter(Rule rule)

Uses of Rule in org.qedeq.kernel.se.base.module

Methods in org.qedeq.kernel.se.base.module that return Rule

Rule	NodeType.getRule() Get rule, if this is an instance of Rule.

Uses of Rule in org.qedeq.kernel.se.dto.module

Classes in org.qedeq.kernel.se.dto.module that implement Rule

class

RuleVo Rule declaration.

Methods in org.qedeq.kernel.se.dto.module that return Rule

Rule	RuleVo.getRule()
Rule	PropositionVo.getRule()
Rule	FunctionDefinitionVo.getRule()
Rule	AxiomVo.getRule()
Rule	InitialPredicateDefinitionVo.getRule()
Rule	PredicateDefinitionVo.getRule()
Rule	InitialFunctionDefinitionVo.getRule()

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

Methods in org.qedeq.kernel.se.visitor with parameters of type Rule

void	QedeqNotNullTraverser.accept(Rule rule)
void	QedeqTraverser.accept(Rule rule) Traverse rule.
void	QedeqVisitor.visitEnter(Rule rule) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Rule rule)
void	QedeqVisitor.visitLeave(Rule rule) Visit certain element.
void	AbstractModuleVisitor.visitLeave(Rule rule)

Uses of Rule in org.qedeq.kernel.xml.dao

Methods in org.qedeq.kernel.xml.dao with parameters of type Rule

void	Qedeq2Xml.visitEnter(Rule rule)
void	Qedeq2Xml.visitLeave(Rule rule)

Uses of Rule in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return Rule

Rule	RuleHandler.getRule() Get Rule.

Uses of Rule in org.qedeq.kernel.xml.mapper

Methods in org.qedeq.kernel.xml.mapper with parameters of type Rule

void	Context2SimpleXPath.visitEnter(Rule rule)
void	Context2SimpleXPath.visitLeave(Rule rule)