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.