Lines Matching refs:val
38 TCU_INTERVAL_APPLY_MONOTONE1(ret, x, arg0, val,
39 TCU_SET_INTERVAL(val, point, point = func(x)));
52 TCU_INTERVAL_APPLY_MONOTONE2(ret, x, arg0, y, arg1, val,
53 TCU_SET_INTERVAL(val, point, point = func(x, y)));
81 TCU_INTERVAL_APPLY_MONOTONE2(ret, xp, x, yp, y, val,
82 TCU_SET_INTERVAL(val, point, point = xp - yp));
90 TCU_INTERVAL_APPLY_MONOTONE2(ret, xp, x, yp, y, val,
91 TCU_SET_INTERVAL(val, point, point = xp * yp));
107 TCU_INTERVAL_APPLY_MONOTONE2(ret, nomp, nom, denp, den, val,
108 TCU_SET_INTERVAL(val, point, point = nomp / denp));