|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
Classes in com.meyling.principia.module used by com.meyling.principia.html| Module
|
Main data object of this project. |
|
Classes in com.meyling.principia.module used by com.meyling.principia.latex| Module
|
Main data object of this project. |
|
Classes in com.meyling.principia.module used by com.meyling.principia.logic.paragraph| Labeled
|
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.rule| Module
|
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.module| ImportList
|
List of Imports.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 ParagraphsSpecification
|
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. |