From 7c083539dd3121d783fc1d3d8a241826b7e6dbdd Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 17 Apr 2009 17:00:44 +0200 Subject: [PATCH] isl_convex_hull.c: update wrap_facet to the fact we only apply it on polytopes --- isl_convex_hull.c | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/isl_convex_hull.c b/isl_convex_hull.c index b7ad030..5079561 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -448,9 +448,8 @@ static struct isl_basic_set *wrap_constraints(struct isl_set *set) * In the original space, we need to take the same combination of the * corresponding constraints "facet" and "ridge". * - * If a = -infty = "-1/0", then we just return the original facet constraint. - * This means that the facet is unbounded, but has a bounded intersection - * with the union of sets. + * Note that a is always finite, since we only apply the wrapping + * technique to a union of polytopes. */ static isl_int *wrap_facet(struct isl_set *set, isl_int *facet, isl_int *ridge) { @@ -500,8 +499,7 @@ static isl_int *wrap_facet(struct isl_set *set, isl_int *facet, isl_int *ridge) isl_vec_free(set->ctx, obj); isl_basic_set_free(lp); isl_set_free(set); - isl_assert(set->ctx, res == isl_lp_ok || res == isl_lp_unbounded, - return NULL); + isl_assert(set->ctx, res == isl_lp_ok, return NULL); return facet; error: isl_basic_set_free(lp); -- 2.7.4