Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_templates.hh7420 const N& c_ii_jj = r_ii[j + 1]; in constraints() local
7422 if (is_additive_inverse(c_ii_jj, c_i_j)) { in constraints()
7433 if (!is_plus_infinity(c_ii_jj)) { in constraints()
7434 numer_denom(c_ii_jj, b, a); in constraints()
8257 const N& c_ii_jj = r_ii[j + 1]; in operator <<() local
8260 if (is_additive_inverse(c_ii_jj, c_i_j)) { in operator <<()
8273 s << v_i << " - " << v_j << " = " << c_ii_jj; in operator <<()
8293 if (!is_plus_infinity(c_ii_jj)) { in operator <<()
8300 if (sgn(c_ii_jj) >= 0) { in operator <<()
8301 s << v_i << " - " << v_j << " <= " << c_ii_jj; in operator <<()
[all …]
H A Dppl.hh.dist78474 const N& c_ii_jj = r_ii[j + 1];
78476 if (is_additive_inverse(c_ii_jj, c_i_j)) {
78487 if (!is_plus_infinity(c_ii_jj)) {
78488 numer_denom(c_ii_jj, b, a);
79311 const N& c_ii_jj = r_ii[j + 1];
79314 if (is_additive_inverse(c_ii_jj, c_i_j)) {
79327 s << v_i << " - " << v_j << " = " << c_ii_jj;
79347 if (!is_plus_infinity(c_ii_jj)) {
79354 if (sgn(c_ii_jj) >= 0) {
79355 s << v_i << " - " << v_j << " <= " << c_ii_jj;
[all …]