Uses of Class com.meyling.principia.io.Output (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.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.

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.