A B C D E F G H I L M N O P Q R S T U V W

W

WRONG_ARGUMENT_NUMBER - Static variable in interface com.meyling.principia.argument.ArgumentConstants

WRONG_FORMULA_NUMBER - Static variable in interface com.meyling.principia.logic.basic.BasicConstants

WRONG_OCCURENCE_NUMBER - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

waitln() - Static method in class com.meyling.principia.io.Utility

Waits til a '\n' was read from System.in.

write(String) - Method in class com.meyling.principia.io.Output

Append data to output.

write(int) - Method in class com.meyling.principia.io.Output

Append data to output.

write(char) - Method in class com.meyling.principia.io.Output

Append character to output.

write(Object) - Method in class com.meyling.principia.io.Output

Append string representation of object to output.

writeArgument(Output, Argument, Map) - Static method in class com.meyling.principia.argument.ArgumentCreator

Write an Argument to an Output object.

writeArgument(Argument, Map) - Static method in class com.meyling.principia.argument.ArgumentCreator

Write an Argument to an String.

writeArgument(Output, Argument) - Static method in class com.meyling.principia.logic.basic.BasicCreator

Write an Argument to an Output object.

writeArgument(Argument) - Static method in class com.meyling.principia.logic.basic.BasicCreator

Write an Argument to an String.

writeArgument(Output, Argument) - Static method in class com.meyling.principia.logic.paragraph.ParagraphCreator

Write an Argument to an Output object.

writeArgument(Argument) - Static method in class com.meyling.principia.logic.paragraph.ParagraphCreator

Write an Argument to an String.

writeArgument(Output, Argument) - Static method in class com.meyling.principia.logic.rule.RuleCreator

Write an Argument to an Output object.

writeArgument(Argument) - Static method in class com.meyling.principia.logic.rule.RuleCreator

Write an Argument to an String.

writeArgument(Output, Argument) - Static method in class com.meyling.principia.module.ModuleCreator

Write an Argument to an Output object.

writeArgument(Argument) - Static method in class com.meyling.principia.module.ModuleCreator

Write an Argument to an String.

writeArgument(Output, Argument) - Static method in class com.meyling.principia.module.SimpleModuleCreator

Write an Argument to an Output object.

writeArgument(Argument) - Static method in class com.meyling.principia.module.SimpleModuleCreator

Write an Argument to an String.

writeFormula(Argument, Output) - Method in class com.meyling.principia.latex.Module2Latex

Convert a Formula or its sub arguments into LaTeX.

writeFormula(int, Argument, Output) - Static method in class com.meyling.principia.module.ModuleWriter

Write a formula (or its sub arguments) into an output.

writeModule() - Method in class com.meyling.principia.html.Module2Html

Convert a Module (referenced by module address in constructor) into html.

writeModule() - Method in class com.meyling.principia.html.Module2JHtml

Convert a Module (referenced by module address in constructor) into html.

writeModule() - Method in class com.meyling.principia.html.Module2OldHtml

Convert a Module (referenced by module address in constructor) into html.

writeModule() - Method in class com.meyling.principia.latex.Module2Latex

Convert a Module (referenced by module address in constructor) into html.

writeModule(Module, Output) - Static method in class com.meyling.principia.module.ModuleWriter

Write a module.

writeProofLine(ProofLine, Output, String) - Method in class com.meyling.principia.html.Module2Html

Convert a ProofLine into html.

writeProofLine(ProofLine, Output, String) - Method in class com.meyling.principia.html.Module2JHtml

Convert a ProofLine into html.

writeProofLine(ProofLine, Output, String) - Method in class com.meyling.principia.html.Module2OldHtml

Convert a ProofLine into html.

writeProofLine(ProofLine, Output, String) - Method in class com.meyling.principia.latex.Module2Latex

Convert a ProofLine into html.

writeProofLine(ProofLine, Output) - Static method in class com.meyling.principia.module.ModuleWriter

Write a ProofLine into an output.

writeln() - Method in class com.meyling.principia.io.Output

Append new line to output.

writeln(String) - Method in class com.meyling.principia.io.Output

Append data to output.

writeln(int) - Method in class com.meyling.principia.io.Output

Append data to output.

writeln(char) - Method in class com.meyling.principia.io.Output

Append character to output.

writeln(Object) - Method in class com.meyling.principia.io.Output

Append string representation of object to output.