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

M

MALFORMED_MODULE_ADDRESS - Static variable in interface com.meyling.principia.module.ModuleConstants

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

MODULE_AUTHOR - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Author

MODULE_AUTHOR_LIST - Static variable in class com.meyling.principia.module.ModuleCreator

string for a AuthorList

MODULE_DESCRIPTION - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Description

MODULE_EMAIL - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Email

MODULE_EXPECTED - Static variable in interface com.meyling.principia.module.ModuleConstants

MODULE_HEADER - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Header

MODULE_HEADLINE - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Headline

MODULE_IMPORT - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Import

MODULE_IMPORT_FAILED - Static variable in interface com.meyling.principia.module.ModuleConstants

MODULE_IMPORT_LIST - Static variable in class com.meyling.principia.module.ModuleCreator

string for a ImportList

MODULE_LOCATION - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Location

MODULE_LOCATION_LIST - Static variable in class com.meyling.principia.module.ModuleCreator

string for a LocationList

MODULE_MODULE - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Module

MODULE_NAME - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Name

MODULE_NOT_FOUND - Static variable in interface com.meyling.principia.module.ModuleConstants

MODULE_PARAGRAPH_LIST - Static variable in class com.meyling.principia.module.ModuleCreator

string for a ParagraphList

MODULE_SPECIFICATION - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Specification

MODULE_SPECIFICATION_DIFFERS_FROM_NAME - Static variable in interface com.meyling.principia.module.ModuleConstants

MODULE_USEDBY_LIST - Static variable in class com.meyling.principia.module.ModuleCreator

string for a UsedbyList

MODULE_VERSION - Static variable in class com.meyling.principia.module.ModuleCreator

string for a Version

MUST_BE_DIGIT_PERIOD_STRING - Static variable in interface com.meyling.principia.module.ModuleConstants

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

MUST_BE_LETTER_DIGIT_PERIOD_STRING - Static variable in interface com.meyling.principia.module.ModuleConstants

MUST_BE_LETTER_DIGIT_STRING - Static variable in interface com.meyling.principia.module.ModuleConstants

MUST_END_WITH_DIGIT - Static variable in interface com.meyling.principia.module.ModuleConstants

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

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

MUST_NOT_END_WITH_PERIOD - Static variable in interface com.meyling.principia.module.ModuleConstants

MUST_START_WITH_DIGIT - Static variable in interface com.meyling.principia.module.ModuleConstants

MUST_START_WITH_LETTER - Static variable in interface com.meyling.principia.module.ModuleConstants

Main - class com.meyling.principia.Main.

This demonstrates various calls of Principia Mathematica II.

Main() - Constructor for class com.meyling.principia.Main

MakeCompressedModule - class com.meyling.principia.MakeCompressedModule.

This class compresses Principia Mathematica II qedeq modules..

MakeCompressedModule() - Constructor for class com.meyling.principia.MakeCompressedModule

MakeHtmlModule - class com.meyling.principia.MakeHtmlModule.

This class creates html files from Principia Mathematica II qedeq modules.

MakeHtmlModule() - Constructor for class com.meyling.principia.MakeHtmlModule

MakeLatexModule - class com.meyling.principia.MakeLatexModule.

This class creates LaTeX files from Principia Mathematica II qedeq modules.

MakeLatexModule() - Constructor for class com.meyling.principia.MakeLatexModule

MakeReducedModule - class com.meyling.principia.MakeReducedModule.

This class reduces the rule version of Principia Mathematica II qedeq modules.

MakeReducedModule() - Constructor for class com.meyling.principia.MakeReducedModule

Module - class com.meyling.principia.module.Module.

Main data object of this project.

Module(Argument[]) - Constructor for class com.meyling.principia.module.Module

Constructs a module.

Module(Argument[], ModuleAddress) - Constructor for class com.meyling.principia.module.Module

Constructs a module and verifies it.

Module2Html - class com.meyling.principia.html.Module2Html.

This class converts an module into a html file.

Module2Html(String) - Constructor for class com.meyling.principia.html.Module2Html

Constructor.

Module2JHtml - class com.meyling.principia.html.Module2JHtml.

This class converts an module into a html file.

Module2JHtml(ModuleAddress) - Constructor for class com.meyling.principia.html.Module2JHtml

Constructor.

Module2JHtml(String) - Constructor for class com.meyling.principia.html.Module2JHtml

