Uses of Class
org.qedeq.kernel.parser.Operator

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.

Term(Operator operator)
Constructor.

Term(Operator operator, Term firstArgument)
Constructor.