public LinearInductionVariable MergeInductionVariableConstant(LinearInductionVariable iv, Operator op, Constant c)
{
if (iv == null || c == null)
{
return(null);
}
Constant delta = op.ApplyConstants(iv.Delta, c);
Constant initial = (iv.Initial != null) ? op.ApplyConstants(iv.Initial, c) : null;
Constant final = (iv.Final != null) ? op.ApplyConstants(iv.Final, c) : null;
return(new LinearInductionVariable(initial, delta, final, false));
}
public Expression Transform()
{
if (addr == null)
{
return(op.ApplyConstants(cLeft, cRight));
}
else
{
return(addr + cRight.ToInt32());
}
}
public Expression Transform()
{
return(op.ApplyConstants(cLeft, cRight));
}
