From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 9 Jul 2011 09:52:59 +0000 (+0200)
Subject: export isl_pw_aff_nonneg_set
X-Git-Tag: isl-0.07~20
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=aff456562e48d4d779f2b0cf80bba2375a54a8a1;p=platform%2Fupstream%2Fisl.git

export isl_pw_aff_nonneg_set

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

diff --git a/doc/user.pod b/doc/user.pod
index 97ba693..b3f226a 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2400,6 +2400,14 @@ containing those elements in the shared domain
 of C<pwaff1> and C<pwaff2> where C<pwaff1> is greater than or equal to C<pwaff2>.
 
 	#include <isl/aff.h>
+	__isl_give isl_set *isl_pw_aff_nonneg_set(
+		__isl_take isl_pw_aff *pwaff);
+
+The function C<isl_pw_aff_nonneg_set> returns a set
+containing those elements in the domain
+of C<pwaff> where C<pwaff> is non-negative.
+
+	#include <isl/aff.h>
 	__isl_give isl_pw_aff *isl_pw_aff_max(
 		__isl_take isl_pw_aff *pwaff1,
 		__isl_take isl_pw_aff *pwaff2);
diff --git a/include/isl/aff.h b/include/isl/aff.h
index 44e01e6..4c6e9f7 100644
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -127,6 +127,8 @@ __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff,
 
 __isl_give isl_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff);
 
+__isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
+
 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
 	__isl_take isl_pw_aff *pwaff2);
 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,