|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Version | |
com.meyling.principia.logic.paragraph | |
com.meyling.principia.logic.rule | |
com.meyling.principia.module |
Uses of Version in com.meyling.principia.logic.paragraph |
Methods in com.meyling.principia.logic.paragraph with parameters of type Version | |
void |
Proposition.reduceRuleVersion(Module module,
Version version)
Reduce needed rule version and change proof lines in that way. |
Uses of Version in com.meyling.principia.logic.rule |
Methods in com.meyling.principia.logic.rule that return Version | |
Version |
LeftAdditionConjunction.getVersion()
|
Version |
RenameFreeSubjectVariable.getVersion()
|
Version |
ConjunctionRule.getVersion()
|
Version |
SubstLine.getVersion()
|
Version |
ReplacePropositionVariable.getVersion()
|
Version |
ReverseImplication.getVersion()
|
Version |
Rule.getVersion()
Get version of this rule. |
Version |
RightAddition.getVersion()
|
Version |
AddSentence.getVersion()
|
Version |
LeftAddition.getVersion()
|
Version |
RightAdditionImplication.getVersion()
|
Version |
LeftAdditionImplication.getVersion()
|
Version |
ReplacePredicateVariable.getVersion()
|
Version |
RenameBoundSubjectVariable.getVersion()
|
Version |
AddAxiom.getVersion()
|
Version |
Generalization.getVersion()
|
Version |
Particularization.getVersion()
|
Version |
ApplySentence.getVersion()
|
Version |
ApplyAxiom.getVersion()
|
Version |
HypotheticalSyllogism.getVersion()
|
Version |
ReverseAbbreviation.getVersion()
|
Version |
ElementaryEquivalence.getVersion()
|
Version |
UseAbbreviation.getVersion()
|
Version |
RightAdditionEquivalence.getVersion()
|
Version |
LeftAdditionEquivalence.getVersion()
|
Version |
ModusPonens.getVersion()
|
Version |
RightAdditionConjunction.getVersion()
|
Uses of Version in com.meyling.principia.module |
Methods in com.meyling.principia.module that return Version | |
Version |
Module.getRuleVersion()
Get the rule version this module could use maximal. |
Version |
ModuleAddress.getRuleVersion()
Get rule version of module. |
Version |
ModuleAddress.getModuleVersion()
Get version of module. |
Methods in com.meyling.principia.module with parameters of type Version | |
void |
Module.setRuleVersion(Version version)
Set the rule version this module could use maximal. |
boolean |
Version.greaterThan(Version v)
Check if this version is greater than another one |
boolean |
Version.equalWith(Version v)
Check if this version is equal to another one. |
Constructors in com.meyling.principia.module with parameters of type Version | |
ModuleAddress(ModuleAddress oldAddress,
Name name,
Version moduleVersion,
Version ruleVersion)
Constructor. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |