Uses of Class com.meyling.principia.logic.paragraph.ProofLine (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.logic.paragraph.ProofLine

Packages that use ProofLine
com.meyling.principia.html |
com.meyling.principia.latex |
com.meyling.principia.module |

Uses of ProofLine in com.meyling.principia.html

Methods in com.meyling.principia.html with parameters of type ProofLine
`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.

Uses of ProofLine in com.meyling.principia.latex

Methods in com.meyling.principia.latex with parameters of type ProofLine
`void` | `Module2Latex.writeProofLine(ProofLine line, Output output, String label)` Convert a `ProofLine` into html.

Uses of ProofLine in com.meyling.principia.module

Methods in com.meyling.principia.module with parameters of type ProofLine
`static void` | `ModuleWriter.writeProofLine(ProofLine line, Output output)` Write a `ProofLine` 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.