|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Definition of function operator. This is a function constant. For example the function "x union y" or constants like the empty set.
Method Summary | |
String |
getArgumentNumber()
Get number of arguments for the defined object. |
LatexList |
getDescription()
Get description. |
String |
getLatexPattern()
Get LaTeX output for definition. |
String |
getName()
This name together with getArgumentNumber() identifies a function. |
Term |
getTerm()
Get term that defines the object. |
VariableList |
getVariableList()
Get variable list of definition arguments. |
Methods inherited from interface org.qedeq.kernel.base.module.NodeType |
getAxiom, getFunctionDefinition, getPredicateDefinition, getProposition, getRule |
Method Detail |
public String getArgumentNumber()
public String getName()
getArgumentNumber()
identifies a function.
public String getLatexPattern()
public VariableList getVariableList()
null
.public Term getTerm()
null
.
public LatexList getDescription()
|
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. |