Uses of Interface
org.clafer.ir.IrBoolExprVisitor

Packages that use IrBoolExprVisitor

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

Uses of IrBoolExprVisitor in org.clafer.ir

Subinterfaces of IrBoolExprVisitor in org.clafer.ir

Modifier and Type	Interface and Description
interface	IrIntExprVisitor<A,B> Dynamic dispatch for IR integer expressions.

Classes in org.clafer.ir that implement IrBoolExprVisitor

Modifier and Type	Class and Description
class	IrBoolExprVisitorAdapter<A,B>
class	IrRewriter<T>

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

Modifier and Type	Method and Description
<A,B> B	IrImplies.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrAnd.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrNotWithin.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrIntChannel.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrSortStrings.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrSortStringsChannel.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrOr.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrUnreachable.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrBoolVar.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrIfThenElse.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrNotImplies.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrBoolChannel.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrNotMember.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrXor.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrSubsetEq.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrSortSets.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrAllDifferent.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrNot.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrIfOnlyIf.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrMember.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrCompare.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrSetTest.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrLone.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrOne.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrBoolExpr.accept(IrBoolExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
<A,B> B	IrWithin.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrFilterString.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrAcyclic.accept(IrBoolExprVisitor<A,B> visitor, A a)
<A,B> B	IrSelectN.accept(IrBoolExprVisitor<A,B> visitor, A a)