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 <skimo@kotnet.org>

diff --git a/include/isl/options.h b/include/isl/options.h
index 673c272..30628a1 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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);