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

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