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

Packages that use Definition

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

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

Definition

NodeType.getDefinition() Get definition, if this is an instance of Definition.

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

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

class

DefinitionBo Definition of operator.

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

Definition	RuleBo.getDefinition()
Definition	PropositionBo.getDefinition()
Definition	DefinitionBo.getDefinition()
Definition	AxiomBo.getDefinition()

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

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

class

DefinitionVo Definition of operator.

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

Definition	RuleVo.getDefinition()
Definition	PropositionVo.getDefinition()
Definition	DefinitionVo.getDefinition()
Definition	AxiomVo.getDefinition()

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

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

Definition

DefinitionHandler.getDefinition() Get definition.