Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 

Q

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.
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links