Uses of Class
org.clafer.ir.IrIfOnlyIf

Packages that use IrIfOnlyIf

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

Uses of IrIfOnlyIf in org.clafer.ir

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

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