rename isl_tab_detect_equalities to isl_tab_detect_implicit_equalities

diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index dcfb319..7035e9e 100644 (file)
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -25,7 +25,7 @@ struct isl_basic_map *isl_basic_map_implicit_equalities(
                return bmap;
 
        tab = isl_tab_from_basic_map(bmap);
-       tab = isl_tab_detect_equalities(tab);
+       tab = isl_tab_detect_implicit_equalities(tab);
        bmap = isl_basic_map_update_from_tab(bmap, tab);
        isl_tab_free(tab);
        bmap = isl_basic_map_gauss(bmap, NULL);

diff --git a/isl_coalesce.c b/isl_coalesce.c
index 6f9c82e..a1b5f48 100644 (file)
--- a/isl_coalesce.c
+++ b/isl_coalesce.c
@@ -577,7 +577,7 @@ struct isl_map *isl_map_coalesce(struct isl_map *map)
                if (!tabs[i])
                        goto error;
                if (!ISL_F_ISSET(map->p[i], ISL_BASIC_MAP_NO_IMPLICIT))
-                       tabs[i] = isl_tab_detect_equalities(tabs[i]);
+                       tabs[i] = isl_tab_detect_implicit_equalities(tabs[i]);
                if (!ISL_F_ISSET(map->p[i], ISL_BASIC_MAP_NO_REDUNDANT))
                        tabs[i] = isl_tab_detect_redundant(tabs[i]);
        }

diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index b356853..d50b054 100644 (file)
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -94,7 +94,7 @@ struct isl_basic_map *isl_basic_map_convex_hull(struct isl_basic_map *bmap)
                return bmap;
 
        tab = isl_tab_from_basic_map(bmap);
-       tab = isl_tab_detect_equalities(tab);
+       tab = isl_tab_detect_implicit_equalities(tab);
        tab = isl_tab_detect_redundant(tab);
        bmap = isl_basic_map_update_from_tab(bmap, tab);
        isl_tab_free(tab);

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 307b93c..c004832 100644 (file)
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1593,7 +1593,7 @@ static struct isl_basic_set *uset_gist(struct isl_basic_set *bset,
        for (i = 0; i < bset->n_ineq; ++i)
                tab = isl_tab_add_ineq(tab, bset->ineq[i]);
        bset = isl_basic_set_add_constraints(combined, bset, 0);
-       tab = isl_tab_detect_equalities(tab);
+       tab = isl_tab_detect_implicit_equalities(tab);
        tab = isl_tab_detect_redundant(tab);
        if (!tab)
                goto error2;

diff --git a/isl_tab.c b/isl_tab.c
index fd4f891..820b2a1 100644 (file)
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -1723,7 +1723,7 @@ static int may_be_equality(struct isl_tab *tab, int row)
  * tableau is integer), then we restrict the value to being zero
  * by adding an opposite non-negative variable.
  */
-struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab)
+struct isl_tab *isl_tab_detect_implicit_equalities(struct isl_tab *tab)
 {
        int i;
        unsigned n_marked;
@@ -1771,7 +1771,7 @@ struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab)
                        close_row(tab, var);
                else if (!tab->rational && !at_least_one(tab, var)) {
                        tab = cut_to_hyperplane(tab, var);
-                       return isl_tab_detect_equalities(tab);
+                       return isl_tab_detect_implicit_equalities(tab);
                }
                for (i = tab->n_redundant; i < tab->n_row; ++i) {
                        var = isl_tab_var_from_row(tab, i);

diff --git a/isl_tab.h b/isl_tab.h
index e76b0f0..dc1d0ae 100644 (file)
--- a/isl_tab.h
+++ b/isl_tab.h
@@ -91,7 +91,7 @@ struct isl_tab_undo {
  * Dead columns and redundant rows are detected on the fly.
  * However, the basic operations do not ensure that all dead columns
  * or all redundant rows are detected.
- * isl_tab_detect_equalities and isl_tab_detect_redundant can be used
+ * isl_tab_detect_implicit_equalities and isl_tab_detect_redundant can be used
  * to perform and exhaustive search for dead columns and redundant rows.
  *
  * The samples matrix contains "n_sample" integer points that have at some
@@ -157,7 +157,7 @@ struct isl_basic_map *isl_basic_map_update_from_tab(struct isl_basic_map *bmap,
        struct isl_tab *tab);
 struct isl_basic_set *isl_basic_set_update_from_tab(struct isl_basic_set *bset,
        struct isl_tab *tab);
-struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab);
+struct isl_tab *isl_tab_detect_implicit_equalities(struct isl_tab *tab);
 struct isl_tab *isl_tab_detect_redundant(struct isl_tab *tab);
 #define ISL_TAB_SAVE_DUAL      (1 << 0)
 enum isl_lp_result isl_tab_min(struct isl_tab *tab,