Uses of Class
org.clafer.ast.AstDecl

Packages that use AstDecl

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

Uses of AstDecl in org.clafer.ast

Methods in org.clafer.ast that return AstDecl

Modifier and Type	Method and Description
static AstDecl	Asts.decl(AstLocal[] locals, AstSetExpr body)
static AstDecl	Asts.decl(AstLocal local, AstSetExpr body)
static AstDecl	Asts.decl(boolean disjoint, AstLocal[] locals, AstSetExpr body)
static AstDecl	Asts.disjDecl(AstLocal[] locals, AstSetExpr body)
AstDecl[]	AstQuantify.getDecls()
AstDecl	AstDecl.withBody(AstSetExpr body)

Methods in org.clafer.ast with parameters of type AstDecl

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

Constructors in org.clafer.ast with parameters of type AstDecl

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