isl_map_underlying_set: align divs before calling this function
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Dec 2008 15:21:34 +0000 (16:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Dec 2008 15:21:34 +0000 (16:21 +0100)
commit4433b45d31f7f5461ee372a8a4aa2d3a955f96b5
tree74d10fe5cda66fba0c535a71af9886dc49005382
parent6fb082a11161cbf18e5a6d20fc22607a86ae5f3e
isl_map_underlying_set: align divs before calling this function

We need to know the meaning of the variables of the set returned by
isl_map_underlying_set in order to add it back in isl_basic_map_overlying_set,
but the number and the order of the existentially quantified variables
may change during a call to isl_map_align_divs.
We therefore need to call isl_map_align_divs first and use one of
the resulting basic maps as a model in our call to isl_basic_map_overlying_set.
isl_convex_hull.c
isl_map.c