declare isl_union_pw_multi_aff_intersect_domain

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

diff --git a/doc/user.pod b/doc/user.pod
index d7d83ab..f786df5 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -3918,6 +3918,10 @@ by the corresponding elements of C<v>.
        __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain(
                __isl_take isl_pw_multi_aff *pma,
                __isl_take isl_set *set);
+       __isl_give isl_union_pw_multi_aff *
+       isl_union_pw_multi_aff_intersect_domain(
+               __isl_take isl_union_pw_multi_aff *upma,
+               __isl_take isl_union_set *uset);
        __isl_give isl_multi_aff *isl_multi_aff_lift(
                __isl_take isl_multi_aff *maff,
                __isl_give isl_local_space **ls);

diff --git a/include/isl/aff.h b/include/isl/aff.h
index b9b94be..1acb28e 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -519,6 +519,10 @@ __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_product(
        __isl_take isl_union_pw_multi_aff *upma1,
        __isl_take isl_union_pw_multi_aff *upma2);
 
+__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_domain(
+       __isl_take isl_union_pw_multi_aff *upma,
+       __isl_take isl_union_set *uset);
+
 __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff(
        __isl_take isl_union_pw_multi_aff *upma);