Hilbert II - Version 0.03.04

Uses of Class

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)
TooMuchArgumentsException(long position, Operator operator, int expected)
Term(Operator operator)
Term(Operator operator, Term firstArgument)

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.