| commit | ad988bad1320321c09e868b8a528d3a2b49501a4 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 4 Feb 2010 12:58:40 +0000 (4 13:58 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 4 Feb 2010 12:58:40 +0000 (4 13:58 +0100) | ||
| tree | dd1ef1bce954e12466af2049064a2a4c1b8dec7d | treesnapshot (tar.gz zip) |
| parent | c08b440649315e9ea77fa91be39e2ff37a2fafea | commitdiff |
isl_map_transitive_closure: use more relaxed exactness check on acyclic graphs
In particular, for the transitive closure, we only need to check that
there is a path of _some_ length with a valid initial segment.
However, we can only do this if the corresponding graph is acyclic.
For now, we restrict ourselves to graphs that are obviously acyclic.
In particular, for the transitive closure, we only need to check that
there is a path of _some_ length with a valid initial segment.
However, we can only do this if the corresponding graph is acyclic.
For now, we restrict ourselves to graphs that are obviously acyclic.
| isl_test.c | diffblobblamehistory | |
| isl_transitive_closure.c | diffblobblamehistory |