reduce_domain: compute convex union of domain
commitd5910966af7fc76693472c79b0e452424933d7d9
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 9 Aug 2006 14:18:32 +0000 (9 16:18 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 9 Aug 2006 16:49:15 +0000 (9 18:49 +0200)
treefe6f02d7535ddf537fb52412bc7568c98890310c
parent79bda411c21370d82a7766a84ce838990a34744e
reduce_domain: compute convex union of domain

The domain should be a convex polyhedron, but in some rare cases,
Polyhedron2Param_SimplifiedDomain may return it as a union of
smaller pieces.  Taking the convex union thus has no effect other
than making sure we don't forget about the other parts in the union.
reduce_domain.c