Uses of Class
org.clafer.ir.IrArrayToSet

Packages that use IrArrayToSet

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

Uses of IrArrayToSet in org.clafer.ir

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

Modifier and Type	Method and Description
B	IrSetExprVisitor.visit(IrArrayToSet ir, A a)
IrSetExpr	IrRewriter.visit(IrArrayToSet ir, T a)