Uses of Class com.meyling.principia.logic.paragraph.ProofLineList (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
com.meyling.principia.logic.paragraph.ProofLineList

Packages that use ProofLineList
com.meyling.principia.logic.paragraph |
com.meyling.principia.logic.rule |

Uses of ProofLineList in com.meyling.principia.logic.paragraph

Methods in com.meyling.principia.logic.paragraph with parameters of type ProofLineList
`void` | `Proposition.replaceProofLineByProofLines(ProofLineList proofLines, int position)` Replace a single proof line by some (other) proof lines.

Uses of ProofLineList in com.meyling.principia.logic.rule

Methods in com.meyling.principia.logic.rule that return ProofLineList
`ProofLineList` | `LeftAdditionConjunction.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `RenameFreeSubjectVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `ConjunctionRule.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `SubstLine.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `ReplacePropositionVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `ReverseImplication.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `Rule.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `RightAddition.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `AddSentence.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `LeftAddition.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `RightAdditionImplication.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `LeftAdditionImplication.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `ReplacePredicateVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `RenameBoundSubjectVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `AddAxiom.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `Generalization.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `Particularization.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `ApplySentence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `ApplyAxiom.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `HypotheticalSyllogism.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `ReverseAbbreviation.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `ElementaryEquivalence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `UseAbbreviation.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `RightAdditionEquivalence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `LeftAdditionEquivalence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`ProofLineList` | `ModusPonens.extendWithout(Module module, ProofLineList proofLines, int position)`
`ProofLineList` | `RightAdditionConjunction.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.

Methods in com.meyling.principia.logic.rule with parameters of type ProofLineList
`void` | `LeftAdditionConjunction.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of left addition of a conjunction.
`ProofLineList` | `LeftAdditionConjunction.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `RenameFreeSubjectVariable.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula by replacing a free subject variable of a proof line by another subject variable.
`ProofLineList` | `RenameFreeSubjectVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `ConjunctionRule.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of conjunction rule.
`ProofLineList` | `ConjunctionRule.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `SubstLine.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with `formula`.
`ProofLineList` | `SubstLine.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `ReplacePropositionVariable.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula if the proposition variable is replaced by the formula of the constructor.
`ProofLineList` | `ReplacePropositionVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `ReverseImplication.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of reversing an implication.
`ProofLineList` | `ReverseImplication.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `Rule.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula (using the arguments of rule).
`ProofLineList` | `Rule.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `RightAddition.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of right addition.
`ProofLineList` | `RightAddition.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `AddSentence.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula.
`ProofLineList` | `AddSentence.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `LeftAddition.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of left addition.
`ProofLineList` | `LeftAddition.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `RightAdditionImplication.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of right addition of a implication.
`ProofLineList` | `RightAdditionImplication.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `LeftAdditionImplication.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of right addition of a implication.
`ProofLineList` | `LeftAdditionImplication.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `ReplacePredicateVariable.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula if replacing the predicate variable by the formula of the constructor.
`ProofLineList` | `ReplacePredicateVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `RenameBoundSubjectVariable.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula by replacing a bound subject variable of a proof line by another subject variable at a certain occurance.
`ProofLineList` | `RenameBoundSubjectVariable.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `AddAxiom.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with `formula`.
`ProofLineList` | `AddAxiom.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `Generalization.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of modus ponens.
`ProofLineList` | `Generalization.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `Particularization.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with a formula because of modus ponens.
`ProofLineList` | `Particularization.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `ApplySentence.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with `formula`.
`ProofLineList` | `ApplySentence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `ApplyAxiom.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with `formula`.
`ProofLineList` | `ApplyAxiom.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `HypotheticalSyllogism.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of hypothetical syllogism.
`ProofLineList` | `HypotheticalSyllogism.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `ReverseAbbreviation.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula.
`ProofLineList` | `ReverseAbbreviation.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `ElementaryEquivalence.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula.
`ProofLineList` | `ElementaryEquivalence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `UseAbbreviation.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula.
`ProofLineList` | `UseAbbreviation.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `RightAdditionEquivalence.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of right addition of a implication.
`ProofLineList` | `RightAdditionEquivalence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `LeftAdditionEquivalence.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of right addition of a implication.
`ProofLineList` | `LeftAdditionEquivalence.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.
`void` | `ModusPonens.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of modus ponens.
`ProofLineList` | `ModusPonens.extendWithout(Module module, ProofLineList proofLines, int position)`
`void` | `RightAdditionConjunction.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula because of right addition of a conjunction.
`ProofLineList` | `RightAdditionConjunction.extendWithout(Module module, ProofLineList proofLines, int position)` Return proof lines that could replace the proof line `position`.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.