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

Q

QuantifiedExpression - Class in fmrisc.Syntax

Abstract base class of quantified expressions.

QuantifiedExpression(String, TypedIdentifier[], Expression) - Constructor for class fmrisc.Syntax.QuantifiedExpression

constructs quantified expression from quantifier, variables, and base

queryFormula(Expression) - Method in class fmrisc.Proving.CVCL.CVCL

Query truth of formula.

queryFormula(Expression) - Method in interface fmrisc.Proving.Prover

query truth of formula.

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.