PMII - JAVA-Packages - Principia Mathematica II

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 UseAbbreviation.getVersion()
           
 Version Particularization.getVersion()
           
 Version ReplacePropositionVariable.getVersion()
           
 Version RightAdditionEquivalence.getVersion()
           
 Version LeftAdditionImplication.getVersion()
           
 Version RenameBoundSubjectVariable.getVersion()
           
 Version Rule.getVersion()
          Get version of this rule.
 Version RightAddition.getVersion()
           
 Version SubstLine.getVersion()
           
 Version Generalization.getVersion()
           
 Version LeftAdditionEquivalence.getVersion()
           
 Version ConjunctionRule.getVersion()
           
 Version RenameFreeSubjectVariable.getVersion()
           
 Version RightAdditionConjunction.getVersion()
           
 Version ReplacePredicateVariable.getVersion()
           
 Version ReverseImplication.getVersion()
           
 Version AddSentence.getVersion()
           
 Version AddAxiom.getVersion()
           
 Version ApplySentence.getVersion()
           
 Version ModusPonens.getVersion()
           
 Version ApplyAxiom.getVersion()
           
 Version HypotheticalSyllogism.getVersion()
           
 Version LeftAdditionConjunction.getVersion()
           
 Version ReverseAbbreviation.getVersion()
           
 Version RightAdditionImplication.getVersion()
           
 Version LeftAddition.getVersion()
           
 Version ElementaryEquivalence.getVersion()
           
 

Uses of Version in com.meyling.principia.module
 

Methods in com.meyling.principia.module that return Version
 Version ModuleAddress.getRuleVersion()
          Get rule version of module.
 Version ModuleAddress.getModuleVersion()
          Get version of module.
 Version Module.getRuleVersion()
          Get the rule version this module could use maximal.
 

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.
 


PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.