Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.io.Output

Packages that use Output
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 Output in com.meyling.principia.argument
 

Methods in com.meyling.principia.argument with parameters of type Output
static void ArgumentCreator.writeArgument(Output output, Argument argument, Map class2string)
          Write an Argument to an Output object.
 

Uses of Output in com.meyling.principia.html
 

Methods in com.meyling.principia.html with parameters of type Output
 void Module2Html.writeProofLine(ProofLine line, Output output, String label)
          Convert a ProofLine into html.
 void Module2JHtml.writeProofLine(ProofLine line, Output output, String label)
          Convert a ProofLine into html.
 void Module2OldHtml.writeProofLine(ProofLine line, Output output, String label)
          Convert a ProofLine into html.
 

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

Uses of Output in com.meyling.principia.latex
 

Methods in com.meyling.principia.latex with parameters of type Output
 void Module2Latex.writeProofLine(ProofLine line, Output output, String label)
          Convert a ProofLine into html.
 void Module2Latex.writeFormula(Argument argument, Output output)
          Convert a Formula or its sub arguments into LaTeX.
static void Qedeq2Latex.readAll(TextInput input, Output output)
           
 

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

Methods in com.meyling.principia.logic.basic with parameters of type Output
static void BasicCreator.writeArgument(Output output, Argument argument)
          Write an Argument to an Output object.
 

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

Methods in com.meyling.principia.logic.paragraph with parameters of type Output
static void ParagraphCreator.writeArgument(Output output, Argument argument)
          Write an Argument to an Output object.
 

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

Methods in com.meyling.principia.logic.rule with parameters of type Output
static void RuleCreator.writeArgument(Output output, Argument argument)
          Write an Argument to an Output object.
 

Uses of Output in com.meyling.principia.module
 

Methods in com.meyling.principia.module with parameters of type Output
static void ModuleCreator.writeArgument(Output output, Argument argument)
          Write an Argument to an Output object.
static void SimpleModuleCreator.writeArgument(Output output, Argument argument)
          Write an Argument to an Output object.
static void ModuleWriter.writeModule(Module module, Output output)
          Write a module.
static void ModuleWriter.writeProofLine(ProofLine line, Output output)
          Write a ProofLine into an output.
static void ModuleWriter.writeFormula(int level, Argument argument, Output output)
          Write a formula (or its sub arguments) into an output.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.