isl/div.h: drop dependence on isl/set.h

Conceptually, a set involves divs and not the other way around.

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

diff --git a/include/isl/div.h b/include/isl/div.h
index bc0f860..86ac0ca 100644 (file)
--- a/include/isl/div.h
+++ b/include/isl/div.h
@@ -11,7 +11,6 @@
 #define ISL_DIV_H
 
 #include <isl/dim.h>
-#include <isl/set.h>
 
 #if defined(__cplusplus)
 extern "C" {
@@ -23,8 +22,6 @@ typedef struct isl_div isl_div;
 isl_ctx *isl_div_get_ctx(__isl_keep isl_div *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);
 __isl_give isl_div *isl_div_copy(__isl_keep isl_div *div);
 void isl_div_free(struct isl_div *c);
 

diff --git a/include/isl/map.h b/include/isl/map.h
index bcb4d57..7c0bce1 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -16,6 +16,7 @@
 #include <isl/ctx.h>
 #include <isl/blk.h>
 #include <isl/dim.h>
+#include <isl/div.h>
 #include <isl/vec.h>
 #include <isl/mat.h>
 #include <isl/printer.h>
@@ -69,6 +70,8 @@ isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map);
 __isl_give isl_dim *isl_basic_map_get_dim(__isl_keep isl_basic_map *bmap);
 __isl_give isl_dim *isl_map_get_dim(__isl_keep isl_map *map);
 
+struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, int pos);
+
 __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
        __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,

diff --git a/include/isl/set.h b/include/isl/set.h
index deeb0d3..2c35592 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -35,6 +35,8 @@ __isl_give isl_dim *isl_set_get_dim(__isl_keep isl_set *set);
 __isl_give isl_set *isl_set_reset_dim(__isl_take isl_set *set,
        __isl_take isl_dim *dim);
 
+struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos);
+
 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);
 const char *isl_set_get_tuple_name(__isl_keep isl_set *set);
 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,