isl_gmp.c: remove spurious include
[isl.git] / isl_aff_private.h
blobede67f21847abce1a11bbc595700902b9cb72308
1 #ifndef ISL_AFF_PRIVATE_H
2 #define ISL_AFF_PRIVATE_H
4 #include <isl/aff.h>
5 #include <isl/vec.h>
6 #include <isl/mat.h>
7 #include <isl/local_space.h>
8 #include <isl_reordering.h>
10 /* ls represents the domain space.
12 * If the first two elements of "v" (the denominator and the constant term)
13 * are zero, then the isl_aff represents NaN.
15 struct isl_aff {
16 int ref;
18 isl_local_space *ls;
19 isl_vec *v;
22 #undef EL
23 #define EL isl_aff
25 #include <isl_list_templ.h>
27 struct isl_pw_aff_piece {
28 struct isl_set *set;
29 struct isl_aff *aff;
32 struct isl_pw_aff {
33 int ref;
35 isl_space *dim;
37 int n;
39 size_t size;
40 struct isl_pw_aff_piece p[1];
43 #undef EL
44 #define EL isl_pw_aff
46 #include <isl_list_templ.h>
48 struct isl_pw_multi_aff_piece {
49 isl_set *set;
50 isl_multi_aff *maff;
53 struct isl_pw_multi_aff {
54 int ref;
56 isl_space *dim;
58 int n;
60 size_t size;
61 struct isl_pw_multi_aff_piece p[1];
64 __isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
66 __isl_give isl_aff *isl_aff_reset_space_and_domain(__isl_take isl_aff *aff,
67 __isl_take isl_space *space, __isl_take isl_space *domain);
68 __isl_give isl_aff *isl_aff_reset_domain_space(__isl_take isl_aff *aff,
69 __isl_take isl_space *dim);
70 __isl_give isl_aff *isl_aff_realign_domain(__isl_take isl_aff *aff,
71 __isl_take isl_reordering *r);
73 int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v);
74 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
75 __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff,
76 enum isl_dim_type type, int pos, isl_int v);
77 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
79 __isl_give isl_aff *isl_aff_normalize(__isl_take isl_aff *aff);
81 __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
82 __isl_take isl_mat *div, int *exp);
84 __isl_give isl_pw_aff *isl_pw_aff_alloc_size(__isl_take isl_space *space,
85 int n);
86 __isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
87 __isl_take isl_space *dim);
88 __isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
89 __isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
90 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
91 __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
93 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
94 __isl_take isl_pw_aff *pwaff2, int max);
96 __isl_give isl_pw_aff *isl_pw_aff_set_rational(__isl_take isl_pw_aff *pwaff);
97 __isl_give isl_pw_aff_list *isl_pw_aff_list_set_rational(
98 __isl_take isl_pw_aff_list *list);
100 __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff,
101 isl_int f);
102 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,
103 isl_int f);
105 int isl_aff_matching_params(__isl_keep isl_aff *aff,
106 __isl_keep isl_space *space);
107 int isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,
108 __isl_keep isl_space *space);
110 #undef BASE
111 #define BASE aff
113 #include <isl_multi_templ.h>
115 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
117 __isl_give isl_multi_aff *isl_multi_aff_align_divs(
118 __isl_take isl_multi_aff *maff);
120 __isl_give isl_multi_aff *isl_multi_aff_from_basic_set_equalities(
121 __isl_take isl_basic_set *bset);
123 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space(
124 __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
125 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space(
126 __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
127 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_disjoint(
128 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
130 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
131 __isl_take isl_pw_multi_aff *pma,
132 enum isl_dim_type type, unsigned first, unsigned n);
134 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
135 int p_len, int subs_len, isl_int v);
136 void isl_seq_preimage(isl_int *dst, isl_int *src,
137 __isl_keep isl_multi_aff *ma, int n_before, int n_after,
138 int n_div_ma, int n_div_bmap,
139 isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
141 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
142 __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,
143 __isl_keep isl_pw_aff *subs);
145 int isl_pw_aff_matching_params(__isl_keep isl_pw_aff *pa,
146 __isl_keep isl_space *space);
147 int isl_pw_aff_check_match_domain_space(__isl_keep isl_pw_aff *pa,
148 __isl_keep isl_space *space);
150 #undef BASE
151 #define BASE pw_aff
153 #include <isl_multi_templ.h>
155 #endif