projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 991d9ff) | patch
isl_map_transitive_closure: coalesce after each step
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 31 Mar 2010 19:19:22 +0000 (21:19 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 1 Apr 2010 12:47:25 +0000 (14:47 +0200)
commit72f3a540ea7ea0952911b89b2aab8942d1e1da78
treef29769854be7d2dfdba1b1adcc5cf723853c367ftree | snapshot
parent991d9ffaffcf78a3da85aa95e5bf8e18d0a42778commit | diff
isl_map_transitive_closure: coalesce after each step

Without coalescing, the number of disjuncts in the result
is exponential in the number of disjuncts in the input.
doc/implementation.tex diff | blob | history
doc/isl.bib diff | blob | history
isl_transitive_closure.c diff | blob | history
Domain: System / Uncategorized;