Hilbert II - JAVA-Packages - Principia Mathematica II
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
 

Hilbert II - JAVA-Packages - Principia Mathematica II
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.