Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_templates.hh1109 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 Dppl.hh.dist72163 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 …]