isl_set_lift: preserve structure of space
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Dec 2010 14:13:44 +0000 (15:13 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 21 Feb 2011 10:52:06 +0000 (11:52 +0100)
commitf0750f19d26aa4d21c888fca1c7bd644352ff49a
tree7da5c18eab5bd588b0fdf03c81a6518f8de3c8de
parenta828520ba5195364af49c0f36862d726b02e3c3c
isl_set_lift: preserve structure of space

Before, we would simply add extra variables to the dimension specification,
if needed, destroying any internal structure.  Now, we retain the original
dimension specification as the domain of a wrapped map.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_dim.c
isl_dim_private.h
isl_map.c