isl_map_transitive_closure: handle existentials
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 5 Apr 2010 20:55:17 +0000 (22:55 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 7 Apr 2010 16:42:32 +0000 (18:42 +0200)
commit4157f3827ab1722dda0cdf5bc9f14ae60135da83
treea68177dd8cfeb779a6182292f2f8b8934042456d
parentab8945044a8accff405f194455f52b50e499b31f
isl_map_transitive_closure: handle existentials
doc/implementation.tex
doc/manual.tex
isl_transitive_closure.c