Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.