A B C D E F G H I J K L M N O P Q R S T U V W X Z

Q

QuantifiedFormula - Class in kodkod.ast
A quantified formula.
QuantifiedFormula.Quantifier - Enum in kodkod.ast
Represents a logical quantifier.
quantifier() - Method in class kodkod.ast.QuantifiedFormula
Returns this.quantifier.
quantify(QuantifiedFormula.Quantifier, Decls) - Method in class kodkod.ast.Formula
Returns a quantification of this formula using the given quantifier over the specified declarations.

A B C D E F G H I J K L M N O P Q R S T U V W X Z