Searched refs:m_i_ci (Results 1 – 2 of 2) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_templates.hh | 1610 const N& m_i_ci = m_i[coherent_index(i)]; in is_strong_coherent() local 1615 if (!is_plus_infinity(m_i_ci) in is_strong_coherent() 1619 add_assign_r(semi_sum, m_i_ci, m_cj_j, ROUND_UP); in is_strong_coherent() 3117 const N& m_i_ci = m_i[ci]; in non_redundant_matrix_entries() local 3123 add_assign_r(tmp, m_i_ci, matrix[cj][j], ROUND_UP); in non_redundant_matrix_entries() 8066 N& m_i_ci = m_i[ci]; in drop_some_non_integer_points() local 8067 if (!is_plus_infinity(m_i_ci)) { in drop_some_non_integer_points() 8068 drop_some_non_integer_points_helper(m_i_ci); in drop_some_non_integer_points() 8069 if (!is_even(m_i_ci)) { in drop_some_non_integer_points() 8070 sub_assign_r(m_i_ci, m_i_ci, temp_one, ROUND_UP); in drop_some_non_integer_points()
|
H A D | ppl.hh.dist | 72664 const N& m_i_ci = m_i[coherent_index(i)]; 72669 if (!is_plus_infinity(m_i_ci) 72671 // Compute (m_i_ci + m_cj_j)/2 into `semi_sum', 73748 // m_i_j <= (m_i_ci + m_cj_j)/2 74171 const N& m_i_ci = m_i[ci]; 74175 // m_i_j >= (m_i_ci + m_cj_j)/2, where j != ci. 79120 N& m_i_ci = m_i[ci]; 79121 if (!is_plus_infinity(m_i_ci)) { 79122 drop_some_non_integer_points_helper(m_i_ci); 79123 if (!is_even(m_i_ci)) { [all …]
|