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

Packages that use Axiom

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 Axiom in org.qedeq.kernel.base.module

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

Axiom

NodeType.getAxiom() Get axiom, if this is an instance of Axiom.

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

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

void	QedeqBoFormalLogicChecker.visitEnter(Axiom axiom)
void	QedeqBoFormalLogicChecker.visitLeave(Axiom axiom)

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

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

void	QedeqVisitor.visitEnter(Axiom axiom) Visit certain element.
void	QedeqVisitor.visitLeave(Axiom axiom) Visit certain element.
void	QedeqTransverser.accept(Axiom axiom) Traverse axiom.
void	QedeqNotNullTransverser.accept(Axiom axiom)
void	AbstractModuleVisitor.visitEnter(Axiom axiom)
void	AbstractModuleVisitor.visitLeave(Axiom axiom)

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

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

class

AxiomVo Axiom.

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

Axiom	RuleVo.getAxiom()
Axiom	PropositionVo.getAxiom()
Axiom	PredicateDefinitionVo.getAxiom()
Axiom	FunctionDefinitionVo.getAxiom()
Axiom	AxiomVo.getAxiom()

Uses of Axiom in org.qedeq.kernel.latex

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

void	Qedeq2Xml.visitEnter(Axiom axiom)
void	Qedeq2Xml.visitLeave(Axiom axiom)
void	Qedeq2Latex.visitEnter(Axiom axiom)

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

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

Axiom

AxiomHandler.getAxiom() Get axiom.

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

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

void	Context2SimpleXPath.visitEnter(Axiom axiom)
void	Context2SimpleXPath.visitLeave(Axiom axiom)