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

Packages that use Formula

org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
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 Formula in org.qedeq.kernel.base.module

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

Formula	Proposition.getFormula() Get formula that is a proposition.
Formula	PredicateDefinition.getFormula() Get term that defines the object.
Formula	Axiom.getFormula() Get formula that is an axiom.

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

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

void	QedeqVisitor.visitEnter(Formula formula) Visit certain element.
void	QedeqVisitor.visitLeave(Formula formula) Visit certain element.
void	QedeqTransverser.accept(Formula formula) Traverse formula.
void	QedeqNotNullTransverser.accept(Formula formula)
void	AbstractModuleVisitor.visitEnter(Formula formula)
void	AbstractModuleVisitor.visitLeave(Formula formula)

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

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

class

FormulaVo Wraps a formula.

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

Formula	PropositionVo.getFormula()
Formula	PredicateDefinitionVo.getFormula()
Formula	AxiomVo.getFormula()

Uses of Formula in org.qedeq.kernel.latex

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

void	Qedeq2Xml.visitEnter(Formula formula)
void	Qedeq2Xml.visitLeave(Formula formula)

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

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

void	Context2SimpleXPath.visitEnter(Formula formula)
void	Context2SimpleXPath.visitLeave(Formula formula)