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

Packages that use Rule

org.qedeq.kernel.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.bo.control	Contains business object controllers.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.latex	LaTeX export abilities of the kernel.
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.base.module

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

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

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

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

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

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

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

void	QedeqVisitor.visitEnter(Rule rule) Visit certain element.
void	QedeqVisitor.visitLeave(Rule rule) Visit certain element.
void	QedeqTransverser.accept(Rule rule) Traverse rule.
void	QedeqNotNullTransverser.accept(Rule rule)
void	AbstractModuleVisitor.visitEnter(Rule rule)
void	AbstractModuleVisitor.visitLeave(Rule rule)

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

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

class

RuleVo Rule declaration.

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

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

Uses of Rule in org.qedeq.kernel.latex

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

void	Qedeq2Xml.visitEnter(Rule rule)
void	Qedeq2Xml.visitLeave(Rule rule)
void	Qedeq2Latex.visitEnter(Rule rule)
void	Qedeq2Latex.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)