isl_basic_set_swap_vars: handle NULL input
[platform/upstream/isl.git] / isl_aff_private.h
index 8c1e3d4..dc031c4 100644 (file)
@@ -85,6 +85,9 @@ __isl_give isl_pw_aff_list *isl_pw_aff_list_set_rational(
 
 __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(
+       __isl_take isl_multi_aff *maff);
+
 __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(
@@ -98,6 +101,9 @@ __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
 
 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
        int p_len, int subs_len, isl_int v);
+void isl_seq_preimage(isl_int *dst, isl_int *src,
+       __isl_keep isl_multi_aff *ma, int n_div_ma, int n_div_bset,
+       isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
 
 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
        __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,