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

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

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.