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


PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.