|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |