- QuantifiedExpression - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of quantified expressions.
- QuantifiedExpression - Class in fmrisc.ProofNavigator.Syntax
-
Abstract base class of quantified expressions.
- QuantifiedExpression(String, TypedIdentifier[], Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.QuantifiedExpression
-
constructs quantified expression from quantifier, variables, and base
- QuantifiedFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of quantified formulas.
- QuantifiedTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of quantified terms.
- queryFormula(Expression) - Method in class fmrisc.ProofNavigator.Proving.CVCL.CVCL
-
Query truth of formula.
- queryFormula(Expression) - Method in interface fmrisc.ProofNavigator.Proving.Prover
-
query truth of formula.
- Question - Class in fmrisc.ProofNavigator.SWT
-
A window for selecting multiple directories.
- Question(Shell, String) - Constructor for class fmrisc.ProofNavigator.SWT.Question
-
Construct question with denoted shell
- Quit - Class in fmrisc.ProofNavigator.Commands
-
"quit": quit from current proof or session.
- Quit() - Constructor for class fmrisc.ProofNavigator.Commands.Quit
-
create a "quit" command
- quit() - Static method in class fmrisc.ProofNavigator.Main
-
Quit (session or current proof) after asking user whether to do so.