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

R

REFERENCED_ABBREVIATION_DOES_NOT_EXIST - Static variable in interface com.meyling.principia.module.ModuleConstants
 
REFERENCED_AXIOM_DOES_NOT_EXIST - Static variable in interface com.meyling.principia.module.ModuleConstants
 
REFERENCED_FORMULA_DOES_NOT_EXIST - Static variable in interface com.meyling.principia.module.ModuleConstants
 
REFERENCED_PROOFLINES_NOT_SIMULAR - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
REFERENCED_RULE_DOES_NOT_EXIST - Static variable in interface com.meyling.principia.module.ModuleConstants
 
REFERENCED_RULE_IS_NOT_DECLARED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
REFERENCED_SENTENCE_DOES_NOT_EXIST - Static variable in interface com.meyling.principia.module.ModuleConstants
 
REGULAR_ARGUMENT_LIST - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a RegularArgumentList
REPLACING_ABBREVIATION_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
REPLACING_BOUND_VARIABLE_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
REPLACING_EQUIVALENCE_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
REPLACING_PREDICATE_VARIABLE_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
REPLACING_PROPOSITION_VARIABLE_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
REPLACING_WITH_ABBREVIATION_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
RESULT - Static variable in class com.meyling.principia.logic.basic.PackageTest
seperates result from arguments
RESULT - Static variable in class com.meyling.principia.module.PackageTest
seperates result from arguments
RESULT_NOT_EQUAL_WITH_EXPECTED - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
RESULT_NOT_EQUAL_WITH_EXPECTED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
RIGHT_ADDITION_OF_FORMULA_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
RULE - Static variable in interface com.meyling.principia.module.ModuleConstants
 
RULE_ADD_AXIOM - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for AddAxiom
RULE_ADD_SENTENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for AddSenctence
RULE_ALREADY_DECLARED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
RULE_APPLY_AXIOM - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for AddAxiom
RULE_APPLY_SENTENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ApplySenctence
RULE_CONJUNCTION_RULE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ElementaryEquivalence
RULE_DECLARATION_CONDITION_NOT_FULLFILLED - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
RULE_DECLARATION_MISSING - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
RULE_ELEMENTARY_EQUIVALENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ElementaryEquivalence
RULE_GENERALIZATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for Generalization
RULE_HYPOTHETICAL_SYLLOGISM - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for HypotheticalSyllogism
RULE_LEFT_ADDITION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for LeftAddition
RULE_LEFT_ADDITION_CONJUNCTION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for LeftAdditionConjunction
RULE_LEFT_ADDITION_EQUIVALENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RightAdditionImplication
RULE_LEFT_ADDITION_IMPLICATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RightAdditionImplication
RULE_LINK_REFERENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for LinkReference
RULE_MODUS_PONENS - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ModusPonens
RULE_NOT_DECLARED - Static variable in interface com.meyling.principia.logic.paragraph.ParagraphConstants
 
