isl_transitive_closure.c: keep track of domains for Floyd-Warshall
commita659d5c3b49329542180694c54ccfd3bf3c4b6ed
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 2 Aug 2010 09:52:42 +0000 (2 11:52 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 2 Aug 2010 09:59:59 +0000 (2 11:59 +0200)
tree5934bf59407d30691a194d55eba8d9fbcdec98a2
parentc61cfe2e302bed8ea59fd7f838ab2e4f0a0c536c
isl_transitive_closure.c: keep track of domains for Floyd-Warshall

When applying Floyd-Warshall to an isl_map, we don't care about
the domains anymore after we have grouped them.
However, when applying Floyd-Warshall to an isl_union_map, we
use the domains do initialize the grid with maps of the right
dimension.  We therefore need to order the domains according
to the group number so that the calling function has a chance
to find them.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_transitive_closure.c