export isl_pw_aff_zero_set

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

diff --git a/doc/user.pod b/doc/user.pod
index 2ece40a..43105f2 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2580,6 +2580,8 @@ 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);
+       __isl_give isl_set *isl_pw_aff_zero_set(
+               __isl_take isl_pw_aff *pwaff);
 
 The function C<isl_pw_aff_nonneg_set> returns a set
 containing those elements in the domain

diff --git a/include/isl/aff.h b/include/isl/aff.h
index bb6dd01..b5362c9 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -152,6 +152,7 @@ __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_zero_set(__isl_take isl_pw_aff *pwaff);
 
 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
        __isl_take isl_pw_aff *pwaff2);