Searched refs:dbm_u0 (Results 1 – 2 of 2) sorted by relevance
3448 const N& dbm_u0 = dbm_u[0]; in deduce_v_minus_u_bounds() local3449 if (!is_plus_infinity(dbm_u0)) { in deduce_v_minus_u_bounds()3456 assign_r(minus_lb_u, dbm_u0, ROUND_NOT_NEEDED); in deduce_v_minus_u_bounds()
83995 const N& dbm_u0 = dbm_u[0];83996 if (!is_plus_infinity(dbm_u0)) {84003 assign_r(minus_lb_u, dbm_u0, ROUND_NOT_NEEDED);