@@ -76,10 +76,13 @@ __isl_give isl_aff *isl_aff_alloc_vec(__isl_take isl_local_space *ls,
__isl_take isl_vec *v);
__isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
+isl_size isl_aff_domain_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
+isl_size isl_aff_domain_offset(__isl_keep isl_aff *aff, enum isl_dim_type type);
+
__isl_give isl_aff *isl_aff_reset_space_and_domain(__isl_take isl_aff *aff,
__isl_take isl_space *space, __isl_take isl_space *domain);
__isl_give isl_aff *isl_aff_reset_domain_space(__isl_take isl_aff *aff,
- __isl_take isl_space *dim);
+ __isl_take isl_space *space);
__isl_give isl_aff *isl_aff_realign_domain(__isl_take isl_aff *aff,
__isl_take isl_reordering *r);
@@ -101,12 +104,15 @@ __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
__isl_give isl_pw_aff *isl_pw_aff_alloc_size(__isl_take isl_space *space,
int n);
__isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
- __isl_take isl_space *dim);
+ __isl_take isl_space *space);
__isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
__isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
__isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
__isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
+__isl_give isl_pw_aff *isl_pw_aff_domain_factor_domain(
+ __isl_take isl_pw_aff *pa);
+
__isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
__isl_take isl_pw_aff *pwaff2, int max);
@@ -130,6 +136,11 @@ isl_stat isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,
#include <isl_multi_templ.h>
+#undef EL
+#define EL isl_multi_aff
+
+#include <isl_list_templ.h>
+
__isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
__isl_give isl_multi_aff *isl_multi_aff_align_divs(
@@ -146,6 +157,11 @@ __isl_give isl_multi_aff *isl_multi_aff_from_aff_mat(
#include <isl_list_templ.h>
+__isl_give isl_pw_multi_aff *isl_pw_multi_aff_move_dims(
+ __isl_take isl_pw_multi_aff *pma,
+ enum isl_dim_type dst_type, unsigned dst_pos,
+ enum isl_dim_type src_type, unsigned src_pos, unsigned n);
+
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space(
__isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space(
@@ -169,6 +185,7 @@ __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
__isl_keep isl_pw_aff *subs);
isl_stat isl_pw_aff_check_named_params(__isl_keep isl_pw_aff *pa);
+isl_stat isl_multi_aff_check_named_params(__isl_keep isl_multi_aff *ma);
isl_stat isl_pw_multi_aff_check_named_params(__isl_keep isl_pw_multi_aff *pma);
isl_bool isl_pw_aff_matching_params(__isl_keep isl_pw_aff *pa,
@@ -188,6 +205,9 @@ __isl_give isl_basic_set *isl_aff_pos_basic_set(__isl_take isl_aff *aff);
#undef EXPLICIT_DOMAIN
+__isl_give isl_map *isl_map_intersect_multi_pw_aff_explicit_domain(
+ __isl_take isl_map *map, __isl_keep isl_multi_pw_aff *mpa);
+
#undef EL
#define EL isl_union_pw_aff