From bd78185134837265fd09df78f9c0c9f12ab0ea82 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 26 Jan 2011 11:58:17 +0100 Subject: [PATCH] rename "omega" transitive closure to "box" transitive closure Calling it "omega" is confusing because it doesn't actually call omega or even implement the same algorithm that is implemented in omega. Signed-off-by: Sven Verdoolaege --- include/isl/options.h | 2 +- isl_options.c | 2 +- isl_transitive_closure.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/include/isl/options.h b/include/isl/options.h index 673c272..30628a1 100644 --- a/include/isl/options.h +++ b/include/isl/options.h @@ -40,7 +40,7 @@ struct isl_options { unsigned gbr_only_first; #define ISL_CLOSURE_ISL 0 - #define ISL_CLOSURE_OMEGA 1 + #define ISL_CLOSURE_BOX 1 unsigned closure; #define ISL_BOUND_BERNSTEIN 0 diff --git a/isl_options.c b/isl_options.c index c603c2a..70ebd23 100644 --- a/isl_options.c +++ b/isl_options.c @@ -54,7 +54,7 @@ struct isl_arg_choice isl_gbr_choice[] = { struct isl_arg_choice isl_closure_choice[] = { {"isl", ISL_CLOSURE_ISL}, - {"omega", ISL_CLOSURE_OMEGA}, + {"box", ISL_CLOSURE_BOX}, {0} }; diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c index 5bc8c3a..7eec76b 100644 --- a/isl_transitive_closure.c +++ b/isl_transitive_closure.c @@ -2662,7 +2662,7 @@ __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map, if (!map) goto error; - if (map->ctx->opt->closure == ISL_CLOSURE_OMEGA) + if (map->ctx->opt->closure == ISL_CLOSURE_BOX) return transitive_closure_omega(map, exact); map = isl_map_compute_divs(map); -- 2.7.4