|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |