Searched refs:mat_i_ci (Results 1 – 2 of 2) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_templates.hh | 2729 const N& mat_i_ci = matrix[i][ci]; in tight_coherence_would_make_empty() local 2730 if (!is_plus_infinity(mat_i_ci) in tight_coherence_would_make_empty() 2732 && !is_even(mat_i_ci) in tight_coherence_would_make_empty() 2734 && is_additive_inverse(mat_i_ci, matrix[ci][i])) { in tight_coherence_would_make_empty() 2762 N& mat_i_ci = matrix[i][ci]; in tight_closure_assign() local 2763 if (!is_plus_infinity(mat_i_ci) && !is_even(mat_i_ci)) { in tight_closure_assign() 2764 sub_assign_r(mat_i_ci, mat_i_ci, temp_one, ROUND_UP); in tight_closure_assign() 8016 N& mat_i_ci = matrix[i][ci]; in drop_some_non_integer_points() local 8017 if (!is_plus_infinity(mat_i_ci) && !is_even(mat_i_ci)) { in drop_some_non_integer_points() 8018 sub_assign_r(mat_i_ci, mat_i_ci, temp_one, ROUND_UP); in drop_some_non_integer_points()
|
H A D | ppl.hh.dist | 73783 const N& mat_i_ci = matrix[i][ci]; 73784 if (!is_plus_infinity(mat_i_ci) 73785 // Check for oddness of `mat_i_ci'. 73786 && !is_even(mat_i_ci) 73788 && is_additive_inverse(mat_i_ci, matrix[ci][i])) { 73816 N& mat_i_ci = matrix[i][ci]; 73817 if (!is_plus_infinity(mat_i_ci) && !is_even(mat_i_ci)) { 73818 sub_assign_r(mat_i_ci, mat_i_ci, temp_one, ROUND_UP); 79070 N& mat_i_ci = matrix[i][ci]; 79071 if (!is_plus_infinity(mat_i_ci) && !is_even(mat_i_ci)) { [all …]
|