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.Version

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.

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.