org.clafer.ir

Class IrRewriter<T>

java.lang.Object

org.clafer.ir.IrRewriter<T>

Type Parameters:

T - the parameter type

All Implemented Interfaces:

IrBoolExprVisitor<T,IrIntExpr>, IrIntExprVisitor<T,IrIntExpr>, IrSetExprVisitor<T,IrSetExpr>

public abstract class IrRewriter<T>
extends Object
implements IrIntExprVisitor<T,IrIntExpr>, IrSetExprVisitor<T,IrSetExpr>

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
IrRewriter()

Method Summary

Methods

Modifier and Type	Method and Description
protected static <T> boolean	changed(T[][] t1, T[][] t2)
protected static <T> boolean	changed(T[] t1, T[] t2)
protected static <T> boolean	changed(T t1, T t2)
IrBoolExpr[]	rewrite(IrBoolExpr[] exprs, T t)
IrBoolExpr	rewrite(IrBoolExpr expr, T t)
IrIntExpr[][]	rewrite(IrIntExpr[][] exprs, T t)
IrIntExpr[]	rewrite(IrIntExpr[] exprs, T t)
IrIntExpr	rewrite(IrIntExpr expr, T t)
IrModule	rewrite(IrModule module, T t)
IrSetExpr[][]	rewrite(IrSetExpr[][] exprs, T t)
IrSetExpr[]	rewrite(IrSetExpr[] exprs, T t)
IrSetExpr	rewrite(IrSetExpr expr, T t)
IrIntExpr	visit(IrAcyclic ir, T a)
IrIntExpr	visit(IrAdd ir, T a)
IrBoolExpr	visit(IrAllDifferent ir, T a)
IrBoolExpr	visit(IrAnd ir, T a)
IrSetExpr	visit(IrArrayToSet ir, T a)
IrBoolExpr	visit(IrBoolChannel ir, T a)
IrBoolVar	visit(IrBoolVar ir, T a)
IrIntExpr	visit(IrCard ir, T a)
IrBoolExpr	visit(IrCompare ir, T a)
IrIntExpr	visit(IrCount ir, T a)
IrIntExpr	visit(IrDiv ir, T a)
IrIntExpr	visit(IrElement ir, T a)
IrBoolExpr	visit(IrFilterString ir, T a)
IrBoolExpr	visit(IrIfOnlyIf ir, T a)
IrBoolExpr	visit(IrIfThenElse ir, T a)
IrBoolExpr	visit(IrImplies ir, T a)
IrBoolExpr	visit(IrIntChannel ir, T a)
IrIntVar	visit(IrIntVar ir, T a)
IrSetExpr	visit(IrJoinFunction ir, T a)
IrSetExpr	visit(IrJoinRelation ir, T a)
IrBoolExpr	visit(IrLone ir, T a)
IrSetExpr	visit(IrMask ir, T a)
IrBoolExpr	visit(IrMember ir, T a)
IrIntExpr	visit(IrMinus ir, T a)
IrIntExpr	visit(IrMul ir, T a)
IrBoolExpr	visit(IrNotImplies ir, T a)
IrBoolExpr	visit(IrNotMember ir, T a)
IrBoolExpr	visit(IrNot ir, T a)
IrBoolExpr	visit(IrNotWithin ir, T a)
IrSetExpr	visit(IrOffset ir, T a)
IrBoolExpr	visit(IrOne ir, T a)
IrBoolExpr	visit(IrOr ir, T a)
IrBoolExpr	visit(IrSelectN ir, T a)
IrSetExpr	visit(IrSetDifference ir, T a)
IrSetExpr	visit(IrSetIntersection ir, T a)
IrIntExpr	visit(IrSetSum ir, T a)
IrSetExpr	visit(IrSetTernary ir, T a)
IrBoolExpr	visit(IrSetTest ir, T a)
IrSetExpr	visit(IrSetUnion ir, T a)
IrSetVar	visit(IrSetVar ir, T a)
IrSetExpr	visit(IrSingleton ir, T a)
IrBoolExpr	visit(IrSortSets ir, T a)
IrBoolExpr	visit(IrSortStringsChannel ir, T a)
IrBoolExpr	visit(IrSortStrings ir, T a)
IrBoolExpr	visit(IrSubsetEq ir, T a)
IrIntExpr	visit(IrTernary ir, T a)
IrIntExpr	visit(IrUnreachable ir, T a)
IrBoolExpr	visit(IrWithin ir, T a)
IrBoolExpr	visit(IrXor ir, T a)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IrRewriter

public IrRewriter()

Method Detail

changed

protected static <T> boolean changed(T t1,
                  T t2)

changed

protected static <T> boolean changed(T[] t1,
                  T[] t2)

changed

protected static <T> boolean changed(T[][] t1,
                  T[][] t2)

rewrite

public IrModule rewrite(IrModule module,
               T t)

rewrite

public IrBoolExpr rewrite(IrBoolExpr expr,
                 T t)

rewrite

public IrBoolExpr[] rewrite(IrBoolExpr[] exprs,
                   T t)

rewrite

public IrIntExpr rewrite(IrIntExpr expr,
                T t)

rewrite

public IrIntExpr[] rewrite(IrIntExpr[] exprs,
                  T t)

rewrite

public IrIntExpr[][] rewrite(IrIntExpr[][] exprs,
                    T t)

rewrite

public IrSetExpr rewrite(IrSetExpr expr,
                T t)

rewrite

public IrSetExpr[] rewrite(IrSetExpr[] exprs,
                  T t)

rewrite

public IrSetExpr[][] rewrite(IrSetExpr[][] exprs,
                    T t)

visit

public IrBoolVar visit(IrBoolVar ir,
              T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrNot ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrAnd ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrLone ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrOne ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrOr ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrImplies ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrNotImplies ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrIfThenElse ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrIfOnlyIf ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrXor ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrWithin ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrNotWithin ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrCompare ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrSetTest ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrMember ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrNotMember ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrSubsetEq ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrBoolChannel ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrIntChannel ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrSortStrings ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrSortSets ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrSortStringsChannel ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrAllDifferent ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrSelectN ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrAcyclic ir,
              T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrUnreachable ir,
              T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrBoolExpr visit(IrFilterString ir,
               T a)

Specified by:

visit in interface IrBoolExprVisitor<T,IrIntExpr>

visit

public IrIntVar visit(IrIntVar ir,
             T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrMinus ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrCard ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrAdd ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrMul ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrDiv ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrElement ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrCount ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrSetSum ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrIntExpr visit(IrTernary ir,
              T a)

Specified by:

visit in interface IrIntExprVisitor<T,IrIntExpr>

visit

public IrSetVar visit(IrSetVar ir,
             T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrSingleton ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrArrayToSet ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrJoinRelation ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrJoinFunction ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrSetDifference ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrSetIntersection ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrSetUnion ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrOffset ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrMask ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>

visit

public IrSetExpr visit(IrSetTernary ir,
              T a)

Specified by:

visit in interface IrSetExprVisitor<T,IrSetExpr>