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

Q

QuantifiedFormula - Class in kodkod.ast

A quantified formula.

quantifiedFormulaDetector() - Method in class kodkod.util.nodes.AnnotatedNode

Returns a Detector that will return TRUE when applied to a descendent of this.node iff the descendent contains a quantified formula.

Quantifier - Enum in kodkod.ast.operator

Enumerates logical quantifiers.

quantifier() - Method in class kodkod.ast.QuantifiedFormula

Returns this.quantifier.

quantify(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