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

Q

QUALIFIED_MUST_BE_FREE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
QUOTED_STRING - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
QUOTED_STRING - Static variable in interface com.meyling.principia.io.IoConstants
 
Qedeq2Latex - class com.meyling.principia.latex.Qedeq2Latex.
This class provides static methods for converting module files into LaTex files.
Qedeq2Latex() - Constructor for class com.meyling.principia.latex.Qedeq2Latex
 
Quantifier - class com.meyling.principia.logic.basic.Quantifier.
Basis class for Quantifier.
Quantifier(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Quantifier
Constructs a logical quantifier.
qedeq2latex(String) - Static method in class com.meyling.principia.latex.Module2Latex
Replace \qedeq by LaTeX commands.
quote(String) - Static method in class com.meyling.principia.io.Utility
Quotes a String.

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.