Uses of Class
org.clafer.ir.IrUnreachable

Packages that use IrUnreachable

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

Uses of IrUnreachable in org.clafer.ir

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

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