Searched refs:m_cv_v (Results 1 – 2 of 2) sorted by relevance
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Octagonal_Shape_templates.hh | 5242 N& m_cv_v = m_cv[n_var]; in affine_image() local
5243 add_assign_r(m_cv_v, m_cv_v, d, ROUND_UP); in affine_image()
5248 swap(m_cv_v, m_v_cv); in affine_image()
5657 N& m_cv_v = m_cv[n_var]; in affine_form_image() local
5658 add_assign_r(m_cv_v, m_cv_v, b_ub, ROUND_UP); in affine_form_image()
5663 swap(m_cv_v, m_v_cv); in affine_form_image()
6132 N& m_cv_v = m_cv[n_var]; in generalized_affine_image() local
6146 add_assign_r(m_cv_v, m_cv_v, d, ROUND_UP); in generalized_affine_image()
6204 N& m_cv_v = m_cv[n_var]; in generalized_affine_image() local
6218 assign_r(m_cv_v, PLUS_INFINITY, ROUND_NOT_NEEDED); in generalized_affine_image()
[all …]
|
| H A D | ppl.hh.dist | 76296 N& m_cv_v = m_cv[n_var];
76297 add_assign_r(m_cv_v, m_cv_v, d, ROUND_UP);
76302 swap(m_cv_v, m_v_cv);
76711 N& m_cv_v = m_cv[n_var];
76712 add_assign_r(m_cv_v, m_cv_v, b_ub, ROUND_UP);
76717 swap(m_cv_v, m_v_cv);
77186 N& m_cv_v = m_cv[n_var];
77188 // NOTE: delay update of m_v_cv and m_cv_v.
77200 add_assign_r(m_cv_v, m_cv_v, d, ROUND_UP);
77258 N& m_cv_v = m_cv[n_var];
[all …]
|