Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.