Uses of Class
org.clafer.ast.AstDifference

Packages that use AstDifference

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

Uses of AstDifference in org.clafer.ast

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

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