PMII - Principia Mathematica II: Uses of Class com.meyling.principia.logic.paragraph.RuleDeclaration

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PMII - 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 UseAbbreviation.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 ReplacePropositionVariable.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 LeftAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.

static void RenameBoundSubjectVariable.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.

static void RightAddition.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.

static void SubstLine.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 LeftAdditionEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.

static void ConjunctionRule.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.

static void RenameFreeSubjectVariable.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.

static void ReplacePredicateVariable.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 AddSentence.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 ApplySentence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.

static void ModusPonens.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 LeftAdditionConjunction.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 RightAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.

static void LeftAddition.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.

static void ElementaryEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check 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.