add exported isl_multi_aff_domain_reverse
[isl.git] / include / isl / aff.h
blob75fc6690ec312aacf120b29c71d498568d3c679b
1 #ifndef ISL_AFF_H
2 #define ISL_AFF_H
4 #include <isl/stdint.h>
5 #include <isl/local_space.h>
6 #include <isl/printer.h>
7 #include <isl/id_type.h>
8 #include <isl/set_type.h>
9 #include <isl/aff_type.h>
10 #include <isl/list.h>
11 #include <isl/multi.h>
12 #include <isl/union_set_type.h>
13 #include <isl/val_type.h>
14 #include <isl/point.h>
16 #if defined(__cplusplus)
17 extern "C" {
18 #endif
20 __isl_overload
21 __isl_give isl_aff *isl_aff_zero_on_domain_space(__isl_take isl_space *space);
22 __isl_export
23 __isl_give isl_aff *isl_space_zero_aff_on_domain(__isl_take isl_space *space);
24 __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls);
25 __isl_give isl_aff *isl_aff_val_on_domain_space(__isl_take isl_space *space,
26 __isl_take isl_val *val);
27 __isl_give isl_aff *isl_aff_val_on_domain(__isl_take isl_local_space *ls,
28 __isl_take isl_val *val);
29 __isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls,
30 enum isl_dim_type type, unsigned pos);
31 __isl_give isl_aff *isl_aff_nan_on_domain_space(__isl_take isl_space *space);
32 __isl_give isl_aff *isl_aff_nan_on_domain(__isl_take isl_local_space *ls);
33 __isl_give isl_aff *isl_aff_param_on_domain_space_id(
34 __isl_take isl_space *space, __isl_take isl_id *id);
35 __isl_overload
36 __isl_give isl_aff *isl_space_param_aff_on_domain_id(
37 __isl_take isl_space *space, __isl_take isl_id *id);
39 __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff);
40 __isl_null isl_aff *isl_aff_free(__isl_take isl_aff *aff);
42 isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff);
43 uint32_t isl_aff_get_hash(__isl_keep isl_aff *aff);
45 isl_bool isl_aff_involves_locals(__isl_keep isl_aff *aff);
47 isl_size isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
48 isl_bool isl_aff_involves_dims(__isl_keep isl_aff *aff,
49 enum isl_dim_type type, unsigned first, unsigned n);
51 __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff);
52 __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff);
53 __isl_give isl_local_space *isl_aff_get_domain_local_space(
54 __isl_keep isl_aff *aff);
55 __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff);
57 const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff,
58 enum isl_dim_type type, unsigned pos);
59 __isl_export
60 __isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff);
61 __isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff,
62 enum isl_dim_type type, int pos);
63 int isl_aff_coefficient_sgn(__isl_keep isl_aff *aff,
64 enum isl_dim_type type, int pos);
65 __isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff);
66 __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v);
67 __isl_give isl_aff *isl_aff_set_constant_val(__isl_take isl_aff *aff,
68 __isl_take isl_val *v);
69 __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff,
70 enum isl_dim_type type, int pos, int v);
71 __isl_give isl_aff *isl_aff_set_coefficient_val(__isl_take isl_aff *aff,
72 enum isl_dim_type type, int pos, __isl_take isl_val *v);
73 __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v);
74 __isl_overload
75 __isl_give isl_aff *isl_aff_add_constant_val(__isl_take isl_aff *aff,
76 __isl_take isl_val *v);
77 __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, int v);
78 __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff,
79 enum isl_dim_type type, int pos, int v);
80 __isl_give isl_aff *isl_aff_add_coefficient_val(__isl_take isl_aff *aff,
81 enum isl_dim_type type, int pos, __isl_take isl_val *v);
83 __isl_export
84 isl_bool isl_aff_is_cst(__isl_keep isl_aff *aff);
86 __isl_give isl_aff *isl_aff_set_tuple_id(__isl_take isl_aff *aff,
87 enum isl_dim_type type, __isl_take isl_id *id);
88 __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff,
89 enum isl_dim_type type, unsigned pos, const char *s);
90 __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff,
91 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
93 int isl_aff_find_dim_by_name(__isl_keep isl_aff *aff, enum isl_dim_type type,
94 const char *name);
96 __isl_export
97 isl_bool isl_aff_plain_is_equal(__isl_keep isl_aff *aff1,
98 __isl_keep isl_aff *aff2);
99 isl_bool isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
100 isl_bool isl_aff_is_nan(__isl_keep isl_aff *aff);
102 __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos);
104 __isl_give isl_aff *isl_aff_from_range(__isl_take isl_aff *aff);
106 __isl_export
107 __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff);
108 __isl_export
109 __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff);
110 __isl_export
111 __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff);
112 __isl_overload
113 __isl_give isl_aff *isl_aff_mod_val(__isl_take isl_aff *aff,
114 __isl_take isl_val *mod);
116 __isl_export
117 __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1,
118 __isl_take isl_aff *aff2);
119 __isl_export
120 __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1,
121 __isl_take isl_aff *aff2);
122 __isl_export
123 __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1,
124 __isl_take isl_aff *aff2);
125 __isl_export
126 __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1,
127 __isl_take isl_aff *aff2);
129 __isl_overload
130 __isl_give isl_aff *isl_aff_scale_val(__isl_take isl_aff *aff,
131 __isl_take isl_val *v);
132 __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f);
133 __isl_overload
134 __isl_give isl_aff *isl_aff_scale_down_val(__isl_take isl_aff *aff,
135 __isl_take isl_val *v);
137 __isl_export
138 __isl_give isl_aff *isl_aff_domain_reverse(__isl_take isl_aff *aff);
139 __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff,
140 enum isl_dim_type type, unsigned first, unsigned n);
141 __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff,
142 enum isl_dim_type type, unsigned n);
143 __isl_give isl_aff *isl_aff_move_dims(__isl_take isl_aff *aff,
144 enum isl_dim_type dst_type, unsigned dst_pos,
145 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
146 __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff,
147 enum isl_dim_type type, unsigned first, unsigned n);
148 __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *aff);
149 __isl_export
150 __isl_give isl_aff *isl_aff_unbind_params_insert_domain(
151 __isl_take isl_aff *aff, __isl_take isl_multi_id *domain);
153 __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff,
154 __isl_take isl_space *model);
156 __isl_export
157 __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff,
158 __isl_take isl_set *context);
159 __isl_export
160 __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff,
161 __isl_take isl_set *context);
163 __isl_export
164 __isl_give isl_val *isl_aff_eval(__isl_take isl_aff *aff,
165 __isl_take isl_point *pnt);
167 __isl_give isl_aff *isl_aff_pullback_aff(__isl_take isl_aff *aff1,
168 __isl_take isl_aff *aff2);
169 __isl_overload
170 __isl_give isl_aff *isl_aff_pullback_multi_aff(__isl_take isl_aff *aff,
171 __isl_take isl_multi_aff *ma);
173 __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff);
174 __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff);
176 __isl_give isl_basic_set *isl_aff_eq_basic_set(__isl_take isl_aff *aff1,
177 __isl_take isl_aff *aff2);
178 __isl_export
179 __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1,
180 __isl_take isl_aff *aff2);
181 __isl_export
182 __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1,
183 __isl_take isl_aff *aff2);
184 __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
185 __isl_take isl_aff *aff2);
186 __isl_export
187 __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1,
188 __isl_take isl_aff *aff2);
189 __isl_give isl_basic_set *isl_aff_lt_basic_set(__isl_take isl_aff *aff1,
190 __isl_take isl_aff *aff2);
191 __isl_export
192 __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1,
193 __isl_take isl_aff *aff2);
194 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
195 __isl_take isl_aff *aff2);
196 __isl_export
197 __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1,
198 __isl_take isl_aff *aff2);
199 __isl_give isl_basic_set *isl_aff_gt_basic_set(__isl_take isl_aff *aff1,
200 __isl_take isl_aff *aff2);
201 __isl_export
202 __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1,
203 __isl_take isl_aff *aff2);
205 __isl_overload
206 __isl_give isl_basic_set *isl_aff_bind_id(__isl_take isl_aff *aff,
207 __isl_take isl_id *id);
209 __isl_constructor
210 __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str);
211 __isl_give char *isl_aff_to_str(__isl_keep isl_aff *aff);
212 __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p,
213 __isl_keep isl_aff *aff);
214 void isl_aff_dump(__isl_keep isl_aff *aff);
216 isl_ctx *isl_pw_aff_get_ctx(__isl_keep isl_pw_aff *pwaff);
217 uint32_t isl_pw_aff_get_hash(__isl_keep isl_pw_aff *pa);
218 __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pwaff);
219 __isl_export
220 __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff);
222 __isl_constructor
223 __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff);
224 __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *space);
225 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
226 __isl_take isl_aff *aff);
227 __isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(
228 __isl_take isl_local_space *ls);
229 __isl_give isl_pw_aff *isl_pw_aff_var_on_domain(__isl_take isl_local_space *ls,
230 enum isl_dim_type type, unsigned pos);
231 __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain_space(
232 __isl_take isl_space *space);
233 __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain(__isl_take isl_local_space *ls);
234 __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain,
235 __isl_take isl_val *v);
236 __isl_overload
237 __isl_give isl_pw_aff *isl_set_pw_aff_on_domain_val(__isl_take isl_set *domain,
238 __isl_take isl_val *v);
239 __isl_overload
240 __isl_give isl_pw_aff *isl_pw_aff_param_on_domain_id(
241 __isl_take isl_set *domain, __isl_take isl_id *id);
242 __isl_overload
243 __isl_give isl_pw_aff *isl_set_param_pw_aff_on_domain_id(
244 __isl_take isl_set *domain, __isl_take isl_id *id);
246 __isl_export
247 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set);
249 const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa,
250 enum isl_dim_type type, unsigned pos);
251 isl_bool isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
252 enum isl_dim_type type, unsigned pos);
253 __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa,
254 enum isl_dim_type type, unsigned pos);
255 __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma,
256 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
258 int isl_pw_aff_find_dim_by_name(__isl_keep isl_pw_aff *pa,
259 enum isl_dim_type type, const char *name);
261 isl_bool isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
262 isl_bool isl_pw_aff_involves_nan(__isl_keep isl_pw_aff *pa);
263 int isl_pw_aff_plain_cmp(__isl_keep isl_pw_aff *pa1,
264 __isl_keep isl_pw_aff *pa2);
265 __isl_export
266 isl_bool isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1,
267 __isl_keep isl_pw_aff *pwaff2);
268 isl_bool isl_pw_aff_is_equal(__isl_keep isl_pw_aff *pa1,
269 __isl_keep isl_pw_aff *pa2);
271 __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
272 __isl_take isl_pw_aff *pwaff2);
273 __isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1,
274 __isl_take isl_pw_aff *pwaff2);
275 __isl_export
276 __isl_give isl_pw_aff *isl_pw_aff_union_add(__isl_take isl_pw_aff *pwaff1,
277 __isl_take isl_pw_aff *pwaff2);
279 __isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff);
280 __isl_null isl_pw_aff *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff);
282 isl_size isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type type);
283 isl_bool isl_pw_aff_involves_param_id(__isl_keep isl_pw_aff *pa,
284 __isl_keep isl_id *id);
285 isl_bool isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff,
286 enum isl_dim_type type, unsigned first, unsigned n);
288 isl_bool isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff);
290 __isl_export
291 __isl_give isl_pw_aff *isl_pw_aff_insert_domain(__isl_take isl_pw_aff *pa,
292 __isl_take isl_space *domain);
293 __isl_give isl_pw_aff *isl_pw_aff_project_domain_on_params(
294 __isl_take isl_pw_aff *pa);
296 __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff,
297 __isl_take isl_space *model);
298 __isl_export
299 __isl_give isl_pw_aff *isl_pw_aff_drop_unused_params(
300 __isl_take isl_pw_aff *pa);
302 isl_bool isl_pw_aff_has_tuple_id(__isl_keep isl_pw_aff *pa,
303 enum isl_dim_type type);
304 __isl_give isl_id *isl_pw_aff_get_tuple_id(__isl_keep isl_pw_aff *pa,
305 enum isl_dim_type type);
306 __isl_give isl_pw_aff *isl_pw_aff_set_tuple_id(__isl_take isl_pw_aff *pwaff,
307 enum isl_dim_type type, __isl_take isl_id *id);
308 __isl_give isl_pw_aff *isl_pw_aff_reset_tuple_id(__isl_take isl_pw_aff *pa,
309 enum isl_dim_type type);
310 __isl_give isl_pw_aff *isl_pw_aff_reset_user(__isl_take isl_pw_aff *pa);
312 __isl_export
313 __isl_give isl_set *isl_pw_aff_params(__isl_take isl_pw_aff *pwa);
314 __isl_export
315 __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff);
316 __isl_give isl_pw_aff *isl_pw_aff_from_range(__isl_take isl_pw_aff *pwa);
318 __isl_export
319 __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1,
320 __isl_take isl_pw_aff *pwaff2);
321 __isl_export
322 __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1,
323 __isl_take isl_pw_aff *pwaff2);
324 __isl_export
325 __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1,
326 __isl_take isl_pw_aff *pwaff2);
327 __isl_export
328 __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1,
329 __isl_take isl_pw_aff *pa2);
330 __isl_export
331 __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1,
332 __isl_take isl_pw_aff *pwaff2);
333 __isl_export
334 __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1,
335 __isl_take isl_pw_aff *pwaff2);
336 __isl_export
337 __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff);
338 __isl_export
339 __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff);
340 __isl_export
341 __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff);
342 __isl_overload
343 __isl_give isl_pw_aff *isl_pw_aff_mod_val(__isl_take isl_pw_aff *pa,
344 __isl_take isl_val *mod);
345 __isl_export
346 __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1,
347 __isl_take isl_pw_aff *pa2);
348 __isl_export
349 __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1,
350 __isl_take isl_pw_aff *pa2);
352 __isl_export
353 __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *pa,
354 __isl_take isl_set *set);
355 __isl_export
356 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *pa,
357 __isl_take isl_set *set);
358 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_domain(
359 __isl_take isl_pw_aff *pa, __isl_take isl_set *set);
360 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_range(
361 __isl_take isl_pw_aff *pa, __isl_take isl_set *set);
362 __isl_export
363 __isl_give isl_pw_aff *isl_pw_aff_subtract_domain(__isl_take isl_pw_aff *pa,
364 __isl_take isl_set *set);
366 __isl_export
367 __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond,
368 __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_false);
370 __isl_overload
371 __isl_give isl_pw_aff *isl_pw_aff_add_constant_val(__isl_take isl_pw_aff *pa,
372 __isl_take isl_val *v);
373 __isl_overload
374 __isl_give isl_pw_aff *isl_pw_aff_scale_val(__isl_take isl_pw_aff *pa,
375 __isl_take isl_val *v);
376 __isl_overload
377 __isl_give isl_pw_aff *isl_pw_aff_scale_down_val(__isl_take isl_pw_aff *pa,
378 __isl_take isl_val *f);
380 __isl_export
381 __isl_give isl_pw_aff *isl_pw_aff_domain_reverse(__isl_take isl_pw_aff *pa);
382 __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff,
383 enum isl_dim_type type, unsigned first, unsigned n);
384 __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff,
385 enum isl_dim_type type, unsigned n);
386 __isl_give isl_pw_aff *isl_pw_aff_move_dims(__isl_take isl_pw_aff *pa,
387 enum isl_dim_type dst_type, unsigned dst_pos,
388 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
389 __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff,
390 enum isl_dim_type type, unsigned first, unsigned n);
392 __isl_export
393 __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pa);
394 __isl_export
395 __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff,
396 __isl_take isl_set *context);
397 __isl_export
398 __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff,
399 __isl_take isl_set *context);
401 __isl_export
402 __isl_give isl_val *isl_pw_aff_eval(__isl_take isl_pw_aff *pa,
403 __isl_take isl_point *pnt);
405 __isl_overload
406 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_aff(
407 __isl_take isl_pw_aff *pa, __isl_take isl_multi_aff *ma);
408 __isl_overload
409 __isl_give isl_pw_aff *isl_pw_aff_pullback_pw_multi_aff(
410 __isl_take isl_pw_aff *pa, __isl_take isl_pw_multi_aff *pma);
411 __isl_overload
412 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_pw_aff(
413 __isl_take isl_pw_aff *pa, __isl_take isl_multi_pw_aff *mpa);
415 isl_size isl_pw_aff_n_piece(__isl_keep isl_pw_aff *pwaff);
416 isl_stat isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff,
417 isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff,
418 void *user), void *user);
419 isl_bool isl_pw_aff_every_piece(__isl_keep isl_pw_aff *pa,
420 isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_aff *aff,
421 void *user), void *user);
422 __isl_export
423 isl_bool isl_pw_aff_isa_aff(__isl_keep isl_pw_aff *pa);
424 __isl_export
425 __isl_give isl_aff *isl_pw_aff_as_aff(__isl_take isl_pw_aff *pa);
427 __isl_export
428 __isl_give isl_map *isl_pw_aff_as_map(__isl_take isl_pw_aff *pa);
429 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff);
430 __isl_give isl_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff);
432 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa);
433 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
434 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff);
435 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff);
437 __isl_export
438 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
439 __isl_take isl_pw_aff *pwaff2);
440 __isl_export
441 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
442 __isl_take isl_pw_aff *pwaff2);
443 __isl_export
444 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
445 __isl_take isl_pw_aff *pwaff2);
446 __isl_export
447 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
448 __isl_take isl_pw_aff *pwaff2);
449 __isl_export
450 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
451 __isl_take isl_pw_aff *pwaff2);
452 __isl_export
453 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
454 __isl_take isl_pw_aff *pwaff2);
456 __isl_give isl_map *isl_pw_aff_eq_map(__isl_take isl_pw_aff *pa1,
457 __isl_take isl_pw_aff *pa2);
458 __isl_give isl_map *isl_pw_aff_le_map(__isl_take isl_pw_aff *pa1,
459 __isl_take isl_pw_aff *pa2);
460 __isl_give isl_map *isl_pw_aff_lt_map(__isl_take isl_pw_aff *pa1,
461 __isl_take isl_pw_aff *pa2);
462 __isl_give isl_map *isl_pw_aff_ge_map(__isl_take isl_pw_aff *pa1,
463 __isl_take isl_pw_aff *pa2);
464 __isl_give isl_map *isl_pw_aff_gt_map(__isl_take isl_pw_aff *pa1,
465 __isl_take isl_pw_aff *pa2);
467 __isl_export
468 __isl_give isl_pw_aff *isl_pw_aff_bind_domain(__isl_take isl_pw_aff *pa,
469 __isl_take isl_multi_id *tuple);
470 __isl_export
471 __isl_give isl_pw_aff *isl_pw_aff_bind_domain_wrapped_domain(
472 __isl_take isl_pw_aff *pa, __isl_take isl_multi_id *tuple);
473 __isl_overload
474 __isl_give isl_set *isl_pw_aff_bind_id(__isl_take isl_pw_aff *pa,
475 __isl_take isl_id *id);
477 __isl_constructor
478 __isl_give isl_pw_aff *isl_pw_aff_read_from_str(isl_ctx *ctx, const char *str);
479 __isl_give char *isl_pw_aff_to_str(__isl_keep isl_pw_aff *pa);
480 __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p,
481 __isl_keep isl_pw_aff *pwaff);
482 void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff);
484 __isl_give isl_pw_aff *isl_pw_aff_list_min(__isl_take isl_pw_aff_list *list);
485 __isl_give isl_pw_aff *isl_pw_aff_list_max(__isl_take isl_pw_aff_list *list);
487 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
488 __isl_take isl_pw_aff_list *list2);
489 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
490 __isl_take isl_pw_aff_list *list2);
491 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
492 __isl_take isl_pw_aff_list *list2);
493 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
494 __isl_take isl_pw_aff_list *list2);
495 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
496 __isl_take isl_pw_aff_list *list2);
497 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
498 __isl_take isl_pw_aff_list *list2);
500 ISL_DECLARE_MULTI(aff)
501 ISL_DECLARE_MULTI_IDENTITY(aff)
502 ISL_DECLARE_MULTI_CMP(aff)
503 ISL_DECLARE_MULTI_ARITH(aff)
504 ISL_DECLARE_MULTI_ADD_CONSTANT(aff)
505 ISL_DECLARE_MULTI_ZERO(aff)
506 ISL_DECLARE_MULTI_NAN(aff)
507 ISL_DECLARE_MULTI_DIMS(aff)
508 ISL_DECLARE_MULTI_INSERT_DOMAIN(aff)
509 ISL_DECLARE_MULTI_LOCALS(aff)
510 ISL_DECLARE_MULTI_DIM_ID(aff)
511 ISL_DECLARE_MULTI_TUPLE_ID(aff)
512 ISL_DECLARE_MULTI_WITH_DOMAIN(aff)
513 ISL_DECLARE_MULTI_BIND_DOMAIN(aff)
514 ISL_DECLARE_MULTI_UNBIND_PARAMS(aff)
515 ISL_DECLARE_MULTI_DOMAIN_REVERSE(aff)
517 __isl_constructor
518 __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff);
519 __isl_export
520 __isl_give isl_multi_aff *isl_multi_aff_domain_map(__isl_take isl_space *space);
521 __isl_export
522 __isl_give isl_multi_aff *isl_space_domain_map_multi_aff(
523 __isl_take isl_space *space);
524 __isl_export
525 __isl_give isl_multi_aff *isl_multi_aff_range_map(__isl_take isl_space *space);
526 __isl_export
527 __isl_give isl_multi_aff *isl_space_range_map_multi_aff(
528 __isl_take isl_space *space);
529 __isl_give isl_multi_aff *isl_multi_aff_project_out_map(
530 __isl_take isl_space *space, enum isl_dim_type type,
531 unsigned first, unsigned n);
533 __isl_overload
534 __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_domain_space(
535 __isl_take isl_space *space, __isl_take isl_multi_val *mv);
536 __isl_overload
537 __isl_give isl_multi_aff *isl_space_multi_aff_on_domain_multi_val(
538 __isl_take isl_space *space, __isl_take isl_multi_val *mv);
539 __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_space(
540 __isl_take isl_space *space, __isl_take isl_multi_val *mv);
542 __isl_export
543 __isl_give isl_multi_val *isl_multi_aff_get_constant_multi_val(
544 __isl_keep isl_multi_aff *ma);
546 __isl_export
547 __isl_give isl_multi_aff *isl_multi_aff_floor(__isl_take isl_multi_aff *ma);
549 __isl_export
550 __isl_give isl_multi_aff *isl_multi_aff_gist_params(
551 __isl_take isl_multi_aff *maff, __isl_take isl_set *context);
552 __isl_export
553 __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff,
554 __isl_take isl_set *context);
556 __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff,
557 __isl_give isl_local_space **ls);
559 __isl_overload
560 __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff(
561 __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
563 __isl_give isl_multi_aff *isl_multi_aff_move_dims(__isl_take isl_multi_aff *ma,
564 enum isl_dim_type dst_type, unsigned dst_pos,
565 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
567 __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1,
568 __isl_take isl_multi_aff *ma2);
569 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
570 __isl_take isl_multi_aff *ma2);
571 __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1,
572 __isl_take isl_multi_aff *ma2);
573 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
574 __isl_take isl_multi_aff *ma2);
576 __isl_export
577 __isl_give isl_basic_set *isl_multi_aff_bind(__isl_take isl_multi_aff *ma,
578 __isl_take isl_multi_id *tuple);
580 __isl_give char *isl_multi_aff_to_str(__isl_keep isl_multi_aff *ma);
581 __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p,
582 __isl_keep isl_multi_aff *maff);
584 __isl_constructor
585 __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx,
586 const char *str);
587 void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff);
589 ISL_DECLARE_MULTI(pw_aff)
590 ISL_DECLARE_MULTI_IDENTITY(pw_aff)
591 ISL_DECLARE_MULTI_ARITH(pw_aff)
592 ISL_DECLARE_MULTI_MIN_MAX(pw_aff)
593 ISL_DECLARE_MULTI_ADD_CONSTANT(pw_aff)
594 ISL_DECLARE_MULTI_ZERO(pw_aff)
595 ISL_DECLARE_MULTI_NAN(pw_aff)
596 ISL_DECLARE_MULTI_DIMS(pw_aff)
597 ISL_DECLARE_MULTI_DIM_ID(pw_aff)
598 ISL_DECLARE_MULTI_INSERT_DOMAIN(pw_aff)
599 ISL_DECLARE_MULTI_TUPLE_ID(pw_aff)
600 ISL_DECLARE_MULTI_WITH_DOMAIN(pw_aff)
601 ISL_DECLARE_MULTI_BIND_DOMAIN(pw_aff)
602 ISL_DECLARE_MULTI_PARAM(pw_aff)
603 ISL_DECLARE_MULTI_UNBIND_PARAMS(pw_aff)
605 __isl_export
606 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_zero(__isl_take isl_space *space);
607 __isl_overload
608 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity_on_domain_space(
609 __isl_take isl_space *space);
610 __isl_export
611 __isl_give isl_pw_multi_aff *isl_space_identity_pw_multi_aff_on_domain(
612 __isl_take isl_space *space);
613 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity(
614 __isl_take isl_space *space);
615 __isl_export
616 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_domain_map(
617 __isl_take isl_space *space);
618 __isl_export
619 __isl_give isl_pw_multi_aff *isl_space_domain_map_pw_multi_aff(
620 __isl_take isl_space *space);
621 __isl_export
622 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_map(
623 __isl_take isl_space *space);
624 __isl_export
625 __isl_give isl_pw_multi_aff *isl_space_range_map_pw_multi_aff(
626 __isl_take isl_space *space);
627 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out_map(
628 __isl_take isl_space *space, enum isl_dim_type type,
629 unsigned first, unsigned n);
630 __isl_export
631 __isl_give isl_pw_multi_aff *isl_multi_aff_to_pw_multi_aff(
632 __isl_take isl_multi_aff *ma);
633 __isl_constructor
634 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff(
635 __isl_take isl_multi_aff *ma);
636 __isl_constructor
637 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_pw_aff(
638 __isl_take isl_pw_aff *pa);
639 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set,
640 __isl_take isl_multi_aff *maff);
641 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy(
642 __isl_keep isl_pw_multi_aff *pma);
643 __isl_null isl_pw_multi_aff *isl_pw_multi_aff_free(
644 __isl_take isl_pw_multi_aff *pma);
646 isl_size isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma,
647 enum isl_dim_type type);
648 __isl_export
649 isl_bool isl_pw_multi_aff_involves_locals(__isl_keep isl_pw_multi_aff *pma);
650 isl_bool isl_pw_multi_aff_involves_param_id(__isl_keep isl_pw_multi_aff *pma,
651 __isl_keep isl_id *id);
652 isl_bool isl_pw_multi_aff_involves_dims(__isl_keep isl_pw_multi_aff *pma,
653 enum isl_dim_type type, unsigned first, unsigned n);
654 __isl_export
655 __isl_give isl_pw_aff *isl_pw_multi_aff_get_at(
656 __isl_keep isl_pw_multi_aff *pma, int pos);
657 __isl_give isl_pw_aff *isl_pw_multi_aff_get_pw_aff(
658 __isl_keep isl_pw_multi_aff *pma, int pos);
659 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_pw_aff(
660 __isl_take isl_pw_multi_aff *pma, unsigned pos,
661 __isl_take isl_pw_aff *pa);
663 isl_ctx *isl_pw_multi_aff_get_ctx(__isl_keep isl_pw_multi_aff *pma);
664 __isl_give isl_space *isl_pw_multi_aff_get_domain_space(
665 __isl_keep isl_pw_multi_aff *pma);
666 __isl_export
667 __isl_give isl_space *isl_pw_multi_aff_get_space(
668 __isl_keep isl_pw_multi_aff *pma);
669 isl_bool isl_pw_multi_aff_has_tuple_name(__isl_keep isl_pw_multi_aff *pma,
670 enum isl_dim_type type);
671 const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pma,
672 enum isl_dim_type type);
673 __isl_export
674 __isl_give isl_id *isl_pw_multi_aff_get_range_tuple_id(
675 __isl_keep isl_pw_multi_aff *pma);
676 __isl_give isl_id *isl_pw_multi_aff_get_tuple_id(
677 __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type);
678 __isl_export
679 isl_bool isl_pw_multi_aff_has_range_tuple_id(__isl_keep isl_pw_multi_aff *pma);
680 isl_bool isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma,
681 enum isl_dim_type type);
682 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id(
683 __isl_take isl_pw_multi_aff *pma,
684 enum isl_dim_type type, __isl_take isl_id *id);
685 __isl_overload
686 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_range_tuple_id(
687 __isl_take isl_pw_multi_aff *pma, __isl_take isl_id *id);
688 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_tuple_id(
689 __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type);
690 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_user(
691 __isl_take isl_pw_multi_aff *pma);
693 int isl_pw_multi_aff_find_dim_by_name(__isl_keep isl_pw_multi_aff *pma,
694 enum isl_dim_type type, const char *name);
696 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_dims(
697 __isl_take isl_pw_multi_aff *pma,
698 enum isl_dim_type type, unsigned first, unsigned n);
700 __isl_export
701 __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma);
703 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *space);
704 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_domain(
705 __isl_take isl_set *set);
707 __isl_export
708 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_multi_val_on_domain(
709 __isl_take isl_set *domain, __isl_take isl_multi_val *mv);
710 __isl_overload
711 __isl_give isl_pw_multi_aff *isl_set_pw_multi_aff_on_domain_multi_val(
712 __isl_take isl_set *domain, __isl_take isl_multi_val *mv);
714 const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma,
715 enum isl_dim_type type, unsigned pos);
716 __isl_give isl_id *isl_pw_multi_aff_get_dim_id(
717 __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type,
718 unsigned pos);
719 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id(
720 __isl_take isl_pw_multi_aff *pma,
721 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
723 isl_bool isl_pw_multi_aff_involves_nan(__isl_keep isl_pw_multi_aff *pma);
724 __isl_export
725 isl_bool isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1,
726 __isl_keep isl_pw_multi_aff *pma2);
727 isl_bool isl_pw_multi_aff_is_equal(__isl_keep isl_pw_multi_aff *pma1,
728 __isl_keep isl_pw_multi_aff *pma2);
730 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_fix_si(
731 __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type,
732 unsigned pos, int value);
734 __isl_export
735 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add(
736 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
738 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_neg(
739 __isl_take isl_pw_multi_aff *pma);
741 __isl_export
742 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add(
743 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
744 __isl_export
745 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_sub(
746 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
748 __isl_overload
749 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_val(
750 __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
751 __isl_overload
752 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_multi_val(
753 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
754 __isl_overload
755 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_val(
756 __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
757 __isl_overload
758 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_val(
759 __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
760 __isl_overload
761 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_multi_val(
762 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
763 __isl_overload
764 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_multi_val(
765 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
767 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin(
768 __isl_take isl_pw_multi_aff *pma1,
769 __isl_take isl_pw_multi_aff *pma2);
770 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax(
771 __isl_take isl_pw_multi_aff *pma1,
772 __isl_take isl_pw_multi_aff *pma2);
774 __isl_give isl_multi_aff *isl_multi_aff_flatten_domain(
775 __isl_take isl_multi_aff *ma);
777 __isl_export
778 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product(
779 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
780 __isl_export
781 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_flat_range_product(
782 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
783 __isl_export
784 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_product(
785 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
786 __isl_export
787 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_domain(
788 __isl_take isl_pw_multi_aff *pma);
789 __isl_export
790 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_range(
791 __isl_take isl_pw_multi_aff *pma);
793 __isl_export
794 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params(
795 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
796 __isl_export
797 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain(
798 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
799 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_domain(
800 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
801 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_range(
802 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
803 __isl_export
804 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_subtract_domain(
805 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
807 __isl_export
808 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_insert_domain(
809 __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *domain);
810 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_domain_on_params(
811 __isl_take isl_pw_multi_aff *pma);
813 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_align_params(
814 __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *model);
815 __isl_export
816 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_unused_params(
817 __isl_take isl_pw_multi_aff *pma);
819 __isl_export
820 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_coalesce(
821 __isl_take isl_pw_multi_aff *pma);
822 __isl_export
823 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist_params(
824 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
825 __isl_export
826 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist(
827 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
829 __isl_overload
830 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_multi_aff(
831 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_aff *ma);
832 __isl_overload
833 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_pw_multi_aff(
834 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
835 __isl_overload
836 __isl_give isl_pw_multi_aff *
837 isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(
838 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
840 __isl_export
841 isl_size isl_pw_multi_aff_n_piece(__isl_keep isl_pw_multi_aff *pma);
842 __isl_export
843 isl_stat isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma,
844 isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff,
845 void *user), void *user);
846 isl_bool isl_pw_multi_aff_every_piece(__isl_keep isl_pw_multi_aff *pma,
847 isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_multi_aff *ma,
848 void *user), void *user);
849 __isl_export
850 isl_bool isl_pw_multi_aff_isa_multi_aff(__isl_keep isl_pw_multi_aff *pma);
851 __isl_export
852 __isl_give isl_multi_aff *isl_pw_multi_aff_as_multi_aff(
853 __isl_take isl_pw_multi_aff *pma);
855 __isl_export
856 __isl_give isl_map *isl_pw_multi_aff_as_map(__isl_take isl_pw_multi_aff *pma);
857 __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
858 __isl_export
859 __isl_give isl_set *isl_pw_multi_aff_as_set(__isl_take isl_pw_multi_aff *pma);
860 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
862 __isl_give char *isl_pw_multi_aff_to_str(__isl_keep isl_pw_multi_aff *pma);
863 __isl_give isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_printer *p,
864 __isl_keep isl_pw_multi_aff *pma);
866 __isl_export
867 __isl_give isl_pw_multi_aff *isl_set_as_pw_multi_aff(__isl_take isl_set *set);
868 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set);
869 __isl_export
870 __isl_give isl_pw_multi_aff *isl_map_as_pw_multi_aff(__isl_take isl_map *map);
871 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *map);
873 __isl_export
874 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain(
875 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple);
876 __isl_export
877 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain_wrapped_domain(
878 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple);
880 __isl_constructor
881 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx,
882 const char *str);
883 void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma);
886 __isl_overload
887 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_ctx(
888 isl_ctx *ctx);
889 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_space(
890 __isl_take isl_space *space);
891 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty(
892 __isl_take isl_space *space);
893 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_aff(
894 __isl_take isl_aff *aff);
895 __isl_constructor
896 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_multi_aff(
897 __isl_take isl_multi_aff *ma);
898 __isl_export
899 __isl_give isl_union_pw_multi_aff *isl_pw_multi_aff_to_union_pw_multi_aff(
900 __isl_take isl_pw_multi_aff *pma);
901 __isl_constructor
902 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_pw_multi_aff(
903 __isl_take isl_pw_multi_aff *pma);
904 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_domain(
905 __isl_take isl_union_set *uset);
906 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_multi_val_on_domain(
907 __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
908 __isl_give isl_union_pw_aff *isl_union_pw_aff_param_on_domain_id(
909 __isl_take isl_union_set *domain, __isl_take isl_id *id);
910 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_copy(
911 __isl_keep isl_union_pw_multi_aff *upma);
912 __isl_null isl_union_pw_multi_aff *isl_union_pw_multi_aff_free(
913 __isl_take isl_union_pw_multi_aff *upma);
915 __isl_give isl_union_pw_multi_aff *isl_union_set_identity_union_pw_multi_aff(
916 __isl_take isl_union_set *uset);
918 __isl_give isl_union_pw_aff *isl_union_pw_multi_aff_get_union_pw_aff(
919 __isl_keep isl_union_pw_multi_aff *upma, int pos);
921 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add_pw_multi_aff(
922 __isl_take isl_union_pw_multi_aff *upma,
923 __isl_take isl_pw_multi_aff *pma);
925 isl_ctx *isl_union_pw_multi_aff_get_ctx(
926 __isl_keep isl_union_pw_multi_aff *upma);
927 __isl_export
928 __isl_give isl_space *isl_union_pw_multi_aff_get_space(
929 __isl_keep isl_union_pw_multi_aff *upma);
930 __isl_export
931 __isl_give isl_pw_multi_aff_list *isl_union_pw_multi_aff_get_pw_multi_aff_list(
932 __isl_keep isl_union_pw_multi_aff *upma);
934 isl_size isl_union_pw_multi_aff_dim(__isl_keep isl_union_pw_multi_aff *upma,
935 enum isl_dim_type type);
936 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_set_dim_name(
937 __isl_take isl_union_pw_multi_aff *upma,
938 enum isl_dim_type type, unsigned pos, const char *s);
940 int isl_union_pw_multi_aff_find_dim_by_name(
941 __isl_keep isl_union_pw_multi_aff *upma, enum isl_dim_type type,
942 const char *name);
944 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_drop_dims(
945 __isl_take isl_union_pw_multi_aff *upma,
946 enum isl_dim_type type, unsigned first, unsigned n);
947 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_reset_user(
948 __isl_take isl_union_pw_multi_aff *upma);
950 __isl_export
951 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_coalesce(
952 __isl_take isl_union_pw_multi_aff *upma);
953 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist_params(
954 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *context);
955 __isl_export
956 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist(
957 __isl_take isl_union_pw_multi_aff *upma,
958 __isl_take isl_union_set *context);
960 __isl_overload
961 __isl_give isl_union_pw_multi_aff *
962 isl_union_pw_multi_aff_pullback_union_pw_multi_aff(
963 __isl_take isl_union_pw_multi_aff *upma1,
964 __isl_take isl_union_pw_multi_aff *upma2);
965 __isl_overload
966 __isl_give isl_union_pw_multi_aff *
967 isl_union_pw_multi_aff_apply_union_pw_multi_aff(
968 __isl_take isl_union_pw_multi_aff *upma1,
969 __isl_take isl_union_pw_multi_aff *upma2);
970 __isl_overload
971 __isl_give isl_union_pw_multi_aff *
972 isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff(
973 __isl_take isl_union_pw_multi_aff *upma1,
974 __isl_take isl_union_pw_multi_aff *upma2);
976 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_align_params(
977 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *model);
978 __isl_export
979 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_drop_unused_params(
980 __isl_take isl_union_pw_multi_aff *upma);
982 isl_size isl_union_pw_multi_aff_n_pw_multi_aff(
983 __isl_keep isl_union_pw_multi_aff *upma);
985 isl_stat isl_union_pw_multi_aff_foreach_pw_multi_aff(
986 __isl_keep isl_union_pw_multi_aff *upma,
987 isl_stat (*fn)(__isl_take isl_pw_multi_aff *pma, void *user),
988 void *user);
989 isl_bool isl_union_pw_multi_aff_every_pw_multi_aff(
990 __isl_keep isl_union_pw_multi_aff *upma,
991 isl_bool (*test)(__isl_keep isl_pw_multi_aff *pma, void *user),
992 void *user);
993 __isl_export
994 __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_extract_pw_multi_aff(
995 __isl_keep isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
996 __isl_export
997 isl_bool isl_union_pw_multi_aff_isa_pw_multi_aff(
998 __isl_keep isl_union_pw_multi_aff *upma);
999 __isl_export
1000 __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_as_pw_multi_aff(
1001 __isl_take isl_union_pw_multi_aff *upma);
1003 __isl_export
1004 isl_bool isl_union_pw_multi_aff_plain_is_empty(
1005 __isl_keep isl_union_pw_multi_aff *upma);
1006 __isl_export
1007 isl_bool isl_union_pw_multi_aff_involves_locals(
1008 __isl_keep isl_union_pw_multi_aff *upma);
1009 isl_bool isl_union_pw_multi_aff_involves_nan(
1010 __isl_keep isl_union_pw_multi_aff *upma);
1011 __isl_export
1012 isl_bool isl_union_pw_multi_aff_plain_is_equal(
1013 __isl_keep isl_union_pw_multi_aff *upma1,
1014 __isl_keep isl_union_pw_multi_aff *upma2);
1016 __isl_export
1017 __isl_give isl_union_set *isl_union_pw_multi_aff_domain(
1018 __isl_take isl_union_pw_multi_aff *upma);
1020 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_neg(
1021 __isl_take isl_union_pw_multi_aff *upma);
1023 __isl_export
1024 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add(
1025 __isl_take isl_union_pw_multi_aff *upma1,
1026 __isl_take isl_union_pw_multi_aff *upma2);
1027 __isl_export
1028 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_union_add(
1029 __isl_take isl_union_pw_multi_aff *upma1,
1030 __isl_take isl_union_pw_multi_aff *upma2);
1031 __isl_export
1032 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_sub(
1033 __isl_take isl_union_pw_multi_aff *upma1,
1034 __isl_take isl_union_pw_multi_aff *upma2);
1036 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_val(
1037 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
1038 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_down_val(
1039 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
1040 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_multi_val(
1041 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_multi_val *mv);
1043 __isl_export
1044 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_product(
1045 __isl_take isl_union_pw_multi_aff *upma1,
1046 __isl_take isl_union_pw_multi_aff *upma2);
1047 __isl_export
1048 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_product(
1049 __isl_take isl_union_pw_multi_aff *upma1,
1050 __isl_take isl_union_pw_multi_aff *upma2);
1051 __isl_export
1052 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_domain(
1053 __isl_take isl_union_pw_multi_aff *upma);
1054 __isl_export
1055 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_range(
1056 __isl_take isl_union_pw_multi_aff *upma);
1058 __isl_export
1059 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_params(
1060 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *set);
1061 __isl_overload
1062 __isl_give isl_union_pw_multi_aff *
1063 isl_union_pw_multi_aff_intersect_domain_union_set(
1064 __isl_take isl_union_pw_multi_aff *upma,
1065 __isl_take isl_union_set *uset);
1066 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_domain(
1067 __isl_take isl_union_pw_multi_aff *upma,
1068 __isl_take isl_union_set *uset);
1069 __isl_overload
1070 __isl_give isl_union_pw_multi_aff *
1071 isl_union_pw_multi_aff_intersect_domain_space(
1072 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
1073 __isl_export
1074 __isl_give isl_union_pw_multi_aff *
1075 isl_union_pw_multi_aff_intersect_domain_wrapped_domain(
1076 __isl_take isl_union_pw_multi_aff *upma,
1077 __isl_take isl_union_set *uset);
1078 __isl_export
1079 __isl_give isl_union_pw_multi_aff *
1080 isl_union_pw_multi_aff_intersect_domain_wrapped_range(
1081 __isl_take isl_union_pw_multi_aff *upma,
1082 __isl_take isl_union_set *uset);
1083 __isl_overload
1084 __isl_give isl_union_pw_multi_aff *
1085 isl_union_pw_multi_aff_subtract_domain_union_set(
1086 __isl_take isl_union_pw_multi_aff *upma,
1087 __isl_take isl_union_set *uset);
1088 __isl_overload
1089 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain_space(
1090 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
1091 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain(
1092 __isl_take isl_union_pw_multi_aff *upma,
1093 __isl_take isl_union_set *uset);
1095 __isl_export
1096 __isl_give isl_union_map *isl_union_pw_multi_aff_as_union_map(
1097 __isl_take isl_union_pw_multi_aff *upma);
1098 __isl_overload
1099 __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff(
1100 __isl_take isl_union_pw_multi_aff *upma);
1102 __isl_give isl_printer *isl_printer_print_union_pw_multi_aff(
1103 __isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma);
1105 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_set(
1106 __isl_take isl_union_set *uset);
1107 __isl_export
1108 __isl_give isl_union_pw_multi_aff *isl_union_map_as_union_pw_multi_aff(
1109 __isl_take isl_union_map *umap);
1110 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_map(
1111 __isl_take isl_union_map *umap);
1113 __isl_constructor
1114 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_read_from_str(
1115 isl_ctx *ctx, const char *str);
1116 void isl_union_pw_multi_aff_dump(__isl_keep isl_union_pw_multi_aff *upma);
1117 __isl_give char *isl_union_pw_multi_aff_to_str(
1118 __isl_keep isl_union_pw_multi_aff *upma);
1120 uint32_t isl_multi_pw_aff_get_hash(__isl_keep isl_multi_pw_aff *mpa);
1122 __isl_constructor
1123 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_aff(__isl_take isl_aff *aff);
1124 __isl_export
1125 __isl_give isl_multi_pw_aff *isl_multi_aff_to_multi_pw_aff(
1126 __isl_take isl_multi_aff *ma);
1127 __isl_constructor
1128 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_multi_aff(
1129 __isl_take isl_multi_aff *ma);
1130 __isl_constructor
1131 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff(
1132 __isl_take isl_pw_aff *pa);
1133 __isl_export
1134 __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa);
1135 __isl_export
1136 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_params(
1137 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1138 __isl_export
1139 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_domain(
1140 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain);
1142 __isl_export
1143 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_coalesce(
1144 __isl_take isl_multi_pw_aff *mpa);
1145 __isl_export
1146 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist(
1147 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1148 __isl_export
1149 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist_params(
1150 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1152 isl_bool isl_multi_pw_aff_is_cst(__isl_keep isl_multi_pw_aff *mpa);
1153 isl_bool isl_multi_pw_aff_is_equal(__isl_keep isl_multi_pw_aff *mpa1,
1154 __isl_keep isl_multi_pw_aff *mpa2);
1156 __isl_overload
1157 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_aff(
1158 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_multi_aff *ma);
1159 __isl_overload
1160 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_pw_multi_aff(
1161 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_multi_aff *pma);
1162 __isl_overload
1163 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_pw_aff(
1164 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1166 __isl_export
1167 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_union_add(
1168 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1170 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_move_dims(
1171 __isl_take isl_multi_pw_aff *pma,
1172 enum isl_dim_type dst_type, unsigned dst_pos,
1173 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
1175 __isl_export
1176 isl_bool isl_multi_pw_aff_isa_multi_aff(__isl_keep isl_multi_pw_aff *mpa);
1177 __isl_export
1178 __isl_give isl_multi_aff *isl_multi_pw_aff_as_multi_aff(
1179 __isl_take isl_multi_pw_aff *mpa);
1181 __isl_export
1182 __isl_give isl_set *isl_multi_pw_aff_as_set(__isl_take isl_multi_pw_aff *mpa);
1183 __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
1184 __isl_export
1185 __isl_give isl_map *isl_multi_pw_aff_as_map(__isl_take isl_multi_pw_aff *mpa);
1186 __isl_give isl_map *isl_map_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
1187 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_pw_aff(
1188 __isl_take isl_multi_pw_aff *mpa);
1189 __isl_export
1190 __isl_give isl_multi_pw_aff *isl_pw_multi_aff_to_multi_pw_aff(
1191 __isl_take isl_pw_multi_aff *pma);
1192 __isl_constructor
1193 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_multi_aff(
1194 __isl_take isl_pw_multi_aff *pma);
1196 __isl_give isl_map *isl_multi_pw_aff_eq_map(__isl_take isl_multi_pw_aff *mpa1,
1197 __isl_take isl_multi_pw_aff *mpa2);
1198 __isl_give isl_map *isl_multi_pw_aff_lex_le_map(
1199 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1200 __isl_give isl_map *isl_multi_pw_aff_lex_lt_map(
1201 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1202 __isl_give isl_map *isl_multi_pw_aff_lex_ge_map(
1203 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1204 __isl_give isl_map *isl_multi_pw_aff_lex_gt_map(
1205 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1207 __isl_export
1208 __isl_give isl_set *isl_multi_pw_aff_bind(__isl_take isl_multi_pw_aff *mpa,
1209 __isl_take isl_multi_id *tuple);
1211 __isl_constructor
1212 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_read_from_str(isl_ctx *ctx,
1213 const char *str);
1214 __isl_give char *isl_multi_pw_aff_to_str(__isl_keep isl_multi_pw_aff *mpa);
1215 __isl_give isl_printer *isl_printer_print_multi_pw_aff(
1216 __isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa);
1217 void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa);
1219 __isl_give isl_union_pw_aff *isl_union_pw_aff_copy(
1220 __isl_keep isl_union_pw_aff *upa);
1221 __isl_null isl_union_pw_aff *isl_union_pw_aff_free(
1222 __isl_take isl_union_pw_aff *upa);
1224 isl_ctx *isl_union_pw_aff_get_ctx(__isl_keep isl_union_pw_aff *upa);
1225 __isl_export
1226 __isl_give isl_space *isl_union_pw_aff_get_space(
1227 __isl_keep isl_union_pw_aff *upa);
1228 __isl_give isl_pw_aff_list *isl_union_pw_aff_get_pw_aff_list(
1229 __isl_keep isl_union_pw_aff *upa);
1231 isl_size isl_union_pw_aff_dim(__isl_keep isl_union_pw_aff *upa,
1232 enum isl_dim_type type);
1233 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
1234 __isl_take isl_union_pw_aff *upa, enum isl_dim_type type,
1235 unsigned pos, const char *s);
1237 int isl_union_pw_aff_find_dim_by_name(__isl_keep isl_union_pw_aff *upa,
1238 enum isl_dim_type type, const char *name);
1240 __isl_give isl_union_pw_aff *isl_union_pw_aff_drop_dims(
1241 __isl_take isl_union_pw_aff *upa,
1242 enum isl_dim_type type, unsigned first, unsigned n);
1243 __isl_give isl_union_pw_aff *isl_union_pw_aff_reset_user(
1244 __isl_take isl_union_pw_aff *upa);
1246 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_ctx(isl_ctx *ctx);
1247 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_space(
1248 __isl_take isl_space *space);
1249 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty(
1250 __isl_take isl_space *space);
1251 __isl_constructor
1252 __isl_give isl_union_pw_aff *isl_union_pw_aff_from_aff(__isl_take isl_aff *aff);
1253 __isl_export
1254 __isl_give isl_union_pw_aff *isl_pw_aff_to_union_pw_aff(
1255 __isl_take isl_pw_aff *pa);
1256 __isl_constructor
1257 __isl_give isl_union_pw_aff *isl_union_pw_aff_from_pw_aff(
1258 __isl_take isl_pw_aff *pa);
1259 __isl_give isl_union_pw_aff *isl_union_pw_aff_val_on_domain(
1260 __isl_take isl_union_set *domain, __isl_take isl_val *v);
1261 __isl_give isl_union_pw_aff *isl_union_pw_aff_aff_on_domain(
1262 __isl_take isl_union_set *domain, __isl_take isl_aff *aff);
1263 __isl_give isl_union_pw_aff *isl_union_pw_aff_pw_aff_on_domain(
1264 __isl_take isl_union_set *domain, __isl_take isl_pw_aff *pa);
1265 __isl_give isl_union_pw_aff *isl_union_pw_aff_add_pw_aff(
1266 __isl_take isl_union_pw_aff *upa, __isl_take isl_pw_aff *pa);
1268 __isl_constructor
1269 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_pw_aff(
1270 __isl_take isl_union_pw_aff *upa);
1272 isl_size isl_union_pw_aff_n_pw_aff(__isl_keep isl_union_pw_aff *upa);
1274 isl_stat isl_union_pw_aff_foreach_pw_aff(__isl_keep isl_union_pw_aff *upa,
1275 isl_stat (*fn)(__isl_take isl_pw_aff *pa, void *user), void *user);
1276 isl_bool isl_union_pw_aff_every_pw_aff(__isl_keep isl_union_pw_aff *upa,
1277 isl_bool (*test)(__isl_keep isl_pw_aff *pa, void *user), void *user);
1278 __isl_give isl_pw_aff *isl_union_pw_aff_extract_pw_aff(
1279 __isl_keep isl_union_pw_aff *upa, __isl_take isl_space *space);
1281 isl_bool isl_union_pw_aff_involves_nan(__isl_keep isl_union_pw_aff *upa);
1282 __isl_export
1283 isl_bool isl_union_pw_aff_plain_is_equal(__isl_keep isl_union_pw_aff *upa1,
1284 __isl_keep isl_union_pw_aff *upa2);
1286 __isl_export
1287 __isl_give isl_union_set *isl_union_pw_aff_domain(
1288 __isl_take isl_union_pw_aff *upa);
1290 __isl_give isl_union_pw_aff *isl_union_pw_aff_neg(
1291 __isl_take isl_union_pw_aff *upa);
1293 __isl_export
1294 __isl_give isl_union_pw_aff *isl_union_pw_aff_add(
1295 __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1296 __isl_export
1297 __isl_give isl_union_pw_aff *isl_union_pw_aff_union_add(
1298 __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1299 __isl_export
1300 __isl_give isl_union_pw_aff *isl_union_pw_aff_sub(
1301 __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1303 __isl_export
1304 __isl_give isl_union_pw_aff *isl_union_pw_aff_coalesce(
1305 __isl_take isl_union_pw_aff *upa);
1306 __isl_export
1307 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist(
1308 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *context);
1309 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist_params(
1310 __isl_take isl_union_pw_aff *upa, __isl_take isl_set *context);
1312 __isl_overload
1313 __isl_give isl_union_pw_aff *isl_union_pw_aff_pullback_union_pw_multi_aff(
1314 __isl_take isl_union_pw_aff *upa,
1315 __isl_take isl_union_pw_multi_aff *upma);
1317 __isl_give isl_union_pw_aff *isl_union_pw_aff_floor(
1318 __isl_take isl_union_pw_aff *upa);
1320 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_val(
1321 __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
1322 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_down_val(
1323 __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
1324 __isl_give isl_union_pw_aff *isl_union_pw_aff_mod_val(
1325 __isl_take isl_union_pw_aff *upa, __isl_take isl_val *f);
1327 __isl_give isl_union_pw_aff *isl_union_pw_aff_align_params(
1328 __isl_take isl_union_pw_aff *upa, __isl_take isl_space *model);
1329 __isl_export
1330 __isl_give isl_union_pw_aff *isl_union_pw_aff_drop_unused_params(
1331 __isl_take isl_union_pw_aff *upa);
1333 __isl_export
1334 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_params(
1335 __isl_take isl_union_pw_aff *upa, __isl_take isl_set *set);
1336 __isl_overload
1337 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_space(
1338 __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space);
1339 __isl_overload
1340 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_union_set(
1341 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1342 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain(
1343 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1344 __isl_export
1345 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_domain(
1346 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1347 __isl_export
1348 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_range(
1349 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1350 __isl_overload
1351 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_union_set(
1352 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1353 __isl_overload
1354 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_space(
1355 __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space);
1356 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain(
1357 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1359 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
1360 __isl_take isl_union_pw_aff *upa,
1361 enum isl_dim_type type, unsigned pos, const char *s);
1363 __isl_give isl_union_set *isl_union_pw_aff_zero_union_set(
1364 __isl_take isl_union_pw_aff *upa);
1366 __isl_give isl_union_map *isl_union_map_from_union_pw_aff(
1367 __isl_take isl_union_pw_aff *upa);
1369 __isl_overload
1370 __isl_give isl_union_set *isl_union_pw_aff_bind_id(
1371 __isl_take isl_union_pw_aff *upa, __isl_take isl_id *id);
1373 __isl_constructor
1374 __isl_give isl_union_pw_aff *isl_union_pw_aff_read_from_str(isl_ctx *ctx,
1375 const char *str);
1376 __isl_give char *isl_union_pw_aff_to_str(__isl_keep isl_union_pw_aff *upa);
1377 __isl_give isl_printer *isl_printer_print_union_pw_aff(
1378 __isl_take isl_printer *p, __isl_keep isl_union_pw_aff *upa);
1379 void isl_union_pw_aff_dump(__isl_keep isl_union_pw_aff *upa);
1381 ISL_DECLARE_MULTI(union_pw_aff)
1382 ISL_DECLARE_MULTI_ARITH(union_pw_aff)
1383 ISL_DECLARE_MULTI_ZERO(union_pw_aff)
1384 ISL_DECLARE_MULTI_NAN(union_pw_aff)
1385 ISL_DECLARE_MULTI_DROP_DIMS(union_pw_aff)
1386 ISL_DECLARE_MULTI_DIM_ID(union_pw_aff)
1387 ISL_DECLARE_MULTI_TUPLE_ID(union_pw_aff)
1389 __isl_export
1390 __isl_give isl_multi_union_pw_aff *isl_multi_aff_to_multi_union_pw_aff(
1391 __isl_take isl_multi_aff *ma);
1392 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_aff(
1393 __isl_take isl_multi_aff *ma);
1394 __isl_constructor
1395 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_pw_aff(
1396 __isl_take isl_union_pw_aff *upa);
1397 __isl_constructor
1398 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_pw_aff(
1399 __isl_take isl_multi_pw_aff *mpa);
1400 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_val_on_domain(
1401 __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
1402 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_aff_on_domain(
1403 __isl_take isl_union_set *domain, __isl_take isl_multi_aff *ma);
1404 __isl_give isl_multi_union_pw_aff *
1405 isl_multi_union_pw_aff_pw_multi_aff_on_domain(__isl_take isl_union_set *domain,
1406 __isl_take isl_pw_multi_aff *pma);
1408 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_floor(
1409 __isl_take isl_multi_union_pw_aff *mupa);
1411 __isl_export
1412 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_domain(
1413 __isl_take isl_multi_union_pw_aff *mupa,
1414 __isl_take isl_union_set *uset);
1415 __isl_export
1416 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_params(
1417 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *params);
1418 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_range(
1419 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *set);
1421 __isl_export
1422 __isl_give isl_union_set *isl_multi_union_pw_aff_domain(
1423 __isl_take isl_multi_union_pw_aff *mupa);
1425 __isl_export
1426 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_coalesce(
1427 __isl_take isl_multi_union_pw_aff *mupa);
1428 __isl_export
1429 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist(
1430 __isl_take isl_multi_union_pw_aff *mupa,
1431 __isl_take isl_union_set *context);
1432 __isl_export
1433 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist_params(
1434 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *context);
1436 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_aff(
1437 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_aff *aff);
1438 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_multi_aff(
1439 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_multi_aff *ma);
1440 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_pw_aff(
1441 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_pw_aff *pa);
1442 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_pw_multi_aff(
1443 __isl_take isl_multi_union_pw_aff *mupa,
1444 __isl_take isl_pw_multi_aff *pma);
1446 __isl_overload
1447 __isl_give isl_multi_union_pw_aff *
1448 isl_multi_union_pw_aff_pullback_union_pw_multi_aff(
1449 __isl_take isl_multi_union_pw_aff *mupa,
1450 __isl_take isl_union_pw_multi_aff *upma);
1452 __isl_give isl_union_pw_multi_aff *
1453 isl_union_pw_multi_aff_from_multi_union_pw_aff(
1454 __isl_take isl_multi_union_pw_aff *mupa);
1456 __isl_export
1457 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_union_add(
1458 __isl_take isl_multi_union_pw_aff *mupa1,
1459 __isl_take isl_multi_union_pw_aff *mupa2);
1461 __isl_export
1462 __isl_give isl_multi_union_pw_aff *
1463 isl_union_pw_multi_aff_as_multi_union_pw_aff(
1464 __isl_take isl_union_pw_multi_aff *upma);
1465 __isl_give isl_multi_union_pw_aff *
1466 isl_multi_union_pw_aff_from_union_pw_multi_aff(
1467 __isl_take isl_union_pw_multi_aff *upma);
1469 __isl_export
1470 __isl_give isl_multi_union_pw_aff *isl_union_map_as_multi_union_pw_aff(
1471 __isl_take isl_union_map *umap);
1472 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_map(
1473 __isl_take isl_union_map *umap);
1474 __isl_overload
1475 __isl_give isl_union_map *isl_union_map_from_multi_union_pw_aff(
1476 __isl_take isl_multi_union_pw_aff *mupa);
1478 __isl_give isl_union_set *isl_multi_union_pw_aff_zero_union_set(
1479 __isl_take isl_multi_union_pw_aff *mupa);
1480 __isl_export
1481 __isl_give isl_union_set *isl_multi_union_pw_aff_bind(
1482 __isl_take isl_multi_union_pw_aff *mupa,
1483 __isl_take isl_multi_id *tuple);
1485 __isl_give isl_multi_pw_aff *isl_multi_union_pw_aff_extract_multi_pw_aff(
1486 __isl_keep isl_multi_union_pw_aff *mupa, __isl_take isl_space *space);
1488 __isl_constructor
1489 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_read_from_str(
1490 isl_ctx *ctx, const char *str);
1491 __isl_give char *isl_multi_union_pw_aff_to_str(
1492 __isl_keep isl_multi_union_pw_aff *mupa);
1493 __isl_give isl_printer *isl_printer_print_multi_union_pw_aff(
1494 __isl_take isl_printer *p, __isl_keep isl_multi_union_pw_aff *mupa);
1495 void isl_multi_union_pw_aff_dump(__isl_keep isl_multi_union_pw_aff *mupa);
1497 ISL_DECLARE_EXPORTED_LIST_FN(aff)
1498 ISL_DECLARE_EXPORTED_LIST_FN_READ(aff)
1499 ISL_DECLARE_EXPORTED_LIST_FN(pw_aff)
1500 ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_aff)
1501 ISL_DECLARE_EXPORTED_LIST_FN(pw_multi_aff)
1502 ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_multi_aff)
1503 ISL_DECLARE_EXPORTED_LIST_FN(union_pw_aff)
1504 ISL_DECLARE_EXPORTED_LIST_FN_READ(union_pw_aff)
1505 ISL_DECLARE_LIST_FN(union_pw_multi_aff)
1507 #if defined(__cplusplus)
1509 #endif
1511 #endif