|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |