Searched refs:c_i_jj (Results 1 – 2 of 2) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_templates.hh | 7440 const N& c_i_jj = r_i[j + 1]; in constraints() local 7441 if (is_additive_inverse(c_i_jj, c_ii_j)) { in constraints() 7448 if (!is_plus_infinity(c_i_jj)) { in constraints() 7449 numer_denom(c_i_jj, b, a); in constraints() 8310 const N& c_i_jj = r_i[j + 1]; in operator <<() local 8313 if (is_additive_inverse(c_i_jj, c_ii_j)) { in operator <<() 8315 PPL_ASSERT(!is_plus_infinity(c_i_jj) && !is_plus_infinity(c_ii_j)); in operator <<() 8326 if (!is_plus_infinity(c_i_jj)) { in operator <<() 8333 neg_assign_r(negation, c_i_jj, ROUND_DOWN); in operator <<()
|
H A D | ppl.hh.dist | 78494 const N& c_i_jj = r_i[j + 1]; 78495 if (is_additive_inverse(c_i_jj, c_ii_j)) { 78502 if (!is_plus_infinity(c_i_jj)) { 78503 numer_denom(c_i_jj, b, a); 79364 const N& c_i_jj = r_i[j + 1]; 79367 if (is_additive_inverse(c_i_jj, c_ii_j)) { 79369 PPL_ASSERT(!is_plus_infinity(c_i_jj) && !is_plus_infinity(c_ii_j)); 79380 if (!is_plus_infinity(c_i_jj)) { 79387 neg_assign_r(negation, c_i_jj, ROUND_DOWN);
|