Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.paragraph.Abbreviation

Packages that use Abbreviation
com.meyling.principia.module   
 

Uses of Abbreviation in 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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.