From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 17 Apr 2009 15:00:44 +0000 (+0200)
Subject: isl_convex_hull.c: update wrap_facet to the fact we only apply it on polytopes
X-Git-Tag: isl-0.01~196
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=7c083539dd3121d783fc1d3d8a241826b7e6dbdd;p=platform%2Fupstream%2Fisl.git

isl_convex_hull.c: update wrap_facet to the fact we only apply it on polytopes
---

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);