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

R

readAll(TextInput, Output) - Static method in class com.meyling.principia.latex.Qedeq2Latex

readArgument() - Method in class com.meyling.principia.module.ModuleCreator

Create an Argument out of an TextInput object.

readArgument(TextInput) - 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, 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.rule.RuleCreator

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.module.SimpleModuleCreator

Create an Argument out of an TextInput object.

readChar() - Method in class com.meyling.principia.io.TextInput

Reads a single character and increments the reading position by one.

readChar() - Method in class com.meyling.principia.io.Input

Reads a single character and increments the reading position by one.

readCounter() - Method in class com.meyling.principia.io.TextInput

Reads the next positive integer made completly out of digits, leading whitespace is skipped.

readCounter() - Method in class com.meyling.principia.io.Input

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

Reads the next string containing only letters or digits, leading whitespace is skipped.

readLetterDigitString() - Method in class com.meyling.principia.io.Input

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

Reads the next quoted string, leading whitespace is skipped.

readQuoted() - Method in class com.meyling.principia.io.Input

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) - Static method in class com.meyling.principia.module.ModuleContext

Reduce module file to module file that uses only basic rules.

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

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.

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.

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.

replace(Argument, Argument) - Method in class com.meyling.principia.argument.AbstractArgument

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(Enumerator, int, Argument, Argument) - Method in class com.meyling.principia.argument.AbstractArgument

replace(Enumerator, int, Argument, Argument) - Method in interface com.meyling.principia.argument.Argument

Replace the occurrence-th occurence of searchPattern with replacePattern.

replace(int, Argument) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList

Replaces an argument at spezified position.

replace(PatternVariables) - Method in class com.meyling.principia.argument.AbstractArgument

replace(PatternVariables) - Method in interface com.meyling.principia.argument.Argument

Replace every pattern variable that occurs in variables with its content.

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.

replaceBoundSubjectVariable(Enumerator, int, SubjectVariable, SubjectVariable) - Method in class com.meyling.principia.logic.basic.AbstractFormula

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.

replaceBoundSubjectVariable(Enumerator, int, SubjectVariable, SubjectVariable) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable

replaceBoundSubjectVariable(Enumerator, int, SubjectVariable, SubjectVariable) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

replaceBoundSubjectVariables(Enumerator) - Method in class com.meyling.principia.logic.basic.AbstractFormula

replaceBoundSubjectVariables(Enumerator) - Method in interface com.meyling.principia.logic.basic.Formula

Replace every bound SubjectVariable by a BasicSubjectVariablePatternVariable

replaceBoundSubjectVariables(Enumerator) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable

replaceBoundSubjectVariables(Enumerator) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

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.

ReplacePredicateVariable - class com.meyling.principia.logic.rule.ReplacePredicateVariable.

Replace predicate variable by 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.

replaceProofLineByProofLines(ProofLineList, int) - Method in class com.meyling.principia.logic.paragraph.Proposition

Replace a single proof line by some (other) proof lines.

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.

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

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.

RIGHT_ADDITION_OF_FORMULA_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

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.

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 a AddAxiom

RULE_ADD_SENTENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a 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 a AddAxiom

RULE_APPLY_SENTENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a ApplySenctence

RULE_CONJUNCTION_RULE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a 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 a ElementaryEquivalence

RULE_GENERALIZATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a Generalization

RULE_HYPOTHETICAL_SYLLOGISM - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a HypotheticalSyllogism

RULE_LEFT_ADDITION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a LeftAddition

RULE_LEFT_ADDITION_CONJUNCTION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a LeftAdditionConjunction

RULE_LEFT_ADDITION_EQUIVALENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RightAdditionImplication

RULE_LEFT_ADDITION_IMPLICATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RightAdditionImplication

RULE_LINK_REFERENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a LinkReference

RULE_MODUS_PONENS - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a 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 a Particularization

RULE_RENAME_BOUND_SUBJECT_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RenameBoundSubjectVariable

RULE_RENAME_FREE_SUBJECT_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RenameFreeSubjectVariable

RULE_REPLACE_PREDICATE_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a ReplacePredicate

RULE_REPLACE_PROPOSITION_VARIABLE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a ReplacePropositonVariable

RULE_REVERSE_ABBREVIATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a ReverseAbbreviation

RULE_REVERSE_IMPLICATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a ReverseImplication

RULE_RIGHT_ADDITION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RightAddition

RULE_RIGHT_ADDITION_CONJUNCTION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RightAdditionConjunction

RULE_RIGHT_ADDITION_EQUIVALENCE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RightAdditionImplication

RULE_RIGHT_ADDITION_IMPLICATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a RightAdditionImplication

RULE_SUBST_LINE - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a HypotheticalSyllogism

RULE_USE_ABBREVIATION - Static variable in class com.meyling.principia.logic.rule.RuleCreator

string for a UseAbbreviation

RULE_VERSION_CONFLICT - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

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.