PMII - 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

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
 
qedeq2latex(String) - Static method in class com.meyling.principia.latex.Module2Latex
Replace \qedeq by LaTeX commands.
QUALIFIED_MUST_BE_FREE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
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.
quote(String) - Static method in class com.meyling.principia.io.Utility
Quotes a String.
QUOTED_STRING - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
QUOTED_STRING - Static variable in interface com.meyling.principia.io.IoConstants
 

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