Uses of Class
org.clafer.ast.AstCard

Packages that use AstCard

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

Uses of AstCard in org.clafer.ast

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

Modifier and Type	Method and Description
B	AstExprVisitor.visit(AstCard ast, A a)
AstExpr	AstExprRewriter.visit(AstCard ast, T a)