Hilbert II - Version 0.03.01

Package org.qedeq.kernel.parser

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

See:
          Description

Class Summary
AsciiMathParser Parse term or formula data into Terms.
Atom Parsed atom, this is a term constant, or an formula constant.
LatexMathParser Parse LaTeX term or formula data into Terms.
MathParser Parse term or formula data into Terms.
MementoTextInput Remember TextInput positions.
Operator This class describes an term or logical operator.
SimpleMathParser Parse term or formula data into Terms.
Term Parsed term.
TextOutput Wraps a text output stream.
 

Exception Summary
ClosingBracketMissingException Closing bracket expected but is missing.
EndSymbolNotFoundException Expected end symbol of expression not found.
ParserException Base for parser exceptions.
SeparatorNotFoundException Separator not found.
TooFewArgumentsException To few arguments.
TooMuchArgumentsException There are too much arguments.
UnexpectedOperatorException Operator occurred unexpected.
 

Package org.qedeq.kernel.parser Description

Parse texts with formulas and terms into parse tree and produce QEDEQ output. With this package simple texts like A | B => A & B can be transformed into texts like IMPL(OR(A, B), AND(A, B)).


Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.