Uses of Class
org.clafer.ast.AstQuantify

Packages that use AstQuantify

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

Uses of AstQuantify in org.clafer.ast

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

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