Uses of Class
org.clafer.ir.IrNot

Packages that use IrNot

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

Uses of IrNot in org.clafer.ir

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

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