Searched refs:c_i_ii (Results 1 – 2 of 2) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_templates.hh | 1109 const N& c_i_ii = matrix[i][i + 1]; in minimized_congruences() local 1110 PPL_ASSERT(is_additive_inverse(c_i_ii, c_ii_i)); in minimized_congruences() 7385 const N& c_i_ii = (*i_iter)[i + 1]; in constraints() local 7390 if (is_additive_inverse(c_i_ii, c_ii_i)) { in constraints() 7398 if (!is_plus_infinity(c_i_ii)) { in constraints() 7399 numer_denom(c_i_ii, b, a); in constraints() 8177 const N& c_i_ii = (*i_iter)[i + 1]; in operator <<() local 8182 if (is_additive_inverse(c_i_ii, c_ii_i)) { in operator <<() 8184 PPL_ASSERT(!is_plus_infinity(c_i_ii) && !is_plus_infinity(c_ii_i)); in operator <<() 8204 if (!is_plus_infinity(c_i_ii)) { in operator <<() [all …]
|
H A D | ppl.hh.dist | 72163 const N& c_i_ii = matrix[i][i + 1]; 72164 PPL_ASSERT(is_additive_inverse(c_i_ii, c_ii_i)); 78439 const N& c_i_ii = (*i_iter)[i + 1]; 78444 if (is_additive_inverse(c_i_ii, c_ii_i)) { 78452 if (!is_plus_infinity(c_i_ii)) { 78453 numer_denom(c_i_ii, b, a); 79231 const N& c_i_ii = (*i_iter)[i + 1]; 79236 if (is_additive_inverse(c_i_ii, c_ii_i)) { 79238 PPL_ASSERT(!is_plus_infinity(c_i_ii) && !is_plus_infinity(c_ii_i)); 79258 if (!is_plus_infinity(c_i_ii)) { [all …]
|