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

A

ABBREVIATION_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants
 
ACTUAL_OUTPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.logic.basic.PackageTest
output file name postfix
ACTUAL_OUTPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.module.PackageTest
output file name postfix
ALL_BOUND_OR_BOUND_FREE_NOT_EMPTY_INTERSECTION - Static variable in interface com.meyling.principia.module.ModuleConstants
 
ALREADY_ASSIGNED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
ALREADY_CONTAINS_PATTERN_VARIABLE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
ARGUMENT_LIST - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
AT_LEAST_ONE_ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
AXIOM_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants
 
AXIOM_IS_NO_IMPLICATION - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
Abbreviation - class com.meyling.principia.logic.paragraph.Abbreviation.
Abbreviation.
Abbreviation(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Abbreviation
Constructs an abbreviation.
AbstractArgument - class com.meyling.principia.argument.AbstractArgument.
Every Operator must inherit from this class.
AbstractArgument() - Constructor for class com.meyling.principia.argument.AbstractArgument
 
AbstractArgumentAtom - class com.meyling.principia.argument.AbstractArgumentAtom.
Every Atom must inherit from this class.
AbstractArgumentAtom() - Constructor for class com.meyling.principia.argument.AbstractArgumentAtom
 
AbstractArgumentList - class com.meyling.principia.argument.AbstractArgumentList.
Every Operator must inherit from this class.
AbstractArgumentList(Argument[]) - Constructor for class com.meyling.principia.argument.AbstractArgumentList
Constructs an argument list.
AbstractDynamicArgumentList - class com.meyling.principia.argument.AbstractDynamicArgumentList.
Every Operator with dynamic number of arguments must inherit from this class.
AbstractDynamicArgumentList(Argument[]) - Constructor for class com.meyling.principia.argument.AbstractDynamicArgumentList
Constructs an argument list.
AbstractFormula - class com.meyling.principia.logic.basic.AbstractFormula.
From this abstract implementation of Formula each non abstract Formula must inherit from.
AbstractFormula(Argument[]) - Constructor for class com.meyling.principia.logic.basic.AbstractFormula
Constructs an formula.
AddAxiom - class com.meyling.principia.logic.rule.AddAxiom.
Implementation of adding an Axiom: --------- A0
AddAxiom(Argument[]) - Constructor for class com.meyling.principia.logic.rule.AddAxiom
Constructs an add axiom rule by an axiom reference.
AddSentence - class com.meyling.principia.logic.rule.AddSentence.
Implemention of adding an Sentence: --------- A0
AddSentence(Argument[]) - Constructor for class com.meyling.principia.logic.rule.AddSentence
Constructs an add sentence rule by a sentence reference.
AlreadyRunningException - exception com.meyling.principia.AlreadyRunningException.
This class reads entries from property files.
AlreadyRunningException(String) - Constructor for class com.meyling.principia.AlreadyRunningException
 
ApplyAxiom - class com.meyling.principia.logic.rule.ApplyAxiom.
Implementation of applying an Axiom: A1 => A2 A3 --------- A4 if A1 => A2 matches A3 => A4
ApplyAxiom(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ApplyAxiom
Constructs an apply axiom rule by a proof line reference and an axiom reference.
ApplySentence - class com.meyling.principia.logic.rule.ApplySentence.
Implementation of applying a Sentence: A1 => A2 A3 --------- A4 if A1 => A2 matches A3 => A4
ApplySentence(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ApplySentence
Constructs an apply sentence rule by a proof line reference and a sentence reference.
Argument - interface com.meyling.principia.argument.Argument.
Every Operator must implement this interface.
ArgumentConstants - interface com.meyling.principia.argument.ArgumentConstants.
This interface provides constants of this package.
ArgumentCreator - class com.meyling.principia.argument.ArgumentCreator.
This class provides static methods for reading and writing an Argument.
ArgumentCreator() - Constructor for class com.meyling.principia.argument.ArgumentCreator
 
ArgumentException - exception com.meyling.principia.argument.ArgumentException.
This is a construction (and checking) exception for arguments.
ArgumentException(int, String) - Constructor for class com.meyling.principia.argument.ArgumentException
Constructs an argument exception.
ArgumentException(int, String, Argument) - Constructor for class com.meyling.principia.argument.ArgumentException
Constructs an argument exception.
ArgumentException(int, String, Argument, Argument) - Constructor for class com.meyling.principia.argument.ArgumentException
Constructs an argument exception.
ArgumentException(int, String, Argument, boolean) - Constructor for class com.meyling.principia.argument.ArgumentException
Constructs an argument exception.
Author - class com.meyling.principia.module.Author.
Describes a module author.
Author(Argument[]) - Constructor for class com.meyling.principia.module.Author
Constructs a proof line made of a formula and a rule and its arguments.
AuthorList - class com.meyling.principia.module.AuthorList.
List of module authors .
AuthorList(Argument[]) - Constructor for class com.meyling.principia.module.AuthorList
Constructs a list of module authors.
Axiom - class com.meyling.principia.logic.paragraph.Axiom.
Logical Axiom.
Axiom(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Axiom
Constructs a logical Axiom.
add(Argument) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
Adds an argument to end of dynamic list.
add(PatternVariable) - Method in class com.meyling.principia.argument.PatternVariables
Add an PatternVariable if not already there.
add(PropositionVariable) - Method in class com.meyling.principia.logic.basic.PropositionVariables
Add a proposition variable to the set.
add(SubjectVariableMarker) - Method in class com.meyling.principia.logic.basic.SubjectVariables
Add a subject variable to the set.
addAbbreviation(String, Abbreviation, Module) - Method in class com.meyling.principia.module.Module
Add abbreviation with label abbreviationLabel.
addAll(PatternVariables) - Method in class com.meyling.principia.argument.PatternVariables
Add all these PatternVariables to the set?
addAll(PropositionVariables) - Method in class com.meyling.principia.logic.basic.PropositionVariables
Add all these proposition variables.
addAll(SubjectVariables) - Method in class com.meyling.principia.logic.basic.SubjectVariables
Add all these subject variables.
addAndThrow(Argument) - Method in class com.meyling.principia.argument.FoundException
Constructs an argument exception, starts with an argument.
addAxiom(String, Axiom, Module) - Method in class com.meyling.principia.module.Module
Add axiom with label axiomLabel.
addModule(ModuleProperties) - Method in interface com.meyling.principia.module.ModuleEventListener
Add module.
addReferencedModule(Module) - Method in class com.meyling.principia.module.Module
Add referenced module.
addRuleDeclaration(String, RuleDeclaration, Module) - Method in class com.meyling.principia.module.Module
Declare a new rule.
addSentence(String, Sentence, Module) - Method in class com.meyling.principia.module.Module
Add sentence with label sentenceLabel.

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.