Lines Matching defs:reti
1779 Interval reti;
1781 TCU_INTERVAL_APPLY_MONOTONE2(reti, x, xi, y, yi, ret,
1784 reti |= innerExtrema(ctx, xi, yi);
1785 reti &= (this->getCodomain() | TCU_NAN);
1787 return ctx.format.convert(reti);
1882 Interval reti;
1883 TCU_INTERVAL_APPLY_MONOTONE3(reti, x, xi, y, yi, z, zi, ret,
1886 return ctx.format.convert(reti);