Uses of Class com.meyling.principia.io.TextInput (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
com.meyling.principia.io.TextInput

Packages that use TextInput
com.meyling.principia.argument |
com.meyling.principia.html |
com.meyling.principia.latex |
com.meyling.principia.logic.basic |
com.meyling.principia.logic.paragraph |
com.meyling.principia.logic.rule |
com.meyling.principia.module |

Uses of TextInput in com.meyling.principia.argument

Methods in com.meyling.principia.argument with parameters of type TextInput
`static Argument` | `ArgumentCreator.readArgument(TextInput input, Map string2class, ParsingTable parsing)` Create an `Argument` out of an `TextInput` object.

Uses of TextInput in com.meyling.principia.html

Constructors in com.meyling.principia.html with parameters of type TextInput
`Latex2Html(TextInput input, Output output)` Constructor that does it all.
`Latex2OldHtml(TextInput input, Output output)` Constructor that does it all.

Uses of TextInput in com.meyling.principia.latex

Methods in com.meyling.principia.latex with parameters of type TextInput
`static void` | `Qedeq2Latex.readAll(TextInput input, Output output)`
`static com.meyling.principia.latex.Qedeq2Latex.Function` | `Qedeq2Latex.readArgument(TextInput input)`

Uses of TextInput in com.meyling.principia.logic.basic

Methods in com.meyling.principia.logic.basic with parameters of type TextInput
`static Argument` | `BasicCreator.readArgument(TextInput input, ParsingTable parsing)` Create an `Argument` out of an `TextInput` object.

Uses of TextInput in com.meyling.principia.logic.paragraph

Methods in com.meyling.principia.logic.paragraph with parameters of type TextInput
`static Argument` | `ParagraphCreator.readArgument(TextInput input, ParsingTable parsing)` Create an `Argument` out of an `TextInput` object.

Uses of TextInput in com.meyling.principia.logic.rule

Methods in com.meyling.principia.logic.rule with parameters of type TextInput
`static Argument` | `RuleCreator.readArgument(TextInput input, ParsingTable parsing)` Create an `Argument` out of an `TextInput` object.

Uses of TextInput in com.meyling.principia.module

Methods in com.meyling.principia.module with parameters of type TextInput
`static Argument` | `SimpleModuleCreator.readArgument(TextInput input, ParsingTable parsing)` Create an `Argument` out of an `TextInput` object.

Constructors in com.meyling.principia.module with parameters of type TextInput
`ModuleCreator(TextInput input)` Constructs a new module creator.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.