add isl_basic_set_foreach_lexopt

diff --git a/isl_map_private.h b/isl_map_private.h
index 2514339..0fa1d4c 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -314,4 +314,9 @@ __isl_give isl_map *isl_map_align_params_map_map_and(
        __isl_give isl_map *(*fn)(__isl_take isl_map *map1,
                                    __isl_take isl_map *map2));
 
+int isl_basic_set_foreach_lexopt(__isl_keep isl_basic_set *bset, int max,
+       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
+                 void *user),
+       void *user);
+
 #endif

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 2f39a08..01657a0 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4661,6 +4661,14 @@ error:
        return -1;
 }
 
+int isl_basic_set_foreach_lexopt(__isl_keep isl_basic_set *bset, int max,
+       int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
+                 void *user),
+       void *user)
+{
+       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),