reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2597 if (!bset || !context) 2600 context = drop_irrelevant_constraints(context, bset); 2602 bset = isl_basic_set_detect_equalities(bset); 2602 bset = isl_basic_set_detect_equalities(bset); 2603 aff = isl_basic_set_copy(bset); 2612 isl_basic_set_free(bset); 2616 bset = isl_basic_set_sort_constraints(bset); 2616 bset = isl_basic_set_sort_constraints(bset); 2619 return uset_gist_uncompressed(bset, context); 2621 total = isl_basic_set_total_dim(bset); 2622 eq = isl_mat_sub_alloc6(bset->ctx, aff->eq, 0, aff->n_eq, 0, 1 + total); 2629 return isl_basic_set_set_to_empty(bset); 2633 aff_context = project_onto_involved(aff_context, bset); 2635 bset = uset_gist_compressed(bset, context, T); 2635 bset = uset_gist_compressed(bset, context, T); 2636 bset = isl_basic_set_reduce_using_equalities(bset, aff_context); 2636 bset = isl_basic_set_reduce_using_equalities(bset, aff_context); 2638 if (bset) { 2639 ISL_F_SET(bset, ISL_BASIC_SET_NO_IMPLICIT); 2640 ISL_F_SET(bset, ISL_BASIC_SET_NO_REDUNDANT); 2643 return bset; 2645 isl_basic_set_free(bset);