|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in com.meyling.principia.module used by com.meyling.principia.htmlModule
|
Main data object of this project. |
Classes in com.meyling.principia.module used by com.meyling.principia.latexModule
|
Main data object of this project. |
Classes in com.meyling.principia.module used by com.meyling.principia.logic.paragraphLabeled
|
Every labeled thing must implement this interface. Module
|
Main data object of this project. ModuleConstants
|
This interface provides constants of this package. Textable
|
Every thing that represent a kind of text data must implement this interface. Version
|
A version description. |
Classes in com.meyling.principia.module used by com.meyling.principia.logic.ruleModule
|
Main data object of this project. ModuleConstants
|
This interface provides constants of this package. Version
|
A version description. |
Classes in com.meyling.principia.module used by com.meyling.principia.moduleImportList
|
List of Import s.Module
|
Main data object of this project. ModuleAddress
|
An object of this class represents an address for a module. Name
|
A reference label. ParagraphList
|
List of Paragraph sSpecification
|
Describes a specificiation of a module, that means its name, versions and possible "physical" locations. Textable
|
Every thing that represent a kind of text data must implement this interface. UsedbyList
|
List of known references to a module. Version
|
A version description. |
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |