Uses of Class com.meyling.principia.logic.paragraph.Axiom (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
com.meyling.principia.logic.paragraph.Axiom

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`.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.