|
Hilbert II - Version 0.03.01 | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
AsciiMathParser | Parse term or formula data into Term s.
|
Atom | Parsed atom, this is a term constant, or an formula constant. |
LatexMathParser | Parse LaTeX term or formula data into Term s. |
MathParser | Parse term or formula data into Term s. |
MementoTextInput | Remember TextInput positions. |
Operator | This class describes an term or logical operator. |
SimpleMathParser | Parse term or formula data into Term s.
|
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. |
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 | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |