org.clafer.ir

Interface IrIntExprVisitor<A,B>

Type Parameters:

A - the parameter type

B - the return type

All Superinterfaces:

IrBoolExprVisitor<A,B>

All Known Implementing Classes:

IrRewriter

public interface IrIntExprVisitor<A,B>
extends IrBoolExprVisitor<A,B>

Dynamic dispatch for IR integer expressions.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
B	visit(IrAdd ir, A a)
B	visit(IrCard ir, A a)
B	visit(IrCount ir, A a)
B	visit(IrDiv ir, A a)
B	visit(IrElement ir, A a)
B	visit(IrIntVar ir, A a)
B	visit(IrMinus ir, A a)
B	visit(IrMul ir, A a)
B	visit(IrSetSum ir, A a)
B	visit(IrTernary ir, A a)

Methods inherited from interface org.clafer.ir.IrBoolExprVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Method Detail

visit

B visit(IrIntVar ir,
      A a)

visit

B visit(IrMinus ir,
      A a)

visit

B visit(IrCard ir,
      A a)

visit

B visit(IrAdd ir,
      A a)

visit

B visit(IrMul ir,
      A a)

visit

B visit(IrDiv ir,
      A a)

visit

B visit(IrElement ir,
      A a)

visit

B visit(IrCount ir,
      A a)

visit

B visit(IrSetSum ir,
      A a)

visit

B visit(IrTernary ir,
      A a)