|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Proposition.
Method Summary | |
LatexList |
getDescription()
Get description. |
Formula |
getFormula()
Get formula that is a proposition. |
ProofList |
getProofList()
Get proofs for proposition. |
Methods inherited from interface org.qedeq.kernel.base.module.NodeType |
getAxiom, getFunctionDefinition, getPredicateDefinition, getProposition, getRule |
Method Detail |
public Formula getFormula()
public LatexList getDescription()
public ProofList getProofList()
|
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. |