| commit | aa7be77ce026e3efed9651a6d512e92d787130fd | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 22 Jul 2010 09:51:17 +0000 (22 11:51 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 24 Jul 2010 10:49:28 +0000 (24 12:49 +0200) | ||
| tree | 1964113393aa87f15ae5775f9f5e8ffdfcf11e80 | treesnapshot (tar.gz zip) |
| parent | 5e47fc12fdcbe5fb39ad60a9cad7b04f73e70eba | commitdiff |
isl_map_power: apply Floyd-Warshall to compute powers as well
Before, Floyd-Warshall was only applied to compute transitive closure.
However, the power is essentially a transitive closure on an extended
relation, so we simply need to perform the nested call on such extended
relations.
In principle, we should be able to apply the incremental computation
to the power too, but changing the nested calls is a bit more tricky.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Before, Floyd-Warshall was only applied to compute transitive closure.
However, the power is essentially a transitive closure on an extended
relation, so we simply need to perform the nested call on such extended
relations.
In principle, we should be able to apply the incremental computation
to the power too, but changing the nested calls is a bit more tricky.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_transitive_closure.c | diffblobblamehistory |