add isl_basic_set_div

diff --git a/include/isl_div.h b/include/isl_div.h
index c7a6d51..4814700 100644 (file)
--- a/include/isl_div.h
+++ b/include/isl_div.h
@@ -2,6 +2,7 @@
 #define ISL_DIV_H
 
 #include "isl_dim.h"
+#include "isl_set.h"
 
 #if defined(__cplusplus)
 extern "C" {
@@ -17,6 +18,7 @@ struct isl_div {
 
 struct isl_div *isl_div_alloc(struct isl_dim *dim);
 struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, int pos);
+struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos);
 struct isl_div *isl_div_free(struct isl_div *c);
 
 void isl_div_get_constant(struct isl_div *div, isl_int *v);

diff --git a/isl_div.c b/isl_div.c
index f9ee633..b8f6537 100644 (file)
--- a/isl_div.c
+++ b/isl_div.c
@@ -49,6 +49,11 @@ error:
        return NULL;
 }
 
+struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos)
+{
+       return isl_basic_map_div((struct isl_basic_map *)bset, pos);
+}
+
 struct isl_div *isl_div_alloc(struct isl_dim *dim)
 {
        struct isl_basic_map *bmap;