Uses of Class
org.clafer.ir.IrAnd

Packages that use IrAnd

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

Uses of IrAnd in org.clafer.ir

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

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