From d602d47121ac9bda45bf9644a9e664ee62de0393 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 8 Feb 2010 16:05:56 +0100 Subject: [PATCH] doc: improve decription of isl_map_transitive_closure --- doc/user.pod | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/user.pod b/doc/user.pod index e976d9d..8bc8480 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -785,7 +785,7 @@ cases of piecewise translations (i.e., piecewise uniform dependences). __isl_take isl_map *map, int *exact); Compute the transitive closure of C. -The result may be an overapproximation. If the result is exact, +The result may be an overapproximation. If the result is known to be exact, then C<*exact> is set to C<1>. The current implementation only produces exact results for particular cases of piecewise translations (i.e., piecewise uniform dependences). -- 2.7.4