Uses of Interface
org.clafer.ir.IrIntExprVisitor

Packages that use IrIntExprVisitor

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

Uses of IrIntExprVisitor in org.clafer.ir

Classes in org.clafer.ir that implement IrIntExprVisitor

Modifier and Type	Class and Description
class	IrRewriter<T>

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

Modifier and Type	Method and Description
<A,B> B	IrImplies.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrAnd.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrNotWithin.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrIntChannel.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrSortStrings.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrSortStringsChannel.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrOr.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrUnreachable.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrBoolVar.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrIfThenElse.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrCount.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrNotImplies.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrBoolChannel.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrNotMember.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrSetSum.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrXor.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrAdd.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrMul.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrSubsetEq.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrTernary.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrSortSets.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrAllDifferent.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrNot.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrIfOnlyIf.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrMember.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrIntExpr.accept(IrIntExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
<A,B> B	IrCard.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrCompare.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrMinus.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrSetTest.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrElement.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrLone.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrOne.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrWithin.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrFilterString.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrAcyclic.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrDiv.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrIntVar.accept(IrIntExprVisitor<A,B> visitor, A a)
<A,B> B	IrSelectN.accept(IrIntExprVisitor<A,B> visitor, A a)