Uses of Class
org.clafer.ast.AstNot

Packages that use AstNot

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

Uses of AstNot in org.clafer.ast

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

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