|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Operator | |
|---|---|
| org.qedeq.kernel.bo.parser | Parse texts with formulas and terms into parse tree and produce QEDEQ output. |
| Uses of Operator in org.qedeq.kernel.bo.parser |
|---|
| Methods in org.qedeq.kernel.bo.parser that return Operator | |
|---|---|
Operator |
Term.getOperator()
Get operator of term. |
protected abstract Operator |
MathParser.getOperator(java.lang.String token)
Get an operator for that token. |
protected Operator |
SimpleMathParser.getOperator(java.lang.String token)
|
protected Operator |
AsciiMathParser.getOperator(java.lang.String token)
|
protected Operator |
LatexMathParser.getOperator(java.lang.String token)
|
| Constructors in org.qedeq.kernel.bo.parser with parameters of type Operator | |
|---|---|
Term(Operator operator)
Constructor. |
|
Term(Operator operator,
Term firstArgument)
Constructor. |
|
TooMuchArgumentsException(long position,
Operator operator,
int expected)
Constructor. |
|
UnexpectedOperatorException(long position,
Operator operator)
Constructor. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||