Lines Matching defs:reti
1749 Interval reti;
1751 reti, x, xi, y, yi, ret,
1754 reti |= innerExtrema(ctx, xi, yi);
1755 reti &= (this->getCodomain() | TCU_NAN);
1757 return ctx.format.convert(reti);
1852 Interval reti;
1853 TCU_INTERVAL_APPLY_MONOTONE3(reti, x, xi, y, yi, z, zi, ret,
1856 return ctx.format.convert(reti);