|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Specification | |
| com.meyling.principia.module | |
| Uses of Specification in com.meyling.principia.module |
| Methods in com.meyling.principia.module with parameters of type Specification | |
static String |
ModuleAddress.getModuleFileName(Specification spec)
Get the file name of the specified module. |
(package private) static ModuleAddress[] |
ModuleAddress.getModulePaths(Module module,
Specification spec)
Get all potential module addresses from a module specifiaction. |
static Module |
ModuleContext.loadModule(Module module,
Specification spec)
Load a certain module. |
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| ©left GNU General Public Licence All Rights Reserved. |