Uses of Class com.meyling.principia.module.Name (PMII - Principia Mathematica II)

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

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.