Uses of Class
org.clafer.ir.IrSortSets

Packages that use IrSortSets

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

Uses of IrSortSets in org.clafer.ir

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

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