M-Index (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

©left GNU General Public Licence All Rights Reserved.