reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
575 facet = compute_facet(set, hull->ineq[i]); 576 facet = isl_basic_set_add_equality(facet, hull->ineq[i]); 576 facet = isl_basic_set_add_equality(facet, hull->ineq[i]); 577 facet = isl_basic_set_gauss(facet, NULL); 577 facet = isl_basic_set_gauss(facet, NULL); 578 facet = isl_basic_set_normalize_constraints(facet); 578 facet = isl_basic_set_normalize_constraints(facet); 583 if (!facet || !hull_facet) 587 isl_space_copy(hull->dim), 0, 0, facet->n_ineq); 590 for (j = 0; j < facet->n_ineq; ++j) { 592 if (isl_seq_eq(facet->ineq[j], 601 if (!isl_set_wrap_facet(set, hull->ineq[k], facet->ineq[j])) 605 isl_basic_set_free(facet); 612 isl_basic_set_free(facet);