From a16b7baa95dc0a2d60db78e7bcabf3a86c436705 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 26 Feb 2013 12:04:18 +0100 Subject: [PATCH] declare isl_union_pw_multi_aff_intersect_domain Signed-off-by: Sven Verdoolaege --- doc/user.pod | 4 ++++ include/isl/aff.h | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index d7d83ab1..f786df5c 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -3918,6 +3918,10 @@ by the corresponding elements of C. __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 b9b94be3..1acb28e7 100644 --- 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); -- 2.11.4.GIT