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	PredicateDefinition.getFormula() Get term that defines the object.
FormulaOrTerm	FunctionDefinition.getTerm() Get 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	PredicateDefinitionBo.getFormula()
FormulaOrTerm	FunctionDefinitionBo.getTerm()
FormulaOrTerm	AxiomBo.getFormula()

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

void	PropositionBo.setFormula(FormulaOrTerm formula) Set proposition formula.
void	PredicateDefinitionBo.setFormula(FormulaOrTerm formula) Set formula or term that defines the object.
void	FunctionDefinitionBo.setTerm(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	PredicateDefinitionVo.getFormula()
FormulaOrTerm	FunctionDefinitionVo.getTerm()
FormulaOrTerm	AxiomVo.getFormula()

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

void	PropositionVo.setFormula(FormulaOrTerm formula) Set proposition formula.
void	PredicateDefinitionVo.setFormula(FormulaOrTerm formulaOrTerm) Set defining formula or term that defines the object.
void	FunctionDefinitionVo.setTerm(FormulaOrTerm term) Set defining 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.