projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45c4991) | patch
isl_convex_hull.c: initial_facet_constraint: drop all redundant bounds on face
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 18 Dec 2009 22:41:29 +0000 (23:41 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 18 Dec 2009 22:41:29 +0000 (23:41 +0100)
commitdf634e4ddc439e7bedca3c61032a795a0a45be96
tree0b31b46520d689fec91fa0997526b8811f61cb0atree | snapshot
parent45c49914c4d4c5726d477aca4bfb367562586edacommit | diff
isl_convex_hull.c: initial_facet_constraint: drop all redundant bounds on face

While constructing an initial facet, we may end up with an intermediate
face that makes some of the as yet unconsidered bounds redundant.
Remove all of them, instead of only those that happen to vanish.
isl_convex_hull.c diff | blob | history
Domain: System / Uncategorized;