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

Q

QuantifiedExp - class jml2b.structure.statement.QuantifiedExp.

This class implements a quantified expression, that is \forall type var; body or \exists type var; body.

QuantifiedExp(int, String, QuantifiedVar, Expression) - Constructor for class jml2b.structure.statement.QuantifiedExp

Constructs a quantified expression form another one

QuantifiedForm - class jml2b.formula.QuantifiedForm.

This class implements quantified formula: universal, existential or union.

QuantifiedForm(QuantifiedForm) - Constructor for class jml2b.formula.QuantifiedForm

QuantifiedForm(byte, QuantifiedVarForm, Formula) - Constructor for class jml2b.formula.QuantifiedForm

Constructs a quantified formula from a set of variables and a formula.

QuantifiedVar - class jml2b.structure.statement.QuantifiedVar.

This class implements a list of quantified fields.

QuantifiedVar(JmlFile, Type, AST) - Constructor for class jml2b.structure.statement.QuantifiedVar

QuantifiedVar(ParsedItem, Field, QuantifiedVar) - Constructor for class jml2b.structure.statement.QuantifiedVar

Constructs a quantified fields list form another one.

QuantifiedVarForm - class jml2b.formula.QuantifiedVarForm.

This class implements a list of quatified variables.

QuantifiedVarForm(QuantifiedVarForm) - Constructor for class jml2b.formula.QuantifiedVarForm

QuantifiedVarForm(TerminalForm, Formula) - Constructor for class jml2b.formula.QuantifiedVarForm

Creates a list with one quantified variable.

QuantifiedVarForm(TerminalForm, Formula, QuantifiedVarForm) - Constructor for class jml2b.formula.QuantifiedVarForm

Creates a quantified variable list from another one.

QuestionExp - class jml2b.structure.statement.QuestionExp.

This class implements a question expression, that is a ? b :c

quantifiedVarFactory(QuantifiedVarForm) - Method in interface jml2b.languages.ILanguage

Returns quantified variables corresponding to the initial ones but translatable.

quantifiedVarFactory(QuantifiedVarForm) - Method in class jml2b.languages.java.JavaLanguage

quantify(IJml2bConfiguration, AClass, Vector) - Static method in class jml2b.pog.Pog

Quantifies the member invariant of a class for all instances of this class.

quantify(String, Type, ColoredInfo) - Method in class jml2b.pog.lemma.Proofs

Quantifies the proof whith a variable.

quantify(String, Formula) - Method in class jml2b.pog.lemma.Proofs

Quantifies the proof whith a variable.

quantify(String, Formula, ColoredInfo) - Method in class jml2b.pog.lemma.Proofs

Quantifies the proof whith a variable.

quantify(Formula, Formula) - Method in class jml2b.pog.lemma.Proofs

quantify(Formula, Formula, ColoredInfo) - Method in class jml2b.pog.lemma.Proofs

Quantifies the proof whith a variable.