Uses of Class
kodkod.ast.QuantifiedFormula.Quantifier

Packages that use QuantifiedFormula.Quantifier
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
 

Uses of QuantifiedFormula.Quantifier in kodkod.ast
 

Methods in kodkod.ast that return QuantifiedFormula.Quantifier
 QuantifiedFormula.Quantifier QuantifiedFormula.quantifier()
          Returns this.quantifier.
static QuantifiedFormula.Quantifier QuantifiedFormula.Quantifier.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static QuantifiedFormula.Quantifier[] QuantifiedFormula.Quantifier.values()
          Returns an array containing the constants of this enum type, in the order they're declared.
 

Methods in kodkod.ast with parameters of type QuantifiedFormula.Quantifier
 Formula Formula.quantify(QuantifiedFormula.Quantifier quantifier, Decls decls)
          Returns a quantification of this formula using the given quantifier over the specified declarations.