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