org.clafer.ir

Interface IrSetExprVisitor<A,B>

Type Parameters:

A - the parameter type

B - the return type

All Known Implementing Classes:

IrRewriter

public interface IrSetExprVisitor<A,B>

Dynamic dispatch for IR set expressions.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
B	visit(IrArrayToSet ir, A a)
B	visit(IrJoinFunction ir, A a)
B	visit(IrJoinRelation ir, A a)
B	visit(IrMask ir, A a)
B	visit(IrOffset ir, A a)
B	visit(IrSetDifference ir, A a)
B	visit(IrSetIntersection ir, A a)
B	visit(IrSetTernary ir, A a)
B	visit(IrSetUnion ir, A a)
B	visit(IrSetVar ir, A a)
B	visit(IrSingleton ir, A a)

Method Detail

visit

B visit(IrSetVar ir,
      A a)

visit

B visit(IrSingleton ir,
      A a)

visit

B visit(IrArrayToSet ir,
      A a)

visit

B visit(IrJoinRelation ir,
      A a)

visit

B visit(IrJoinFunction ir,
      A a)

visit

B visit(IrSetDifference ir,
      A a)

visit

B visit(IrSetIntersection ir,
      A a)

visit

B visit(IrSetUnion ir,
      A a)

visit

B visit(IrOffset ir,
      A a)

visit

B visit(IrMask ir,
      A a)

visit

B visit(IrSetTernary ir,
      A a)