|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Axiom.
Method Summary | |
LatexList |
getDescription()
Get description. |
Formula |
getFormula()
Get formula that is an axiom. |
Methods inherited from interface org.qedeq.kernel.base.module.NodeType |
getAxiom, getFunctionDefinition, getPredicateDefinition, getProposition, getRule |
Method Detail |
public Formula getFormula()
public LatexList getDescription()
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |