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

Packages that use Axiom

org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.

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.module

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

class

AxiomBo Axiom.

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

Axiom	RuleBo.getAxiom()
Axiom	PropositionBo.getAxiom()
Axiom	DefinitionBo.getAxiom()
Axiom	AxiomBo.getAxiom()

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	DefinitionVo.getAxiom()
Axiom	AxiomVo.getAxiom()

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.