isl_pip_basic_map_compute_divs: separate out dimension games
commit86e41d2778a773c91afec790a4ea0164407b9882
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 24 May 2009 14:18:34 +0000 (24 16:18 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Jun 2009 12:50:23 +0000 (11 14:50 +0200)
tree9f9e24bdfacb9c1e81a165336cb3b50f29d21352
parent0f6713a4e67d761bcf927af988166de20edeedba
isl_pip_basic_map_compute_divs: separate out dimension games

We want to do some additional transformations on the input
set and it is easier to perform these transformations
with the existential variables considered as output variables.
isl_map_piplib.c