add isl_local_space_substitute
commite465d65f8718c6908716a2209bb1cd2539e3a87d
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 16 Aug 2011 09:00:43 +0000 (16 11:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Oct 2011 09:03:36 +0000 (2 11:03 +0200)
treee070b6f26c08521c03dc1bf92f8557db4dcdac2d
parentb549738d9dbdf42a6ecd1ff48f8dfdceb0178188
add isl_local_space_substitute

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_local_space.c
isl_local_space_private.h