Uses of Class
org.jmlspecs.jml4.fspv.theory.TheoryQuantifier

Packages that use TheoryQuantifier

org.jmlspecs.jml4.fspv.theory

Uses of TheoryQuantifier in org.jmlspecs.jml4.fspv.theory

Fields in org.jmlspecs.jml4.fspv.theory declared as TheoryQuantifier

TheoryQuantifier

TheoryQuantifiedExpression.quantifier

Methods in org.jmlspecs.jml4.fspv.theory that return TheoryQuantifier

static TheoryQuantifier	TheoryQuantifier.exists()
static TheoryQuantifier	TheoryQuantifier.forall()
static TheoryQuantifier	TheoryQuantifier.max()
static TheoryQuantifier	TheoryQuantifier.min()
static TheoryQuantifier	TheoryQuantifier.numOf()
static TheoryQuantifier	TheoryQuantifier.product()
static TheoryQuantifier	TheoryQuantifier.sum()

Constructors in org.jmlspecs.jml4.fspv.theory with parameters of type TheoryQuantifier

TheoryQuantifiedExpression(TheoryQuantifier quantifier, TheoryVariable variable, TheoryExpression range, TheoryExpression body)