export isl_pw_aff_intersect_domain

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

diff --git a/doc/user.pod b/doc/user.pod
index e6bb3a7..f9522fa 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2743,6 +2743,9 @@ Operations include
 
        __isl_give isl_set *isl_pw_aff_domain(
                __isl_take isl_pw_aff *pwaff);
+       __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(
+               __isl_take isl_pw_aff *pa,
+               __isl_take isl_set *set);
 
        __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1,
                __isl_take isl_aff *aff2);

diff --git a/include/isl/aff.h b/include/isl/aff.h
index 82078b0..8582103 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -144,6 +144,9 @@ __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff);
 __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff,
        isl_int mod);
 
+__isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *pa,
+       __isl_take isl_set *set);
+
 __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_set *cond,
        __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_false);