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

Packages that use FormulaOrTerm

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

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

FormulaOrTerm	Proposition.getFormula() Get formula that is a proposition.
FormulaOrTerm	Definition.getFormulaOrTerm() Get formula or term that defines the object.
FormulaOrTerm	Axiom.getFormula() Get formula that is an axiom.

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

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

class

FormulaOrTermBo Wraps a formula or a term.

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

FormulaOrTerm	PropositionBo.getFormula()
FormulaOrTerm	DefinitionBo.getFormulaOrTerm()
FormulaOrTerm	AxiomBo.getFormula()

Methods in org.qedeq.kernel.bo.module with parameters of type FormulaOrTerm

void	PropositionBo.setFormula(FormulaOrTerm formula) Set proposition formula.
void	DefinitionBo.setFormulaOrTerm(FormulaOrTerm formulaOrTerm) Set formula or term that defines the object.
void	AxiomBo.setFormula(FormulaOrTerm formula) Set axiom formula.

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

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

class

FormulaOrTermVo Wraps a formula or a term.

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

FormulaOrTerm	PropositionVo.getFormula()
FormulaOrTerm	DefinitionVo.getFormulaOrTerm()
FormulaOrTerm	AxiomVo.getFormula()

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

void	PropositionVo.setFormula(FormulaOrTerm formula) Set proposition formula.
void	DefinitionVo.setFormulaOrTerm(FormulaOrTerm formulaOrTerm) Set defining formula or term that defines the object.
void	AxiomVo.setFormula(FormulaOrTerm formula) Set axiom formula.

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

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

FormulaOrTerm

FormulaOrTermHandler.getFormulaOrTerm() Get parsed result.