|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.parser.Term
Parsed term.
Constructor Summary | |
Term(Operator operator)
Constructor. |
|
Term(Operator operator,
Term firstArgument)
Constructor. |
|
Term(TermAtom atom)
Constructor. |
Method Summary | |
void |
addArgument(Term term)
Add next argument term to operator. |
Operator |
getOperator()
Get operator of term. |
String |
getQedeq()
Get QEDEQ representation of this term. |
String |
getQedeqXml()
Get QEDEQ XML representation of this term. |
boolean |
isAtom()
Is this term an atom? |
int |
size()
Get number of arguments of this operator. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Term(TermAtom atom)
atom
- Term atom.public Term(Operator operator)
operator
- Construct new term for this operator.public Term(Operator operator, Term firstArgument)
operator
- Construct new term for this operator.firstArgument
- First argument of operator.Method Detail |
public final boolean isAtom()
public final void addArgument(Term term)
Operator.getMax()
(if >= 0
). Addition is only possible if
this is no atom term (see Term(TermAtom)
).
term
- Add this argument at last position.
IllegalArgumentException
- This is an atom term or argument
maximum exceeded.public final Operator getOperator()
null
if this is an atom term.
public final int size()
public final String getQedeq()
public final String getQedeqXml()
|
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. |