Constructor.

Module2Latex - class com.meyling.principia.latex.Module2Latex.

This class converts an module into an LaTeX file.

Module2Latex(String) - Constructor for class com.meyling.principia.latex.Module2Latex

Constructor.

Module2OldHtml - class com.meyling.principia.html.Module2OldHtml.

This class converts an module into a html file.

Module2OldHtml(String) - Constructor for class com.meyling.principia.html.Module2OldHtml

Constructor.

ModuleAddress - class com.meyling.principia.module.ModuleAddress.

An object of this class represents an address for a module.

ModuleAddress(String, ModuleAddress) - Constructor for class com.meyling.principia.module.ModuleAddress

Constructor.

ModuleAddress(String) - Constructor for class com.meyling.principia.module.ModuleAddress

Constructor.

ModuleAddress(ModuleAddress, Name, Version, Version) - Constructor for class com.meyling.principia.module.ModuleAddress

Constructor.

ModuleConstants - interface com.meyling.principia.module.ModuleConstants.

This interface provides constants of this package.

ModuleContext - class com.meyling.principia.module.ModuleContext.

This class provides static access methods for loading modules.

ModuleCreator - class com.meyling.principia.module.ModuleCreator.

This class provides static methods for reading and writing an Module and its subcomponents.

ModuleCreator(TextInput) - Constructor for class com.meyling.principia.module.ModuleCreator

Constructs a new module creator.

ModuleEventListener - interface com.meyling.principia.module.ModuleEventListener.

ModuleProperties - class com.meyling.principia.module.ModuleProperties.

Represents a module and its state.

ModuleProperties(ModuleAddress) - Constructor for class com.meyling.principia.module.ModuleProperties

Creates new module properties.

ModuleState - class com.meyling.principia.module.ModuleState.

Represents a module and its state.

ModuleWriter - class com.meyling.principia.module.ModuleWriter.

This class writes a module file.

ModuleWriter() - Constructor for class com.meyling.principia.module.ModuleWriter

ModusPonens - class com.meyling.principia.logic.rule.ModusPonens.

Implemention of Modus Ponens: A0 A0 => A1 --------- A1

ModusPonens(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ModusPonens

Constructs a modus ponens rule.

main(String[]) - Static method in class com.meyling.principia.CheckModule

Check modules by trying to load them.

main(String[]) - Static method in class com.meyling.principia.Main

main(String[]) - Static method in class com.meyling.principia.MakeCompressedModule

Create compressed modules.

main(String[]) - Static method in class com.meyling.principia.MakeHtmlModule

Create html modules.

main(String[]) - Static method in class com.meyling.principia.MakeLatexModule

Create LaTeX modules.

main(String[]) - Static method in class com.meyling.principia.MakeReducedModule

Create reduced modules.

main(String[]) - Static method in class com.meyling.principia.html.Latex2Html

Takes the given file names (without ".tex") and converts them into html.

main(String[]) - Static method in class com.meyling.principia.html.Latex2OldHtml

Takes the given file names (without ".tex") and converts them into html.

main(String[]) - Static method in class com.meyling.principia.latex.Qedeq2Latex

Takes the given file names (without ".tex") and converts them into html.

main(String[]) - Static method in class com.meyling.principia.logic.basic.PackageTest

Runs the following test numbers (or all tests).

main(String[]) - Static method in class com.meyling.principia.module.PackageTest

Runs the following test numbers (or all tests).

makeCompressedModule(String) - Static method in class com.meyling.principia.MakeCompressedModule

Create a rule reduced module.

makeHtmlModule(String) - Static method in class com.meyling.principia.MakeHtmlModule

Create a html module.

makeLatexModule(String) - Static method in class com.meyling.principia.MakeLatexModule

Create a LaTeX module.

makeReducedModule(String) - Static method in class com.meyling.principia.MakeReducedModule

Create a rule reduced module.

matches(Argument, PatternVariables) - Method in class com.meyling.principia.argument.AbstractArgument

matches(Argument) - Method in class com.meyling.principia.argument.AbstractArgument

matches(Argument, PatternVariables) - Method in interface com.meyling.principia.argument.Argument

Does this argument match the pattern?

matches(Argument) - Method in interface com.meyling.principia.argument.Argument

Does any part of this argument match the pattern?

moduleCheckStarted(ModuleAddress) - Method in class com.meyling.principia.module.ModuleContext