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

M

m - Variable in class com.meyling.principia.logic.rule.RightAdditionEquivalence

proof line of A2 => A1

m - Variable in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

proof line of A2 => A1

m - Variable in class com.meyling.principia.logic.rule.ConjunctionRule

proof line of A2

m - Variable in class com.meyling.principia.logic.rule.ModusPonens

proof line of A0 => A1

m - Variable in class com.meyling.principia.logic.rule.HypotheticalSyllogism

proof line of A2 => A3

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).

makeLocalCopy(ModuleAddress) - Static method in class com.meyling.principia.module.ModuleContext

Make local copy of a module.

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

MARKER - Static variable in class com.meyling.principia.io.TextInput

string for marking current reading position

MARKER - Static variable in class com.meyling.principia.io.Input

string for marking current reading position

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

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

Does any part of this argument match the pattern?

matches(Argument, PatternVariables) - 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?

maximum - Variable in class com.meyling.principia.module.ModuleContext.PeekTextInput

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

module - Variable in class com.meyling.principia.html.Module2Html

for converting a String into an (Argument) class

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

Main data object of this project.

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

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 an html file.

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

Constructor.

moduleAddress - Variable in class com.meyling.principia.html.Module2Html

address of module to convert

moduleAddress - Variable in class com.meyling.principia.module.Module

URL where this module is located

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

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

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

Constructor.

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

Constructor.

ModuleAddress(String, ModuleAddress) - 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.

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

This thread watches the reading process of a TextInput object.

ModuleContext.PeekTextInput() - Constructor for class com.meyling.principia.module.ModuleContext.PeekTextInput

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

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.

modules - Static variable in class com.meyling.principia.module.ModuleContext

already loaded modules

moduleVersion - Variable in class com.meyling.principia.module.ModuleAddress

moduleVersion

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.

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

myThread - Variable in class com.meyling.principia.module.ModuleContext.PeekTextInput