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

## 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`.

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.