Uses of Class
org.jmlspecs.jml4.esc.vc.lang.VcQuantifier

Packages that use VcQuantifier

org.jmlspecs.jml4.esc.vc.lang

Uses of VcQuantifier in org.jmlspecs.jml4.esc.vc.lang

Fields in org.jmlspecs.jml4.esc.vc.lang declared as VcQuantifier

static VcQuantifier	VcQuantifier.FORALL
VcQuantifier	VcQuantifiedExpression.quantifier

Constructors in org.jmlspecs.jml4.esc.vc.lang with parameters of type VcQuantifier

VcQuantifiedExpression(VcQuantifier quantifier, VcVarDecl[] boundVarDecls, VC body)

VcQuantifiedExpression(VcQuantifier quantifier, VC range, VC body, TypeBinding type, int sourceStart, int sourceEnd)

VcQuantifiedExpression(VcQuantifier quantifier, VC range, VC body, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)