reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2339 if (!bset || !ineq || !context) 2342 if (bset->n_ineq == 0 || isl_basic_set_plain_is_universe(context)) { 2345 return bset; 2349 row = isl_calloc_array(ctx, int, bset->n_ineq); 2355 if (all_neg(row, bset->n_ineq)) 2356 return update_ineq_free(bset, ineq, context, row, NULL); 2362 return update_ineq_free(bset, ineq, context, row, NULL); 2367 combined = isl_basic_set_extend_constraints(combined, 0, bset->n_ineq); 2372 if (isl_tab_extend_cons(tab, bset->n_ineq) < 0) 2375 for (i = 0; i < bset->n_ineq; ++i) { 2387 for (i = bset->n_ineq - 1; i >= 0; --i) { 2407 bset = update_ineq_free(bset, ineq, context, row, tab); 2407 bset = update_ineq_free(bset, ineq, context, row, tab); 2408 if (bset) { 2409 ISL_F_SET(bset, ISL_BASIC_SET_NO_IMPLICIT); 2410 ISL_F_SET(bset, ISL_BASIC_SET_NO_REDUNDANT); 2414 return bset; 2421 isl_basic_set_free(bset);