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

Packages that use Formula

org.qedeq.kernel.se.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

Uses of Formula in org.qedeq.kernel.se.base.module

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

Formula	PredicateDefinition.getFormula() Get complete formula.
Formula	Axiom.getFormula() Get formula that is an axiom.
Formula	FunctionDefinition.getFormula() Get defining formula for function constant.
Formula	Proposition.getFormula() Get formula that is a proposition.
Formula	Hypothesis.getFormula() Get formula for this line.
Formula	Conclusion.getFormula() Get formula for this line.
Formula	FormalProofLine.getFormula() Get formula for this line.

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

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

class

FormulaVo Wraps a formula.

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

Formula	HypothesisVo.getFormula()
Formula	PropositionVo.getFormula()
Formula	FunctionDefinitionVo.getFormula()
Formula	AxiomVo.getFormula()
Formula	FormalProofLineVo.getFormula()
Formula	ConclusionVo.getFormula()
Formula	ConditionalProofVo.getFormula()
Formula	PredicateDefinitionVo.getFormula()

Methods in org.qedeq.kernel.se.dto.module with parameters of type Formula

void	HypothesisVo.setFormula(Formula formula) Set proof line formula.
void	FunctionDefinitionVo.setFormula(Formula formula) Set defining formula for function constant.
void	FormalProofLineVo.setFormula(Formula formula) Set proof line formula.
void	ConclusionVo.setFormula(Formula formula) Set proof line formula.

Constructors in org.qedeq.kernel.se.dto.module with parameters of type Formula

ConclusionVo(Formula formula)
Constructs an proof line.

ConclusionVo(java.lang.String label, Formula formula)
Constructs an proof line.

FormalProofLineVo(Formula formula, Reason reason)
Constructs an proof line.

FormalProofLineVo(java.lang.String label, Formula formula, Reason reason)
Constructs an proof line.

HypothesisVo(Formula formula)
Constructs an proof line.

HypothesisVo(java.lang.String label, Formula formula)
Constructs an proof line.

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

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

void	QedeqNotNullTraverser.accept(Formula formula)
void	QedeqTraverser.accept(Formula formula) Traverse formula.
void	QedeqVisitor.visitEnter(Formula formula) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Formula formula)
void	QedeqVisitor.visitLeave(Formula formula) Visit certain element.
void	AbstractModuleVisitor.visitLeave(Formula formula)

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

Methods in org.qedeq.kernel.xml.dao 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)