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