Uses of Class
jml2b.formula.QuantifiedVarForm

Packages that use QuantifiedVarForm

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.languages
jml2b.languages.java

Uses of QuantifiedVarForm in jml2b.formula

Methods in jml2b.formula that return QuantifiedVarForm

QuantifiedVarForm

QuantifiedVarForm.getNext()

Constructors in jml2b.formula with parameters of type QuantifiedVarForm

QuantifiedForm(byte nodeType, QuantifiedVarForm vars, Formula body)
Constructs a quantified formula from a set of variables and a formula.

QuantifiedVarForm(QuantifiedVarForm qvf)

QuantifiedVarForm(TerminalForm var, Formula type, QuantifiedVarForm next)
Creates a quantified variable list from another one.

Uses of QuantifiedVarForm in jml2b.languages

Methods in jml2b.languages with parameters of type QuantifiedVarForm

ITranslatable

ILanguage.quantifiedVarFactory(QuantifiedVarForm qvf) Returns quantified variables corresponding to the initial ones but translatable.

Uses of QuantifiedVarForm in jml2b.languages.java

Subclasses of QuantifiedVarForm in jml2b.languages.java

class

JavaQuantifiedVarForm

Methods in jml2b.languages.java with parameters of type QuantifiedVarForm

ITranslatable

JavaLanguage.quantifiedVarFactory(QuantifiedVarForm qvf)