add isl_basic_set_free_div

diff --git a/isl_map.c b/isl_map.c
index 93dc6ff..29f520d 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -665,6 +665,11 @@ int isl_basic_map_free_div(struct isl_basic_map *bmap, unsigned n)
        return 0;
 }
 
+int isl_basic_set_free_div(struct isl_basic_set *bset, unsigned n)
+{
+       return isl_basic_map_free_div((struct isl_basic_map *)bset, n);
+}
+
 /* Copy constraint from src to dst, putting the vars of src at offset
  * dim_off in dst and the divs of src at offset div_off in dst.
  * If both sets are actually map, then dim_off applies to the input

diff --git a/isl_map_private.h b/isl_map_private.h
index 0594d1e..6cad8f8 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -45,6 +45,7 @@ int isl_basic_map_free_inequality(struct isl_basic_map *bmap, unsigned n);
 int isl_basic_map_alloc_div(struct isl_basic_map *bmap);
 int isl_basic_set_alloc_div(struct isl_basic_set *bset);
 int isl_basic_map_free_div(struct isl_basic_map *bmap, unsigned n);
+int isl_basic_set_free_div(struct isl_basic_set *bset, unsigned n);
 void isl_basic_map_inequality_to_equality(
                struct isl_basic_map *bmap, unsigned pos);
 int isl_basic_map_drop_equality(struct isl_basic_map *bmap, unsigned pos);