Uses of Class
org.clafer.ir.IrNotMember

Packages that use IrNotMember

Package	Description
org.clafer.ir	This package provides the IR used as in intermediate language during compilation.

Uses of IrNotMember in org.clafer.ir

Methods in org.clafer.ir with parameters of type IrNotMember

Modifier and Type	Method and Description
B	IrBoolExprVisitorAdapter.visit(IrNotMember ir, A a)
B	IrBoolExprVisitor.visit(IrNotMember ir, A a)
IrBoolExpr	IrRewriter.visit(IrNotMember ir, T a)