Uses of Class
org.clafer.ir.IrNotWithin

Packages that use IrNotWithin

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

Uses of IrNotWithin in org.clafer.ir

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

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