Uses of Class
org.clafer.ir.IrImplies

Packages that use IrImplies

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

Uses of IrImplies in org.clafer.ir

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

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