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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PMII - 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

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.