Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_templates.hh7439 const N& c_ii_j = r_ii[j]; in constraints() local
7441 if (is_additive_inverse(c_i_jj, c_ii_j)) { in constraints()
7443 numer_denom(c_ii_j, b, a); in constraints()
7452 if (!is_plus_infinity(c_ii_j)) { in constraints()
7453 numer_denom(c_ii_j, b, a); in constraints()
8311 const N& c_ii_j = r_ii[j]; 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 <<()
8322 s << v_j << " + " << v_i << " = " << c_ii_j; in operator <<()
8336 if (!is_plus_infinity(c_ii_j)) { in operator <<()
[all …]
H A Dppl.hh.dist78493 const N& c_ii_j = r_ii[j];
78495 if (is_additive_inverse(c_i_jj, c_ii_j)) {
78497 numer_denom(c_ii_j, b, a);
78506 if (!is_plus_infinity(c_ii_j)) {
78507 numer_denom(c_ii_j, b, a);
79365 const N& c_ii_j = r_ii[j];
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));
79376 s << v_j << " + " << v_i << " = " << c_ii_j;
79390 if (!is_plus_infinity(c_ii_j)) {
[all …]