|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Term | |
---|---|
org.qedeq.kernel.bo.parser | Parse texts with formulas and terms into parse tree and produce QEDEQ output. |
Uses of Term in org.qedeq.kernel.bo.parser |
---|
Methods in org.qedeq.kernel.bo.parser that return Term | |
---|---|
Term |
MathParser.readTerm()
Reads (maximal possible) Term from input. |
Methods in org.qedeq.kernel.bo.parser with parameters of type Term | |
---|---|
void |
Term.addArgument(Term term)
Add next argument term to operator. |
Constructors in org.qedeq.kernel.bo.parser with parameters of type Term | |
---|---|
Term(Operator operator,
Term firstArgument)
Constructor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |