|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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. |
|
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| ©left GNU General Public Licence All Rights Reserved. |