Home
last modified time | relevance | path

Searched refs:c_i_jj (Results 1 – 2 of 2) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_templates.hh7440 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 Dppl.hh.dist78494 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);