Hilbert II - JAVA-Packages - Principia Mathematica II
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.

Hilbert II - JAVA-Packages - Principia Mathematica II
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.