From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 30 Sep 2010 07:52:19 +0000 (+0200)
Subject: add isl_set_n_basic_set
X-Git-Tag: isl-0.05~129
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=29d67226b6d46c2cb72f9f754836f1f1651dbc1d;p=platform%2Fupstream%2Fisl.git

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
--- 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
--- 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
--- 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)
 {