D-Index (PMII - Principia Mathematica II)

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

A B C D E F G H I L M N O P Q R S T U V W

## D

DIFFERENT_PATTERN_VARIABLES - Static variable in interface com.meyling.principia.module.ModuleConstants
DISJUNCTION - Static variable in class com.meyling.principia.logic.basic.BasicCreator
  string for a `Disjunction`
DataDictionary - class com.meyling.principia.io.DataDictionary.
  This class reads entries from property files and gives typed get and set methods.
Description - class com.meyling.principia.module.Description.
  A module description.
Description(Argument[]) - Constructor for class com.meyling.principia.module.Description
  Constructs a module description.
Disjunction - class com.meyling.principia.logic.basic.Disjunction.
  Disjunction of formulas.
Disjunction(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Disjunction
  Constructs a logical disjunction.
Disjunction(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Disjunction
  Constructs a logical disjunction.
deleteDir(File) - Static method in class com.meyling.principia.io.Utility
doIt(String[]) - Static method in class com.meyling.principia.CheckModule
  Check modules by trying to load them.
doIt(String[]) - Static method in class com.meyling.principia.MakeCompressedModule
  Create compressed modules.
doIt(String[]) - Static method in class com.meyling.principia.MakeHtmlModule
  Create html modules.
doIt(String[]) - Static method in class com.meyling.principia.MakeLatexModule
  Create LaTeX modules.
doIt(String[]) - Static method in class com.meyling.principia.MakeReducedModule
  Create reduced modules.

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

A B C D E F G H I L M N O P Q R S T U V W

©left GNU General Public Licence All Rights Reserved.