Uses of Class
org.qedeq.kernel.se.dto.module.FormulaVo

Packages that use FormulaVo

org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.

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

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

void	PropositionVo.setFormula(FormulaVo formula) Set proposition formula.
void	AxiomVo.setFormula(FormulaVo formula) Set axiom formula.
void	PredicateDefinitionVo.setFormula(FormulaVo formulaOrTerm) Set defining formula or term that defines the object.

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

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

FormulaVo

FormulaHandler.getFormula() Get parsed result.