Uses of Class com.meyling.principia.module.Specification (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.Specification

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.
`Module` | `ModuleContext.loadModule(Module module, Specification spec)` Load a certain module.

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.