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

Packages that use Proposition

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.mapper	Contains mapper for XML objects.

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

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

void	QedeqBoFormalLogicChecker.visitEnter(Proposition proposition)
void	QedeqBoFormalLogicChecker.visitLeave(Proposition definition)

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

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

void	QedeqVisitor.visitEnter(Proposition proposition) Visit certain element.
void	QedeqVisitor.visitLeave(Proposition proposition) Visit certain element.
void	QedeqTransverser.accept(Proposition proposition) Traverse proposition.
void	QedeqNotNullTransverser.accept(Proposition proposition)
void	AbstractModuleVisitor.visitEnter(Proposition proposition)
void	AbstractModuleVisitor.visitLeave(Proposition proposition)

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	PredicateDefinitionVo.getProposition()
Proposition	FunctionDefinitionVo.getProposition()
Proposition	AxiomVo.getProposition()

Uses of Proposition in org.qedeq.kernel.latex

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

void	Qedeq2Xml.visitEnter(Proposition proposition)
void	Qedeq2Xml.visitLeave(Proposition proposition)
void	Qedeq2Latex.visitEnter(Proposition proposition)

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

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

void	Context2SimpleXPath.visitEnter(Proposition proposition)
void	Context2SimpleXPath.visitLeave(Proposition proposition)