|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Rule.
Method Summary | |
LatexList |
getDescription()
Get rule description. |
LinkList |
getLinkList()
Get links necessary for having this rule. |
String |
getName()
Get rule name. |
ProofList |
getProofList()
Get proofs for rule declaration. |
Methods inherited from interface org.qedeq.kernel.base.module.NodeType |
getAxiom, getFunctionDefinition, getPredicateDefinition, getProposition, getRule |
Method Detail |
public String getName()
public LatexList getDescription()
public LinkList getLinkList()
public ProofList getProofList()
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |