1 #ifndef ISL_AFF_H
2 #define ISL_AFF_H
3 
4 #include <isl/local_space.h>
5 #include <isl/printer.h>
6 #include <isl/set_type.h>
7 #include <isl/aff_type.h>
8 #include <isl/list.h>
9 #include <isl/multi.h>
10 #include <isl/union_set_type.h>
11 
12 #if defined(__cplusplus)
13 extern "C" {
14 #endif
15 
16 __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls);
17 __isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls,
18 	enum isl_dim_type type, unsigned pos);
19 
20 __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff);
21 void *isl_aff_free(__isl_take isl_aff *aff);
22 
23 isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff);
24 
25 int isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
26 int isl_aff_involves_dims(__isl_keep isl_aff *aff,
27 	enum isl_dim_type type, unsigned first, unsigned n);
28 
29 __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff);
30 __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff);
31 __isl_give isl_local_space *isl_aff_get_domain_local_space(
32 	__isl_keep isl_aff *aff);
33 __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff);
34 
35 const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff,
36 	enum isl_dim_type type, unsigned pos);
37 int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v);
38 int isl_aff_get_coefficient(__isl_keep isl_aff *aff,
39 	enum isl_dim_type type, int pos, isl_int *v);
40 int isl_aff_get_denominator(__isl_keep isl_aff *aff, isl_int *v);
41 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
42 __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v);
43 __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff,
44 	enum isl_dim_type type, int pos, isl_int v);
45 __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff,
46 	enum isl_dim_type type, int pos, int v);
47 __isl_give isl_aff *isl_aff_set_denominator(__isl_take isl_aff *aff, isl_int v);
48 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
49 __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v);
50 __isl_give isl_aff *isl_aff_add_constant_num(__isl_take isl_aff *aff,
51 	isl_int v);
52 __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, int v);
53 __isl_give isl_aff *isl_aff_add_coefficient(__isl_take isl_aff *aff,
54 	enum isl_dim_type type, int pos, isl_int v);
55 __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff,
56 	enum isl_dim_type type, int pos, int v);
57 
58 int isl_aff_is_cst(__isl_keep isl_aff *aff);
59 
60 __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff,
61 	enum isl_dim_type type, unsigned pos, const char *s);
62 __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff,
63 	enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
64 
65 int isl_aff_plain_is_equal(__isl_keep isl_aff *aff1, __isl_keep isl_aff *aff2);
66 int isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
67 
68 __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos);
69 
70 __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff);
71 __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff);
72 __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff);
73 __isl_give isl_aff *isl_aff_mod(__isl_take isl_aff *aff, isl_int mod);
74 
75 __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1,
76 	__isl_take isl_aff *aff2);
77 __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1,
78 	__isl_take isl_aff *aff2);
79 __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1,
80 	__isl_take isl_aff *aff2);
81 __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1,
82 	__isl_take isl_aff *aff2);
83 
84 __isl_give isl_aff *isl_aff_scale(__isl_take isl_aff *aff, isl_int f);
85 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
86 __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f);
87 
88 __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff,
89 	enum isl_dim_type type, unsigned first, unsigned n);
90 __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff,
91 	enum isl_dim_type type, unsigned n);
92 __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff,
93 	enum isl_dim_type type, unsigned first, unsigned n);
94 __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *aff);
95 
96 __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff,
97 	__isl_take isl_space *model);
98 
99 __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff,
100 	__isl_take isl_set *context);
101 __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff,
102 	__isl_take isl_set *context);
103 
104 __isl_give isl_aff *isl_aff_pullback_multi_aff(__isl_take isl_aff *aff,
105 	__isl_take isl_multi_aff *ma);
106 
107 __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff);
108 __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff);
109 
110 __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
111 	__isl_take isl_aff *aff2);
112 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
113 	__isl_take isl_aff *aff2);
114 
115 __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str);
116 __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p,
117 	__isl_keep isl_aff *aff);
118 void isl_aff_dump(__isl_keep isl_aff *aff);
119 
120 isl_ctx *isl_pw_aff_get_ctx(__isl_keep isl_pw_aff *pwaff);
121 __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pwaff);
122 __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff);
123 
124 __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff);
125 __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *dim);
126 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
127 	__isl_take isl_aff *aff);
128 __isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(
129 	__isl_take isl_local_space *ls);
130 __isl_give isl_pw_aff *isl_pw_aff_var_on_domain(__isl_take isl_local_space *ls,
131 	enum isl_dim_type type, unsigned pos);
132 
133 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set);
134 
135 const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa,
136 	enum isl_dim_type type, unsigned pos);
137 int isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
138 	enum isl_dim_type type, unsigned pos);
139 __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa,
140 	enum isl_dim_type type, unsigned pos);
141 __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma,
142 	enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
143 
144 int isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
145 int isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1,
146 	__isl_keep isl_pw_aff *pwaff2);
147 
148 __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
149 	__isl_take isl_pw_aff *pwaff2);
150 __isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1,
151 	__isl_take isl_pw_aff *pwaff2);
152 __isl_give isl_pw_aff *isl_pw_aff_union_add(__isl_take isl_pw_aff *pwaff1,
153 	__isl_take isl_pw_aff *pwaff2);
154 
155 __isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff);
156 void *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff);
157 
158 unsigned isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type type);
159 int isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff,
160 	enum isl_dim_type type, unsigned first, unsigned n);
161 
162 int isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff);
163 
164 __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff,
165 	__isl_take isl_space *model);
166 
167 __isl_give isl_id *isl_pw_aff_get_tuple_id(__isl_keep isl_pw_aff *pa,
168 	enum isl_dim_type type);
169 __isl_give isl_pw_aff *isl_pw_aff_set_tuple_id(__isl_take isl_pw_aff *pwaff,
170 	enum isl_dim_type type, __isl_take isl_id *id);
171 
172 __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff);
173 
174 __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1,
175 	__isl_take isl_pw_aff *pwaff2);
176 __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1,
177 	__isl_take isl_pw_aff *pwaff2);
178 __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1,
179 	__isl_take isl_pw_aff *pwaff2);
180 __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1,
181 	__isl_take isl_pw_aff *pa2);
182 __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1,
183 	__isl_take isl_pw_aff *pwaff2);
184 __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1,
185 	__isl_take isl_pw_aff *pwaff2);
186 __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff);
187 __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff);
188 __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff);
189 __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff,
190 	isl_int mod);
191 __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1,
192 	__isl_take isl_pw_aff *pa2);
193 __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1,
194 	__isl_take isl_pw_aff *pa2);
195 
196 __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *pa,
197 	__isl_take isl_set *set);
198 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *pa,
199 	__isl_take isl_set *set);
200 
201 __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond,
202 	__isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_false);
203 
204 __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff,
205 	isl_int f);
206 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,
207 	isl_int f);
208 
209 __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff,
210 	enum isl_dim_type type, unsigned first, unsigned n);
211 __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff,
212 	enum isl_dim_type type, unsigned n);
213 __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff,
214 	enum isl_dim_type type, unsigned first, unsigned n);
215 
216 __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pwqp);
217 __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff,
218 	__isl_take isl_set *context);
219 __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff,
220 	__isl_take isl_set *context);
221 
222 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_aff(
223 	__isl_take isl_pw_aff *pa, __isl_take isl_multi_aff *ma);
224 __isl_give isl_pw_aff *isl_pw_aff_pullback_pw_multi_aff(
225 	__isl_take isl_pw_aff *pa, __isl_take isl_pw_multi_aff *pma);
226 
227 int isl_pw_aff_n_piece(__isl_keep isl_pw_aff *pwaff);
228 int isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff,
229 	int (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff,
230 		    void *user), void *user);
231 
232 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff);
233 __isl_give isl_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff);
234 
235 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
236 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff);
237 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff);
238 
239 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
240 	__isl_take isl_pw_aff *pwaff2);
241 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
242 	__isl_take isl_pw_aff *pwaff2);
243 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
244 	__isl_take isl_pw_aff *pwaff2);
245 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
246 	__isl_take isl_pw_aff *pwaff2);
247 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
248 	__isl_take isl_pw_aff *pwaff2);
249 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
250 	__isl_take isl_pw_aff *pwaff2);
251 
252 __isl_give isl_pw_aff *isl_pw_aff_read_from_str(isl_ctx *ctx, const char *str);
253 __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p,
254 	__isl_keep isl_pw_aff *pwaff);
255 void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff);
256 
257 __isl_give isl_pw_aff *isl_pw_aff_list_min(__isl_take isl_pw_aff_list *list);
258 __isl_give isl_pw_aff *isl_pw_aff_list_max(__isl_take isl_pw_aff_list *list);
259 
260 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
261 	__isl_take isl_pw_aff_list *list2);
262 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
263 	__isl_take isl_pw_aff_list *list2);
264 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
265 	__isl_take isl_pw_aff_list *list2);
266 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
267 	__isl_take isl_pw_aff_list *list2);
268 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
269 	__isl_take isl_pw_aff_list *list2);
270 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
271 	__isl_take isl_pw_aff_list *list2);
272 
273 __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff);
274 __isl_give isl_multi_aff *isl_multi_aff_zero(__isl_take isl_space *space);
275 __isl_give isl_multi_aff *isl_multi_aff_identity(__isl_take isl_space *space);
276 
277 isl_ctx *isl_multi_aff_get_ctx(__isl_keep isl_multi_aff *maff);
278 __isl_give isl_space *isl_multi_aff_get_space(__isl_keep isl_multi_aff *maff);
279 __isl_give isl_space *isl_multi_aff_get_domain_space(
280 	__isl_keep isl_multi_aff *maff);
281 __isl_give isl_multi_aff *isl_multi_aff_set_tuple_name(
282 	__isl_take isl_multi_aff *maff,
283 	enum isl_dim_type type, const char *s);
284 __isl_give isl_multi_aff *isl_multi_aff_set_tuple_id(
285 	__isl_take isl_multi_aff *maff,
286 	enum isl_dim_type type, __isl_take isl_id *id);
287 __isl_give isl_multi_aff *isl_multi_aff_copy(__isl_keep isl_multi_aff *maff);
288 void *isl_multi_aff_free(__isl_take isl_multi_aff *maff);
289 
290 unsigned isl_multi_aff_dim(__isl_keep isl_multi_aff *maff,
291 	enum isl_dim_type type);
292 __isl_give isl_aff *isl_multi_aff_get_aff(__isl_keep isl_multi_aff *multi,
293 	int pos);
294 
295 __isl_give isl_multi_aff *isl_multi_aff_insert_dims(
296 	__isl_take isl_multi_aff *ma,
297 	enum isl_dim_type type, unsigned first, unsigned n);
298 __isl_give isl_multi_aff *isl_multi_aff_add_dims(__isl_take isl_multi_aff *ma,
299 	enum isl_dim_type type, unsigned n);
300 __isl_give isl_multi_aff *isl_multi_aff_drop_dims(
301 	__isl_take isl_multi_aff *maff,
302 	enum isl_dim_type type, unsigned first, unsigned n);
303 
304 __isl_give isl_multi_aff *isl_multi_aff_set_dim_name(
305 	__isl_take isl_multi_aff *maff,
306 	enum isl_dim_type type, unsigned pos, const char *s);
307 
308 int isl_multi_aff_plain_is_equal(__isl_keep isl_multi_aff *maff1,
309 	__isl_keep isl_multi_aff *maff2);
310 
311 __isl_give isl_multi_aff *isl_multi_aff_add(__isl_take isl_multi_aff *maff1,
312 	__isl_take isl_multi_aff *maff2);
313 
314 __isl_give isl_multi_aff *isl_multi_aff_scale(__isl_take isl_multi_aff *maff,
315 	isl_int f);
316 
317 __isl_give isl_multi_aff *isl_multi_aff_range_splice(
318 	__isl_take isl_multi_aff *ma1, unsigned pos,
319 	__isl_take isl_multi_aff *ma2);
320 __isl_give isl_multi_aff *isl_multi_aff_splice(
321 	__isl_take isl_multi_aff *ma1, unsigned in_pos, unsigned out_pos,
322 	__isl_take isl_multi_aff *ma2);
323 __isl_give isl_multi_aff *isl_multi_aff_range_product(
324 	__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
325 __isl_give isl_multi_aff *isl_multi_aff_flat_range_product(
326 	__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
327 __isl_give isl_multi_aff *isl_multi_aff_product(
328 	__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
329 
330 __isl_give isl_multi_aff *isl_multi_aff_align_params(
331 	__isl_take isl_multi_aff *multi, __isl_take isl_space *model);
332 
333 __isl_give isl_multi_aff *isl_multi_aff_gist_params(
334 	__isl_take isl_multi_aff *maff, __isl_take isl_set *context);
335 __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff,
336 	__isl_take isl_set *context);
337 
338 __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff,
339 	__isl_give isl_local_space **ls);
340 
341 __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff(
342 	__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
343 
344 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
345 	__isl_take isl_multi_aff *ma2);
346 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
347 	__isl_take isl_multi_aff *ma2);
348 
349 __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p,
350 	__isl_keep isl_multi_aff *maff);
351 
352 __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx,
353 		const char *str);
354 void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff);
355 
356 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity(
357 	__isl_take isl_space *space);
358 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff(
359 	__isl_take isl_multi_aff *ma);
360 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set,
361 	__isl_take isl_multi_aff *maff);
362 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy(
363 	__isl_keep isl_pw_multi_aff *pma);
364 void *isl_pw_multi_aff_free(__isl_take isl_pw_multi_aff *pma);
365 
366 unsigned isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma,
367 	enum isl_dim_type type);
368 __isl_give isl_pw_aff *isl_pw_multi_aff_get_pw_aff(
369 	__isl_keep isl_pw_multi_aff *pma, int pos);
370 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_pw_aff(
371 	__isl_take isl_pw_multi_aff *pma, unsigned pos,
372 	__isl_take isl_pw_aff *pa);
373 
374 isl_ctx *isl_pw_multi_aff_get_ctx(__isl_keep isl_pw_multi_aff *pma);
375 __isl_give isl_space *isl_pw_multi_aff_get_domain_space(
376 	__isl_keep isl_pw_multi_aff *pma);
377 __isl_give isl_space *isl_pw_multi_aff_get_space(
378 	__isl_keep isl_pw_multi_aff *pma);
379 int isl_pw_multi_aff_has_tuple_name(__isl_keep isl_pw_multi_aff *pma,
380 	enum isl_dim_type type);
381 const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pma,
382 	enum isl_dim_type type);
383 __isl_give isl_id *isl_pw_multi_aff_get_tuple_id(
384 	__isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type);
385 int isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma,
386 	enum isl_dim_type type);
387 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id(
388 	__isl_take isl_pw_multi_aff *pma,
389 	enum isl_dim_type type, __isl_take isl_id *id);
390 
391 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_dims(
392 	__isl_take isl_pw_multi_aff *pma,
393 	enum isl_dim_type type, unsigned first, unsigned n);
394 
395 __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma);
396 
397 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *space);
398 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_domain(
399 	__isl_take isl_set *set);
400 
401 const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma,
402 	enum isl_dim_type type, unsigned pos);
403 __isl_give isl_id *isl_pw_multi_aff_get_dim_id(
404 	__isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type,
405 	unsigned pos);
406 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id(
407 	__isl_take isl_pw_multi_aff *pma,
408 	enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
409 
410 int isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1,
411 	__isl_keep isl_pw_multi_aff *pma2);
412 
413 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add(
414 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
415 
416 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add(
417 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
418 
419 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin(
420 	__isl_take isl_pw_multi_aff *pma1,
421 	__isl_take isl_pw_multi_aff *pma2);
422 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax(
423 	__isl_take isl_pw_multi_aff *pma1,
424 	__isl_take isl_pw_multi_aff *pma2);
425 
426 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product(
427 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
428 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_flat_range_product(
429 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
430 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_product(
431 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
432 
433 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params(
434 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
435 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain(
436 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
437 
438 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_domain_on_params(
439 	__isl_take isl_pw_multi_aff *pma);
440 
441 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_align_params(
442 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_space *model);
443 
444 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_coalesce(
445 	__isl_take isl_pw_multi_aff *pma);
446 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist_params(
447 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
448 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist(
449 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
450 
451 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_multi_aff(
452 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_aff *ma);
453 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_pw_multi_aff(
454 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
455 
456 int isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma,
457 	int (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff,
458 		    void *user), void *user);
459 
460 __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
461 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
462 
463 __isl_give isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_printer *p,
464 	__isl_keep isl_pw_multi_aff *pma);
465 
466 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set);
467 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *map);
468 
469 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx,
470 	const char *str);
471 void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma);
472 
473 
474 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty(
475 	__isl_take isl_space *space);
476 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_domain(
477 	__isl_take isl_union_set *uset);
478 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_copy(
479 	__isl_keep isl_union_pw_multi_aff *upma);
480 void *isl_union_pw_multi_aff_free(__isl_take isl_union_pw_multi_aff *upma);
481 
482 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add_pw_multi_aff(
483 	__isl_take isl_union_pw_multi_aff *upma,
484 	__isl_take isl_pw_multi_aff *pma);
485 
486 isl_ctx *isl_union_pw_multi_aff_get_ctx(
487 	__isl_keep isl_union_pw_multi_aff *upma);
488 __isl_give isl_space *isl_union_pw_multi_aff_get_space(
489 	__isl_keep isl_union_pw_multi_aff *upma);
490 
491 int isl_union_pw_multi_aff_foreach_pw_multi_aff(
492 	__isl_keep isl_union_pw_multi_aff *upma,
493 	int (*fn)(__isl_take isl_pw_multi_aff *pma, void *user), void *user);
494 
495 __isl_give isl_union_set *isl_union_pw_multi_aff_domain(
496 	__isl_take isl_union_pw_multi_aff *upma);
497 
498 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add(
499 	__isl_take isl_union_pw_multi_aff *upma1,
500 	__isl_take isl_union_pw_multi_aff *upma2);
501 
502 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_product(
503 	__isl_take isl_union_pw_multi_aff *upma1,
504 	__isl_take isl_union_pw_multi_aff *upma2);
505 
506 __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff(
507 	__isl_take isl_union_pw_multi_aff *upma);
508 
509 __isl_give isl_printer *isl_printer_print_union_pw_multi_aff(
510 	__isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma);
511 
512 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_zero(__isl_take isl_space *space);
513 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_identity(
514 	__isl_take isl_space *space);
515 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff(
516 	__isl_take isl_pw_aff *pa);
517 
518 isl_ctx *isl_multi_pw_aff_get_ctx(__isl_keep isl_multi_pw_aff *mpa);
519 __isl_give isl_space *isl_multi_pw_aff_get_space(
520 	__isl_keep isl_multi_pw_aff *mpa);
521 __isl_give isl_space *isl_multi_pw_aff_get_domain_space(
522 	__isl_keep isl_multi_pw_aff *mpa);
523 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_set_tuple_name(
524 	__isl_take isl_multi_pw_aff *mpa,
525 	enum isl_dim_type type, const char *s);
526 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_copy(
527 	__isl_keep isl_multi_pw_aff *mpa);
528 void *isl_multi_pw_aff_free(__isl_take isl_multi_pw_aff *mpa);
529 
530 unsigned isl_multi_pw_aff_dim(__isl_keep isl_multi_pw_aff *mpa,
531 	enum isl_dim_type type);
532 __isl_give isl_pw_aff *isl_multi_pw_aff_get_pw_aff(
533 	__isl_keep isl_multi_pw_aff *mpa, int pos);
534 
535 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_insert_dims(
536 	__isl_take isl_multi_pw_aff *mpa,
537 	enum isl_dim_type type, unsigned first, unsigned n);
538 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_add_dims(
539 	__isl_take isl_multi_pw_aff *mpa, enum isl_dim_type type, unsigned n);
540 
541 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_set_dim_name(
542 	__isl_take isl_multi_pw_aff *mpa,
543 	enum isl_dim_type type, unsigned pos, const char *s);
544 
545 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_range_splice(
546 	__isl_take isl_multi_pw_aff *mpa1, unsigned pos,
547 	__isl_take isl_multi_pw_aff *mpa2);
548 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_splice(
549 	__isl_take isl_multi_pw_aff *mpa1, unsigned in_pos, unsigned out_pos,
550 	__isl_take isl_multi_pw_aff *mpa2);
551 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_flat_range_product(
552 	__isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
553 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_range_product(
554 	__isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
555 
556 __isl_give isl_printer *isl_printer_print_multi_pw_aff(
557 	__isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa);
558 void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa);
559 
560 #if defined(__cplusplus)
561 }
562 #endif
563 
564 #include <isl/dim.h>
565 
566 #endif
567