| commit | 67c9c2634dbea1ed4ca3dc13271d324b71743dfd | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 20 Jun 2010 18:28:47 +0000 (20 20:28 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 21 Jun 2010 11:42:25 +0000 (21 13:42 +0200) | ||
| tree | 3a60a1f1f18b941c2e35d852f4dda98059ec7e36 | treesnapshot (tar.gz zip) |
| parent | 2e15763c4e5f1d99b62521d1aa0d3298e8f659b4 | commitdiff |
isl_map_transitive_closure: check whether decomposition gives closed result
Some applications require the result to be closed, even if it is inexact.
The test for closedness can be fairly expensive, but I haven't been able
to trigger it yet, so presumably it will trigger only rarely.
Perhaps we should make the test configurable for those applications
that don't need a closed approximation.
Some applications require the result to be closed, even if it is inexact.
The test for closedness can be fairly expensive, but I haven't been able
to trigger it yet, so presumably it will trigger only rarely.
Perhaps we should make the test configurable for those applications
that don't need a closed approximation.
| doc/implementation.tex | diffblobblamehistory | |
| isl_transitive_closure.c | diffblobblamehistory |