Searched refs:hull_facet (Results 1 – 1 of 1) sorted by relevance
545 struct isl_basic_set *hull_facet = NULL; in extend() local559 hull_facet = isl_basic_set_copy(hull); in extend()560 hull_facet = isl_basic_set_add_eq(hull_facet, hull->ineq[i]); in extend()561 hull_facet = isl_basic_set_gauss(hull_facet, NULL); in extend()562 hull_facet = isl_basic_set_normalize_constraints(hull_facet); in extend()563 if (!facet || !hull_facet) in extend()570 for (f = 0; f < hull_facet->n_ineq; ++f) in extend()572 hull_facet->ineq[f], 1 + dim)) in extend()574 if (f < hull_facet->n_ineq) in extend()583 isl_basic_set_free(hull_facet); in extend()[all …]