|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
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)
|
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |