|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Operator | |
org.qedeq.kernel.parser | Parse texts with formulas and terms into parse tree and produce QEDEQ output. |
Uses of Operator in org.qedeq.kernel.parser |
Methods in org.qedeq.kernel.parser that return Operator | |
Operator |
Term.getOperator()
Get operator of term. |
protected Operator |
SimpleMathParser.getOperator(String token)
|
protected abstract Operator |
MathParser.getOperator(String token)
Get an operator for that token. |
protected Operator |
LatexMathParser.getOperator(String token)
|
protected Operator |
AsciiMathParser.getOperator(String token)
|
Constructors in org.qedeq.kernel.parser with parameters of type Operator | |
UnexpectedOperatorException(long position,
Operator operator)
Constructor. |
|
TooMuchArgumentsException(long position,
Operator operator,
int expected)
Constructor. |
|
Term(Operator operator)
Constructor. |
|
Term(Operator operator,
Term firstArgument)
Constructor. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |