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

Packages that use Proposition

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

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

Proposition

NodeType.getProposition() Get proposition, if this is an instance of Proposition.

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

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

class

PropositionBo Proposition.

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

Proposition	RuleBo.getProposition()
Proposition	PropositionBo.getProposition()
Proposition	DefinitionBo.getProposition()
Proposition	AxiomBo.getProposition()

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

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

class

PropositionVo Proposition.

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

Proposition	RuleVo.getProposition()
Proposition	PropositionVo.getProposition()
Proposition	DefinitionVo.getProposition()
Proposition	AxiomVo.getProposition()

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

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

Proposition

PropositionHandler.getProposition() Get proposition.