Searched refs:r_cv (Results 1 – 2 of 2) sorted by relevance
1572 typename OR_Matrix<N>::const_row_reference_type r_cv = *(++m_iter); in constrains() local1574 if (!is_plus_infinity(r_v[h]) || !is_plus_infinity(r_cv[h])) { in constrains()4425 typename OR_Matrix<N>::row_reference_type r_cv = *(++m_iter); in forget_all_octagonal_constraints() local4428 assign_r(r_cv[h], PLUS_INFINITY, ROUND_NOT_NEEDED); in forget_all_octagonal_constraints()4447 typename OR_Matrix<N>::row_reference_type r_cv = *(++m_iter); in forget_binary_octagonal_constraints() local4450 assign_r(r_cv[k], PLUS_INFINITY, ROUND_NOT_NEEDED); in forget_binary_octagonal_constraints()
72626 typename OR_Matrix<N>::const_row_reference_type r_cv = *(++m_iter);72628 if (!is_plus_infinity(r_v[h]) || !is_plus_infinity(r_cv[h])) {75479 typename OR_Matrix<N>::row_reference_type r_cv = *(++m_iter);75482 assign_r(r_cv[h], PLUS_INFINITY, ROUND_NOT_NEEDED);75501 typename OR_Matrix<N>::row_reference_type r_cv = *(++m_iter);75504 assign_r(r_cv[k], PLUS_INFINITY, ROUND_NOT_NEEDED);