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)); }