RULE_PARTICULARIZATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for Particularization
RULE_RENAME_BOUND_SUBJECT_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RenameBoundSubjectVariable
RULE_RENAME_FREE_SUBJECT_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RenameFreeSubjectVariable
RULE_REPLACE_PREDICATE_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ReplacePredicate
RULE_REPLACE_PROPOSITION_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ReplacePropositonVariable
RULE_REVERSE_ABBREVIATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ReverseAbbreviation
RULE_REVERSE_IMPLICATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for ReverseImplication
RULE_RIGHT_ADDITION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RightAddition
RULE_RIGHT_ADDITION_CONJUNCTION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RightAdditionConjunction
RULE_RIGHT_ADDITION_EQUIVALENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RightAdditionImplication
RULE_RIGHT_ADDITION_IMPLICATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for RightAdditionImplication
RULE_SUBST_LINE - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for HypotheticalSyllogism
RULE_USE_ABBREVIATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator
string for UseAbbreviation
RULE_VERSION_CONFLICT - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
RegularArgumentList - class com.meyling.principia.logic.basic.RegularArgumentList.
A simple collection of arguments.
RegularArgumentList(Argument[]) - Constructor for class com.meyling.principia.logic.basic.RegularArgumentList
Constructs an argument list.
RenameBoundSubjectVariable - class com.meyling.principia.logic.rule.RenameBoundSubjectVariable.
Replace a free subject variable by another subject variable: A[x] ----------- A[y]
RenameBoundSubjectVariable(Argument[]) - Constructor for class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
Constructs a replace predicate variable rule.
RenameFreeSubjectVariable - class com.meyling.principia.logic.rule.RenameFreeSubjectVariable.
Replace a free subject variable by another subject variable: A[x] x is free in A[x] y is not bound in A[x] ---------------------- A[y]
RenameFreeSubjectVariable(Argument[]) - Constructor for class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
Constructs a replace predicate variable rule.
ReplacePredicateVariable - class com.meyling.principia.logic.rule.ReplacePredicateVariable.
Replace predicate variable by a formula: A[R(x,y,z)] formula F(x,y,z) ------------------ A[F(x,y,z)]
ReplacePredicateVariable(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ReplacePredicateVariable
Constructs a replace predicate variable rule.
ReplacePropositionVariable - class com.meyling.principia.logic.rule.ReplacePropositionVariable.
Replace predicate variables by formulas: A[p] formula F ----------- A[F]
ReplacePropositionVariable(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ReplacePropositionVariable
Constructs a replace sentence variable rule.
ReverseAbbreviation - class com.meyling.principia.logic.rule.ReverseAbbreviation.
Implemention of reversing an abbreviation: A1 --------- A0
ReverseAbbreviation(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ReverseAbbreviation
Constructs an inverting abbreviation rule.
ReverseImplication - class com.meyling.principia.logic.rule.ReverseImplication.
Implemention of reversing an implication.
ReverseImplication(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ReverseImplication
Constructs a reverse implication rule.
RightAddition - class com.meyling.principia.logic.rule.RightAddition.
Implemention of "addition" on the right side.
RightAddition(Argument[]) - Constructor for class com.meyling.principia.logic.rule.RightAddition
Constructs a right addition rule.
RightAdditionConjunction - class com.meyling.principia.logic.rule.RightAdditionConjunction.
Implemention of "addition" of an conjunction on the left side.
RightAdditionConjunction(Argument[]) - Constructor for class com.meyling.principia.logic.rule.RightAdditionConjunction
Constructs a right conjunction addition rule.
RightAdditionEquivalence - class com.meyling.principia.logic.rule.RightAdditionEquivalence.
Implemention of "addition" of an equivalence on the right side.
RightAdditionEquivalence(Argument[]) - Constructor for class com.meyling.principia.logic.rule.RightAdditionEquivalence
Constructs a left implication addition rule.
RightAdditionImplication - class com.meyling.principia.logic.rule.RightAdditionImplication.
Implemention of "addition" of an implication on the left side.
RightAdditionImplication(Argument[]) - Constructor for class com.meyling.principia.logic.rule.RightAdditionImplication
Constructs a right implication addition rule.
Rule - interface com.meyling.principia.logic.rule.Rule.
Every logical rule must implement this interface.
RuleConstants - interface com.meyling.principia.logic.rule.RuleConstants.
This interface provides constants of this package.
RuleCreator - class com.meyling.principia.logic.rule.RuleCreator.
This class provides static methods for reading and writing an Argument.
RuleCreator() - Constructor for class com.meyling.principia.logic.rule.RuleCreator
 
RuleDeclaration - class com.meyling.principia.logic.paragraph.RuleDeclaration.
Declares a logical rule.
RuleDeclaration(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.RuleDeclaration
Constructs a mathematical RuleDeclaration.
readAll(TextInput, Output) - Static method in class com.meyling.principia.latex.Qedeq2Latex
 
readArgument(TextInput, Map, ParsingTable) - Static method in class com.meyling.principia.argument.ArgumentCreator
Create an Argument out of an TextInput object.
readArgument(TextInput) - Static method in class com.meyling.principia.latex.Qedeq2Latex
 
readArgument(TextInput, ParsingTable) - Static method in class com.meyling.principia.logic.basic.BasicCreator
Create an Argument out of an TextInput object.
readArgument(TextInput, ParsingTable) - Static method in class com.meyling.principia.logic.paragraph.ParagraphCreator
Create an Argument out of an TextInput object.
readArgument(TextInput, ParsingTable) - Static method in class com.meyling.principia.logic.rule.RuleCreator
Create an Argument out of an TextInput object.
readArgument() - Method in class com.meyling.principia.module.ModuleCreator
Create an Argument out of an TextInput object.
readArgument(TextInput, ParsingTable) - Static method in class com.meyling.principia.module.SimpleModuleCreator
Create an Argument out of an TextInput object.
readChar() - Method in class com.meyling.principia.io.Input
Reads a single character and increments the reading position by one.
readChar() - Method in class com.meyling.principia.io.TextInput
Reads a single character and increments the reading position by one.
readCounter() - Method in class com.meyling.principia.io.Input
Reads the next positive integer made completly out of digits, leading whitespace is skipped.
readCounter() - Method in class com.meyling.principia.io.TextInput
Reads the next positive integer made completly out of digits, leading whitespace is skipped.
readLatexEnvironment() - Method in class com.meyling.principia.io.TextInput
Reads the next latex string containing Changes reading position.
readLatexWord() - Method in class com.meyling.principia.io.TextInput
Reads the next word string containing Changes reading position.
readLetterDigitString() - Method in class com.meyling.principia.io.Input
Reads the next string containing only letters or digits, leading whitespace is skipped.
readLetterDigitString() - Method in class com.meyling.principia.io.TextInput
Reads the next string containing only letters or digits, leading whitespace is skipped.
readLine() - Method in class com.meyling.principia.io.TextFileReader
For simple reading a complete line of the input file.
readQuoted() - Method in class com.meyling.principia.io.Input
Reads the next quoted string, leading whitespace is skipped.
readQuoted() - Method in class com.meyling.principia.io.TextInput
Reads the next quoted string, leading whitespace is skipped.
reduceRuleVersion(Module, Version) - Method in class com.meyling.principia.logic.paragraph.Proposition
Reduce needed rule version and change proof lines in that way.
reduceToBasicRules(String) - Method in class com.meyling.principia.module.ModuleContext
Reduce module file to module file that uses only basic rules.
remove(int) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
Deletes an argument of dynamic list.
remove(PatternVariable) - Method in class com.meyling.principia.argument.PatternVariables
Remove pattern variable with same number from the set.
remove(PropositionVariable) - Method in class com.meyling.principia.logic.basic.PropositionVariables
Remove a proposition variable or a pattern variable from the set.
remove(SubjectVariableMarker) - Method in class com.meyling.principia.logic.basic.SubjectVariables
Remove a subject variable or a pattern variable from the set.
removeAllModules() - Method in class com.meyling.principia.module.ModuleContext
Remove all modules from memory.
removeModule(ModuleProperties) - Method in interface com.meyling.principia.module.ModuleEventListener
Remove module.
removeModuleAndDependents(ModuleProperties) - Method in class com.meyling.principia.module.ModuleContext
Remove a module and its dependents from memory.
replace(Argument, Argument) - Method in class com.meyling.principia.argument.AbstractArgument
 
replace(PatternVariables) - Method in class com.meyling.principia.argument.AbstractArgument
 
replace(Enumerator, int, Argument, Argument) - Method in class com.meyling.principia.argument.AbstractArgument
 
replace(int, Argument) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
Replaces an argument at spezified position.
replace(Argument, Argument) - Method in interface com.meyling.principia.argument.Argument
Creates and returns a copy of this object, but replaces anything that Argument.equals(java.lang.Object) argument with a Argument.copy() of replacement.
replace(PatternVariables) - Method in interface com.meyling.principia.argument.Argument
Replace every pattern variable that occurs in variables with its content.
replace(Enumerator, int, Argument, Argument) - Method in interface com.meyling.principia.argument.Argument
Replace the occurrence-th occurence of searchPattern with replacePattern.
replace(String, String, String) - Static method in class com.meyling.principia.io.Utility
Replaces all occurences of search in text by replace and returns the result.
replace(StringBuffer, String, String) - Static method in class com.meyling.principia.io.Utility
Replaces all occurences of search in text by replace and returns the result.
replaceBoundSubjectVariable(Enumerator, int, SubjectVariable, SubjectVariable) - Method in class com.meyling.principia.logic.basic.AbstractFormula
 
replaceBoundSubjectVariable(Enumerator, int, SubjectVariable, SubjectVariable) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
replaceBoundSubjectVariable(Enumerator, int, SubjectVariable, SubjectVariable) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
replaceBoundSubjectVariable(Enumerator, int, SubjectVariable, SubjectVariable) - Method in interface com.meyling.principia.logic.basic.Formula
Replace the occurrence-th occurence of a bound SubjectVariable by another one.
replaceBoundSubjectVariables(Enumerator) - Method in class com.meyling.principia.logic.basic.AbstractFormula
 
replaceBoundSubjectVariables(Enumerator) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
replaceBoundSubjectVariables(Enumerator) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
replaceBoundSubjectVariables(Enumerator) - Method in interface com.meyling.principia.logic.basic.Formula
Replace every bound SubjectVariable by a BasicSubjectVariablePatternVariable
replaceMatches(Argument, Argument) - Method in class com.meyling.principia.argument.AbstractArgument
 
replaceMatches(Argument, Argument) - Method in interface com.meyling.principia.argument.Argument
Replace all occurrences of searchPattern with replacePattern.
replaceProofLineByProofLines(ProofLineList, int) - Method in class com.meyling.principia.logic.paragraph.Proposition
Replace a single proof line by some (other) proof lines.

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.