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

Packages that use Module
com.meyling.principia.html |
com.meyling.principia.latex |
com.meyling.principia.logic.paragraph |
com.meyling.principia.logic.rule |
com.meyling.principia.module |

Uses of Module in com.meyling.principia.html

Methods in com.meyling.principia.html with parameters of type Module
`String` | `Module2Html.createLink(Module referenced)` Get link address for referenced module.
`String` | `Module2JHtml.createLink(Module referenced)` Get link address for referenced module.
`String` | `Module2OldHtml.createLink(Module referenced)` Get link address for referenced module.

Uses of Module in com.meyling.principia.latex

Methods in com.meyling.principia.latex with parameters of type Module
`String` | `Module2Latex.createLink(Module referenced)` Get link address for referenced module.
`String` | `Module2Latex.createQedeqLink(Module referenced)` Get link address for referenced module.

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

Methods in com.meyling.principia.logic.paragraph with parameters of type Module
`void` | `Axiom.check(Module module, String label)` Tries to add this axiom.
`void` | `Abbreviation.check(Module module, String label)` Adds abbreviation to module.
`void` | `Paragraph.check(Module module)` Check if this paragraph could be added.
`void` | `ParagraphCheck.check(Module module, String label)` Check if a paragraph could be added to a module.
`void` | `Proposition.check(Module module, String label)` Check if proof is correct.
`void` | `Proposition.reduceRuleVersion(Module module, Version version)` Reduce needed rule version and change proof lines in that way.
`void` | `RuleDeclaration.check(Module module, String label)` Check if declaration is correct.

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

Methods in com.meyling.principia.logic.rule with parameters of type Module
`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`.
`static void` | `LeftAdditionConjunction.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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)`
`static void` | `RenameFreeSubjectVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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)`
`static void` | `ConjunctionRule.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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`.
`static void` | `SubstLine.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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)`
`static void` | `ReplacePropositionVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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`.
`static void` | `ReverseImplication.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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`.
`static void` | `RightAddition.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`void` | `AddSentence.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula.
`static void` | `AddSentence.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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`.
`static void` | `LeftAddition.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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`.
`static void` | `RightAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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.
`static void` | `LeftAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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)`
`static void` | `ReplacePredicateVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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)`
`static void` | `RenameBoundSubjectVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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)`
`static void` | `AddAxiom.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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)`
`static void` | `Generalization.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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)`
`static void` | `Particularization.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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`.
`static void` | `ApplySentence.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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`.
`static void` | `ApplyAxiom.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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`.
`static void` | `HypotheticalSyllogism.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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)`
`static void` | `ReverseAbbreviation.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`void` | `ElementaryEquivalence.check(Module module, ProofLineList proofLines, int position, Formula formula)` Check if proof could be extended with formula.
`static void` | `ElementaryEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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)`
`static void` | `UseAbbreviation.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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.
`static void` | `RightAdditionEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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.
`static void` | `LeftAdditionEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`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)`
`static void` | `ModusPonens.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`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`.
`static void` | `RightAdditionConjunction.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.

Uses of Module in com.meyling.principia.module

Methods in com.meyling.principia.module that return Module
`Module` | `Module.getLabelModule(String label)` Get module the label was defined in.
`Module` | `ModuleProperties.getModule()` Get module.
`Module` | `ModuleContext.loadModule(String address)` Get a certain module.
`Module` | `ModuleContext.loadModule(ModuleAddress moduleAddress)` Get a certain module.
`Module` | `ModuleContext.loadModule(Module module, Specification spec)` Load a certain module.

Methods in com.meyling.principia.module with parameters of type Module
`void` | `Module.addReferencedModule(Module module)` Add referenced module.
`void` | `Module.addAbbreviation(String abbreviationLabel, Abbreviation abbreviation, Module module)` Add abbreviation with label `abbreviationLabel`.
`void` | `Module.addAxiom(String axiomLabel, Axiom axiom, Module module)` Add axiom with label `axiomLabel`.
`void` | `Module.addSentence(String sentenceLabel, Sentence sentence, Module module)` Add sentence with label `sentenceLabel`.
`void` | `Module.addRuleDeclaration(String ruleLabel, RuleDeclaration declaration, Module module)` Declare a new rule.
`(package private) static ModuleAddress[]` | `ModuleAddress.getModulePaths(Module module, Specification spec)` Get all potential module addresses from a module specifiaction.
`void` | `ModuleProperties.setCheckedAndLoaded(Module module)` Set checked and loaded state and module.
`Module` | `ModuleContext.loadModule(Module module, Specification spec)` Load a certain module.
`static void` | `ModuleWriter.writeModule(Module module, Output output)` Write a module.

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.