Uses of Class
org.clafer.ast.AstLocal

Packages that use AstLocal

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

Uses of AstLocal in org.clafer.ast

Methods in org.clafer.ast that return AstLocal

Modifier and Type	Method and Description
AstLocal[]	AstDecl.getLocals()
static AstLocal	Asts.local(String name)

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

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)
B	AstExprVisitor.visit(AstLocal ast, A a)
AstExpr	AstExprRewriter.visit(AstLocal ast, T a)

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

Constructor and Description
AstDecl(boolean disjoint, AstLocal[] locals, AstSetExpr body)