add isl_set_n_basic_set

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

diff --git a/doc/user.pod b/doc/user.pod
index 61f661b..e2e5b1f 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -941,6 +941,11 @@ the following functions first.
        __isl_give isl_map *isl_map_make_disjoint(
                __isl_take isl_map *map);
 
+The number of basic sets in a set can be obtained
+from
+
+       int isl_set_n_basic_set(__isl_keep isl_set *set);
+
 To iterate over the constraints of a basic set or map, use
 
        #include <isl_constraint.h>

diff --git a/include/isl_set.h b/include/isl_set.h
index 79916ef..3842d07 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -342,6 +342,7 @@ uint32_t isl_set_get_hash(struct isl_set *set);
 
 int isl_set_dim_is_unique(struct isl_set *set, unsigned dim);
 
+int isl_set_n_basic_set(__isl_keep isl_set *set);
 int isl_set_foreach_basic_set(__isl_keep isl_set *set,
        int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user);
 

diff --git a/isl_map.c b/isl_map.c
index 3014bc4..a149744 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -6913,6 +6913,11 @@ int isl_set_dim_is_unique(struct isl_set *set, unsigned dim)
        return 1;
 }
 
+int isl_set_n_basic_set(__isl_keep isl_set *set)
+{
+       return set ? set->n : 0;
+}
+
 int isl_map_foreach_basic_map(__isl_keep isl_map *map,
        int (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user)
 {