Uses of Class
org.clafer.ast.AstQuantify.Quantifier

Packages that use AstQuantify.Quantifier

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.

Uses of AstQuantify.Quantifier in org.clafer.ast

Methods in org.clafer.ast that return AstQuantify.Quantifier

Modifier and Type	Method and Description
AstQuantify.Quantifier	AstQuantify.getQuantifier()
static AstQuantify.Quantifier	AstQuantify.Quantifier.valueOf(String name) Returns the enum constant of this type with the specified name.
static AstQuantify.Quantifier[]	AstQuantify.Quantifier.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.clafer.ast with parameters of type AstQuantify.Quantifier

Modifier and Type	Method and Description
static AstBoolExpr	Asts.quantify(AstQuantify.Quantifier quantifier, AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.quantify(AstQuantify.Quantifier quantifier, AstDecl decl, AstBoolExpr body)

Constructors in org.clafer.ast with parameters of type AstQuantify.Quantifier

Constructor and Description
AstQuantify(AstQuantify.Quantifier quantifier, AstDecl[] decls, AstBoolExpr body)