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

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

Packages that use Abbreviation
com.meyling.principia.module

Methods in com.meyling.principia.module that return Abbreviation

Abbreviation Module.getAbbreviation(String abbreviationLabel)
Get the abbreviation with label abbreviationLabel.

Methods in com.meyling.principia.module with parameters of type Abbreviation

void Module.addAbbreviation(String abbreviationLabel, Abbreviation abbreviation, Module module)
Add abbreviation with label abbreviationLabel.