Uses of Package
org.qedeq.kernel.parser

Packages that use org.qedeq.kernel.parser

org.qedeq.kernel.parser

Parse texts with formulas and terms into parse tree and produce QEDEQ output.

Classes in org.qedeq.kernel.parser used by org.qedeq.kernel.parser

MathParser
Parse term or formula data into Terms.

MementoTextInput
Remember TextInput positions.

Operator
This class describes an term or logical operator.

ParserException
Base for parser exceptions.

Term
Parsed term.

TermAtom
Parsed atom, this is a term constant, or an formula constant.