reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
567 if (!hull) 574 for (i = 0; i < hull->n_ineq; ++i) { 575 facet = compute_facet(set, hull->ineq[i]); 576 facet = isl_basic_set_add_equality(facet, hull->ineq[i]); 579 hull_facet = isl_basic_set_copy(hull); 580 hull_facet = isl_basic_set_add_equality(hull_facet, hull->ineq[i]); 585 hull = isl_basic_set_cow(hull); 585 hull = isl_basic_set_cow(hull); 586 hull = isl_basic_set_extend_space(hull, 586 hull = isl_basic_set_extend_space(hull, 587 isl_space_copy(hull->dim), 0, 0, facet->n_ineq); 588 if (!hull) 597 k = isl_basic_set_alloc_inequality(hull); 600 isl_seq_cpy(hull->ineq[k], hull->ineq[i], 1+dim); 600 isl_seq_cpy(hull->ineq[k], hull->ineq[i], 1+dim); 601 if (!isl_set_wrap_facet(set, hull->ineq[k], facet->ineq[j])) 607 hull = isl_basic_set_simplify(hull); 607 hull = isl_basic_set_simplify(hull); 608 hull = isl_basic_set_finalize(hull); 608 hull = isl_basic_set_finalize(hull); 609 return hull; 613 isl_basic_set_free(hull);