Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.module.Name

Packages that use Name
com.meyling.principia.module   
 

Uses of Name in com.meyling.principia.module
 

Methods in com.meyling.principia.module that return Name
 Name ModuleAddress.getName()
          Get name of module (without version information and postfix).
 

Constructors in com.meyling.principia.module with parameters of type Name
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.