add isl_basic_set_alloc_div

diff --git a/isl_map.c b/isl_map.c
index 4d3b5c5..82f1dff 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -617,6 +617,11 @@ int isl_basic_map_alloc_div(struct isl_basic_map *bmap)
        return bmap->n_div++;
 }
 
+int isl_basic_set_alloc_div(struct isl_basic_set *bset)
+{
+       return isl_basic_map_alloc_div((struct isl_basic_map *)bset);
+}
+
 int isl_basic_map_free_div(struct isl_basic_map *bmap, unsigned n)
 {
        if (!bmap)

diff --git a/isl_map_private.h b/isl_map_private.h
index f1719f7..1630716 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -39,6 +39,7 @@ int isl_basic_set_alloc_inequality(struct isl_basic_set *bset);
 int isl_basic_map_alloc_inequality(struct isl_basic_map *bmap);
 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);
 void isl_basic_map_inequality_to_equality(
                struct isl_basic_map *bmap, unsigned pos);