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 (file)
--- 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 (file)
--- 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,