add isl_basic_set_remove_divs_involving_dims
commita28d73f572b518d939ef7589634ad674dcd148fe
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Apr 2012 11:31:49 +0000 (3 13:31 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Aug 2012 10:20:08 +0000 (2 12:20 +0200)
tree20166ba73ef2472d0e1e36dea1255b69e4dac7cd
parent595ed948dbaa30e8e1c16a926669621e1ec6d3f9
add isl_basic_set_remove_divs_involving_dims

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/set.h
isl_map.c