add isl_set_align_divs

diff --git a/isl_map.c b/isl_map.c
index c38d0bb..4d3b5c5 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -3620,6 +3620,11 @@ struct isl_map *isl_map_align_divs(struct isl_map *map)
        return map;
 }
 
+struct isl_set *isl_set_align_divs(struct isl_set *set)
+{
+       return (struct isl_set *)isl_map_align_divs((struct isl_map *)set);
+}
+
 static struct isl_map *add_cut_constraint(struct isl_map *dst,
                struct isl_basic_map *src, isl_int *c,
                unsigned len, int oppose)

diff --git a/isl_map_private.h b/isl_map_private.h
index 8a51c11..f1719f7 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -63,6 +63,7 @@ struct isl_basic_map *isl_basic_map_align_divs(
 struct isl_basic_set *isl_basic_set_align_divs(
                struct isl_basic_set *dst, struct isl_basic_set *src);
 struct isl_map *isl_map_align_divs(struct isl_map *map);
+struct isl_set *isl_set_align_divs(struct isl_set *set);
 struct isl_basic_map *isl_basic_map_gauss(
        struct isl_basic_map *bmap, int *progress);
 struct isl_basic_set *isl_basic_set_gauss(