reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1880 for (k = 0; k < n_ineq; ++k) { 1880 for (k = 0; k < n_ineq; ++k) { 1880 for (k = 0; k < n_ineq; ++k) { 1884 l = isl_seq_first_non_zero(ineq->row[k] + 1, total); 1885 if (l < 0 && isl_int_is_nonneg(ineq->row[k][0])) { 1886 row[k] = -1; 1889 redundant = constraint_index_is_redundant(&ci, ineq->row[k]); 1894 row[k] = -1;