projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9079e57) | patch
isl_convex_hull.c: uset_convex_hull_wrap_bounded: remove redundant constraints
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 14 Feb 2012 22:55:22 +0000 (23:55 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 14 Feb 2012 23:21:19 +0000 (00:21 +0100)
commitc51e471c3a0e6fa8d0ebd2c901a925edeb78ff02
tree276142463b1d8e2f7fec1068dd59d0ff743d0d9ctree | snapshot
parent9079e576b25b8b2bdc1ca2ac540e0e8a003e5223commit | diff
isl_convex_hull.c: uset_convex_hull_wrap_bounded: remove redundant constraints

The caller compute_facet expects the result to not contain any redundant
constraints.  The input to uset_convex_hull_wrap_bounded, however, might
contain redundant constraints so if this input consists of only one
basic set, we need to make sure redundant constraints are removed.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_convex_hull.c diff | blob | history
Domain: System / Uncategorized;