reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1917 for (k = 0; k < bset->n_ineq; ++k) { 1917 for (k = 0; k < bset->n_ineq; ++k) { 1917 for (k = 0; k < bset->n_ineq; ++k) { 1920 redundant = constraint_index_is_redundant(&ci, bset->ineq[k]); 1928 isl_basic_set_drop_inequality(bset, k); 1929 --k;