isl_map_coalesce: only use non-redundant constraints as potential facets
commit9ec9ffc4520273f4244ed7185e4bf2797fe33c2a
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 15 Feb 2010 08:25:18 +0000 (15 09:25 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 15 Feb 2010 09:14:47 +0000 (15 10:14 +0100)
treeb746fe64d053de0b2e61d901fe821b3f516c44f4
parentf2035c14733f7badfe5c5164a1d7c05b5b3037f5
isl_map_coalesce: only use non-redundant constraints as potential facets
isl_coalesce.c