remove undocumented isl_basic_{set,map}_foreach_lex{min,max}

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/include/isl/map.h b/include/isl/map.h
index 8910429..3240b94 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -247,14 +247,6 @@ __isl_export
 __isl_give isl_map *isl_map_lexmin(__isl_take isl_map *map);
 __isl_export
 __isl_give isl_map *isl_map_lexmax(__isl_take isl_map *map);
-int isl_basic_map_foreach_lexmin(__isl_keep isl_basic_map *bmap,
-       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
-                 void *user),
-       void *user);
-int isl_basic_map_foreach_lexmax(__isl_keep isl_basic_map *bmap,
-       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
-                 void *user),
-       void *user);
 __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmin_pw_multi_aff(
        __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
        __isl_give isl_set **empty);

diff --git a/include/isl/set.h b/include/isl/set.h
index e938e4f..5985f1a 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -186,10 +186,6 @@ __isl_export
 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
 __isl_export
 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
-int isl_basic_set_foreach_lexmax(__isl_keep isl_basic_set *bset,
-       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
-                 void *user),
-       void *user);
 __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmin_pw_multi_aff(
        __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
        __isl_give isl_set **empty);

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 412e8ee..dad7632 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4763,30 +4763,6 @@ int isl_basic_set_foreach_lexopt(__isl_keep isl_basic_set *bset, int max,
        return isl_basic_map_foreach_lexopt(bset, max, fn, user);
 }
 
-int isl_basic_map_foreach_lexmin(__isl_keep isl_basic_map *bmap,
-       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
-                 void *user),
-       void *user)
-{
-       return isl_basic_map_foreach_lexopt(bmap, 0, fn, user);
-}
-
-int isl_basic_map_foreach_lexmax(__isl_keep isl_basic_map *bmap,
-       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
-                 void *user),
-       void *user)
-{
-       return isl_basic_map_foreach_lexopt(bmap, 1, fn, user);
-}
-
-int isl_basic_set_foreach_lexmax(__isl_keep isl_basic_set *bset,
-       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
-                 void *user),
-       void *user)
-{
-       return isl_basic_map_foreach_lexmax(bset, fn, user);
-}
-
 /* Check if the given sequence of len variables starting at pos
  * represents a trivial (i.e., zero) solution.
  * The variables are assumed to be non-negative and to come in pairs,