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)) { 2343 isl_basic_set_free(context); 2348 ctx = isl_basic_set_get_ctx(context); 2353 if (mark_shifted_constraints(ineq, context, row) < 0) 2356 return update_ineq_free(bset, ineq, context, row, NULL); 2358 context = drop_irrelevant_constraints_marked(context, ineq, row); 2358 context = drop_irrelevant_constraints_marked(context, ineq, row); 2359 if (!context) 2361 if (isl_basic_set_plain_is_universe(context)) 2362 return update_ineq_free(bset, ineq, context, row, NULL); 2364 n_eq = context->n_eq; 2365 context_ineq = context->n_ineq; 2366 combined = isl_basic_set_cow(isl_basic_set_copy(context)); 2407 bset = update_ineq_free(bset, ineq, context, row, tab); 2420 isl_basic_set_free(context);