Uses of Class
org.clafer.ir.IrWithin

Packages that use IrWithin

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

Uses of IrWithin in org.clafer.ir

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

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