Uses of Class com.meyling.principia.logic.paragraph.RuleDeclaration (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.RuleDeclaration

Packages that use RuleDeclaration
com.meyling.principia.logic.rule |
com.meyling.principia.module |

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

Methods in com.meyling.principia.logic.rule with parameters of type RuleDeclaration
`static void` | `LeftAdditionConjunction.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `RenameFreeSubjectVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `ConjunctionRule.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `SubstLine.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `ReplacePropositionVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `ReverseImplication.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `RightAddition.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `AddSentence.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `LeftAddition.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `RightAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `LeftAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `ReplacePredicateVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `RenameBoundSubjectVariable.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `AddAxiom.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `Generalization.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `Particularization.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `ApplySentence.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `ApplyAxiom.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `HypotheticalSyllogism.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `ReverseAbbreviation.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `ElementaryEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `UseAbbreviation.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `RightAdditionEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `LeftAdditionEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.
`static void` | `ModusPonens.checkDeclaration(Module module, RuleDeclaration declaration)` Check this rule could be declared.
`static void` | `RightAdditionConjunction.checkDeclaration(Module module, RuleDeclaration declaration)` Check if this rule could be declared.

Uses of RuleDeclaration in com.meyling.principia.module

Methods in com.meyling.principia.module that return RuleDeclaration
`RuleDeclaration` | `Module.getRuleDeclaration(Class rule)` Get the declaration for a rule.
`RuleDeclaration` | `Module.getRuleDeclaration(String ruleLabel)` Get the declaration for a rule.

Methods in com.meyling.principia.module with parameters of type RuleDeclaration
`void` | `Module.addRuleDeclaration(String ruleLabel, RuleDeclaration declaration, Module module)` Declare a new rule.

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.