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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

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.logic.basic
com.meyling.principia.logic.paragraph
com.meyling.principia.logic.rule
com.meyling.principia.module

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.

Methods in com.meyling.principia.html with parameters of type Output

private void Module2Html.writeParagraphList(ParagraphList paragraphs, Output output)
          Convert a ParagraphList into html.

void Module2Html.writeProofLine(ProofLine line, Output output, String label)
          Convert a ProofLine into html.

void Module2Html.writeFormula(Argument argument, Output output)
          Convert a Formula or its sub arguments into html.

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.

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.

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.

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.

private static void ModuleWriter.writeParagraphList(ParagraphList paragraphs, Output output)
          Convert a ParagraphList into html.

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.