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