Searched refs:x_i_i (Results 1 – 2 of 2) sorted by relevance
2672 N& x_i_i = (*i)[i.index()]; in strong_closure_assign() local2673 if (sgn(x_i_i) < 0) { in strong_closure_assign()2678 PPL_ASSERT(sgn(x_i_i) == 0); in strong_closure_assign()2680 assign_r(x_i_i, PLUS_INFINITY, ROUND_NOT_NEEDED); in strong_closure_assign()2902 N& x_i_i = (*i)[i.index()]; in incremental_strong_closure_assign() local2903 if (sgn(x_i_i) < 0) { in incremental_strong_closure_assign()2909 PPL_ASSERT(sgn(x_i_i) == 0); in incremental_strong_closure_assign()2910 assign_r(x_i_i, PLUS_INFINITY, ROUND_NOT_NEEDED); in incremental_strong_closure_assign()
73726 N& x_i_i = (*i)[i.index()];73727 if (sgn(x_i_i) < 0) {73732 PPL_ASSERT(sgn(x_i_i) == 0);73734 assign_r(x_i_i, PLUS_INFINITY, ROUND_NOT_NEEDED);73956 N& x_i_i = (*i)[i.index()];73957 if (sgn(x_i_i) < 0) {73963 PPL_ASSERT(sgn(x_i_i) == 0);73964 assign_r(x_i_i, PLUS_INFINITY, ROUND_NOT_NEEDED);