reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
7294 bset = isl_basic_set_cow(bset); 7294 bset = isl_basic_set_cow(bset); 7295 if (!bset) 7298 if (bset->n_eq == 0) 7299 return base_compute_divs(bset); 7301 bset = isl_basic_set_gauss(bset, NULL); 7301 bset = isl_basic_set_gauss(bset, NULL); 7302 if (!bset) 7304 if (isl_basic_set_plain_is_empty(bset)) 7305 return isl_set_from_basic_set(bset); 7307 i = first_parameter_equality(bset); 7308 if (i == bset->n_eq) 7309 return base_compute_divs(bset); 7311 nparam = isl_basic_set_dim(bset, isl_dim_param); 7312 eq = isl_mat_sub_alloc6(bset->ctx, bset->eq, i, bset->n_eq - i, 7312 eq = isl_mat_sub_alloc6(bset->ctx, bset->eq, i, bset->n_eq - i, 7312 eq = isl_mat_sub_alloc6(bset->ctx, bset->eq, i, bset->n_eq - i, 7320 bset = isl_basic_set_set_to_empty(bset); 7320 bset = isl_basic_set_set_to_empty(bset); 7321 return isl_set_from_basic_set(bset); 7323 bset = basic_set_parameter_preimage(bset, T); 7323 bset = basic_set_parameter_preimage(bset, T); 7325 i = first_parameter_equality(bset); 7326 if (!bset) 7328 else if (i == bset->n_eq) 7329 set = base_compute_divs(bset); 7331 set = parameter_compute_divs(bset);