From f1667805ef0edcd21c254767bcac43d9b43b0b0d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 16 Apr 2010 17:36:07 +0200 Subject: [PATCH] isl_transitive_closure.c: fix documentation of construct_component --- isl_transitive_closure.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c index cad35c6..6b984e6 100644 --- a/isl_transitive_closure.c +++ b/isl_transitive_closure.c @@ -744,9 +744,10 @@ static int isl_set_overlaps(__isl_keep isl_set *set1, __isl_keep isl_set *set2) * * then the constructed map is an overapproximation of * - * { (x) -> (x + d) | \exists k_i >= 1, \delta_i \in \Delta_i : + * { (x) -> (x + d) | \exists k_i >= 0, \delta_i \in \Delta_i : * d = (\sum_i k_i \delta_i, \sum_i k_i) and - * x in dom R and x + d in ran R } + * x in dom R and x + d in ran R and + * \sum_i k_i >= 1 } */ static __isl_give isl_map *construct_component(__isl_take isl_dim *dim, __isl_keep isl_map *map, int *exact, int project) -- 2.7.4