|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Sentence | |
com.meyling.principia.module |
Uses of Sentence in com.meyling.principia.module |
Methods in com.meyling.principia.module that return Sentence | |
Sentence |
Module.getSentence(String sentenceLabel)
Get the sentence with label sentenceLabel . |
Methods in com.meyling.principia.module with parameters of type Sentence | |
void |
Module.addSentence(String sentenceLabel,
Sentence sentence,
Module module)
Add sentence with label sentenceLabel . |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |