Uses of Class
org.clafer.ir.IrAllDifferent

Packages that use IrAllDifferent

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

Uses of IrAllDifferent in org.clafer.ir

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

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