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.