Hilbert II - 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 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

©left GNU General Public Licence
All Rights Reserved.