1 #ifndef ISL_POLYNOMIAL_H
2 #define ISL_POLYNOMIAL_H
5 #include <isl/constraint.h>
10 #include <isl/printer.h>
11 #include <isl/union_set.h>
13 #if defined(__cplusplus)
17 struct isl_qpolynomial
;
18 typedef struct isl_qpolynomial isl_qpolynomial
;
20 isl_ctx
*isl_qpolynomial_get_ctx(__isl_keep isl_qpolynomial
*qp
);
21 __isl_give isl_dim
*isl_qpolynomial_get_dim(__isl_keep isl_qpolynomial
*qp
);
22 __isl_give isl_qpolynomial
*isl_qpolynomial_reset_dim(
23 __isl_take isl_qpolynomial
*qp
, __isl_take isl_dim
*dim
);
24 unsigned isl_qpolynomial_dim(__isl_keep isl_qpolynomial
*qp
,
25 enum isl_dim_type type
);
26 int isl_qpolynomial_involves_dims(__isl_keep isl_qpolynomial
*qp
,
27 enum isl_dim_type type
, unsigned first
, unsigned n
);
29 __isl_give isl_qpolynomial
*isl_qpolynomial_set_dim_name(
30 __isl_take isl_qpolynomial
*qp
,
31 enum isl_dim_type type
, unsigned pos
, const char *s
);
33 __isl_give isl_qpolynomial
*isl_qpolynomial_zero(__isl_take isl_dim
*dim
);
34 __isl_give isl_qpolynomial
*isl_qpolynomial_one(__isl_take isl_dim
*dim
);
35 __isl_give isl_qpolynomial
*isl_qpolynomial_infty(__isl_take isl_dim
*dim
);
36 __isl_give isl_qpolynomial
*isl_qpolynomial_neginfty(__isl_take isl_dim
*dim
);
37 __isl_give isl_qpolynomial
*isl_qpolynomial_nan(__isl_take isl_dim
*dim
);
38 __isl_give isl_qpolynomial
*isl_qpolynomial_rat_cst(__isl_take isl_dim
*dim
,
39 const isl_int n
, const isl_int d
);
40 __isl_give isl_qpolynomial
*isl_qpolynomial_div(__isl_take isl_div
*div
);
41 __isl_give isl_qpolynomial
*isl_qpolynomial_var(__isl_take isl_dim
*dim
,
42 enum isl_dim_type type
, unsigned pos
);
43 __isl_give isl_qpolynomial
*isl_qpolynomial_copy(__isl_keep isl_qpolynomial
*qp
);
44 void isl_qpolynomial_free(__isl_take isl_qpolynomial
*qp
);
46 int isl_qpolynomial_is_equal(__isl_keep isl_qpolynomial
*qp1
,
47 __isl_keep isl_qpolynomial
*qp2
);
48 int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial
*qp
);
49 int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial
*qp
);
50 int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial
*qp
);
51 int isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial
*qp
);
52 int isl_qpolynomial_sgn(__isl_keep isl_qpolynomial
*qp
);
53 int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial
*qp
,
54 isl_int
*n
, isl_int
*d
);
55 void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial
*qp
, isl_int
*d
);
57 __isl_give isl_qpolynomial
*isl_qpolynomial_neg(__isl_take isl_qpolynomial
*qp
);
58 __isl_give isl_qpolynomial
*isl_qpolynomial_add(__isl_take isl_qpolynomial
*qp1
,
59 __isl_take isl_qpolynomial
*qp2
);
60 __isl_give isl_qpolynomial
*isl_qpolynomial_sub(__isl_take isl_qpolynomial
*qp1
,
61 __isl_take isl_qpolynomial
*qp2
);
62 __isl_give isl_qpolynomial
*isl_qpolynomial_mul(__isl_take isl_qpolynomial
*qp1
,
63 __isl_take isl_qpolynomial
*qp2
);
64 __isl_give isl_qpolynomial
*isl_qpolynomial_pow(__isl_take isl_qpolynomial
*qp
,
66 __isl_give isl_qpolynomial
*isl_qpolynomial_add_isl_int(
67 __isl_take isl_qpolynomial
*qp
, isl_int v
);
68 __isl_give isl_qpolynomial
*isl_qpolynomial_mul_isl_int(
69 __isl_take isl_qpolynomial
*qp
, isl_int v
);
71 __isl_give isl_qpolynomial
*isl_qpolynomial_insert_dims(
72 __isl_take isl_qpolynomial
*qp
, enum isl_dim_type type
,
73 unsigned first
, unsigned n
);
74 __isl_give isl_qpolynomial
*isl_qpolynomial_add_dims(
75 __isl_take isl_qpolynomial
*qp
, enum isl_dim_type type
, unsigned n
);
76 __isl_give isl_qpolynomial
*isl_qpolynomial_move_dims(
77 __isl_take isl_qpolynomial
*qp
,
78 enum isl_dim_type dst_type
, unsigned dst_pos
,
79 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
80 __isl_give isl_qpolynomial
*isl_qpolynomial_drop_dims(
81 __isl_take isl_qpolynomial
*qp
,
82 enum isl_dim_type type
, unsigned first
, unsigned n
);
84 __isl_give isl_qpolynomial
*isl_qpolynomial_substitute(
85 __isl_take isl_qpolynomial
*qp
,
86 enum isl_dim_type type
, unsigned first
, unsigned n
,
87 __isl_keep isl_qpolynomial
**subs
);
89 int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial
*qp
,
90 __isl_keep isl_basic_set
*bset
,
91 int (*fn
)(__isl_take isl_basic_set
*bset
,
92 __isl_take isl_qpolynomial
*poly
, void *user
), void *user
);
94 __isl_give isl_qpolynomial
*isl_qpolynomial_homogenize(
95 __isl_take isl_qpolynomial
*poly
);
98 typedef struct isl_term isl_term
;
100 isl_ctx
*isl_term_get_ctx(__isl_keep isl_term
*term
);
102 void isl_term_free(__isl_take isl_term
*term
);
104 unsigned isl_term_dim(__isl_keep isl_term
*term
, enum isl_dim_type type
);
105 void isl_term_get_num(__isl_keep isl_term
*term
, isl_int
*n
);
106 void isl_term_get_den(__isl_keep isl_term
*term
, isl_int
*d
);
107 int isl_term_get_exp(__isl_keep isl_term
*term
,
108 enum isl_dim_type type
, unsigned pos
);
109 __isl_give isl_div
*isl_term_get_div(__isl_keep isl_term
*term
, unsigned pos
);
111 int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial
*qp
,
112 int (*fn
)(__isl_take isl_term
*term
, void *user
), void *user
);
114 __isl_give isl_qpolynomial
*isl_qpolynomial_eval(
115 __isl_take isl_qpolynomial
*qp
, __isl_take isl_point
*pnt
);
117 __isl_give isl_qpolynomial
*isl_qpolynomial_from_constraint(
118 __isl_take isl_constraint
*c
, enum isl_dim_type type
, unsigned pos
);
119 __isl_give isl_qpolynomial
*isl_qpolynomial_from_term(__isl_take isl_term
*term
);
121 __isl_give isl_printer
*isl_printer_print_qpolynomial(
122 __isl_take isl_printer
*p
, __isl_keep isl_qpolynomial
*qp
);
123 void isl_qpolynomial_print(__isl_keep isl_qpolynomial
*qp
, FILE *out
,
124 unsigned output_format
);
125 void isl_qpolynomial_dump(__isl_keep isl_qpolynomial
*qp
);
127 struct isl_pw_qpolynomial
;
128 typedef struct isl_pw_qpolynomial isl_pw_qpolynomial
;
130 isl_ctx
*isl_pw_qpolynomial_get_ctx(__isl_keep isl_pw_qpolynomial
*pwqp
);
132 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_zero(__isl_take isl_dim
*dim
);
133 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_alloc(__isl_take isl_set
*set
,
134 __isl_take isl_qpolynomial
*qp
);
135 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_copy(
136 __isl_keep isl_pw_qpolynomial
*pwqp
);
137 void isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial
*pwqp
);
139 int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial
*pwqp
);
141 __isl_give isl_dim
*isl_pw_qpolynomial_get_dim(
142 __isl_keep isl_pw_qpolynomial
*pwqp
);
143 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_reset_dim(
144 __isl_take isl_pw_qpolynomial
*pwqp
, __isl_take isl_dim
*dim
);
145 unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial
*pwqp
,
146 enum isl_dim_type type
);
147 int isl_pw_qpolynomial_involves_dims(__isl_keep isl_pw_qpolynomial
*pwqp
,
148 enum isl_dim_type type
, unsigned first
, unsigned n
);
149 int isl_pw_qpolynomial_has_equal_dim(__isl_keep isl_pw_qpolynomial
*pwqp1
,
150 __isl_keep isl_pw_qpolynomial
*pwqp2
);
152 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_set_dim_name(
153 __isl_take isl_pw_qpolynomial
*pwqp
,
154 enum isl_dim_type type
, unsigned pos
, const char *s
);
156 __isl_give isl_set
*isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial
*pwqp
);
157 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_intersect_domain(
158 __isl_take isl_pw_qpolynomial
*pwpq
, __isl_take isl_set
*set
);
160 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_drop_dims(
161 __isl_take isl_pw_qpolynomial
*pwqp
,
162 enum isl_dim_type type
, unsigned first
, unsigned n
);
163 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_split_dims(
164 __isl_take isl_pw_qpolynomial
*pwqp
,
165 enum isl_dim_type type
, unsigned first
, unsigned n
);
167 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_add(
168 __isl_take isl_pw_qpolynomial
*pwqp1
,
169 __isl_take isl_pw_qpolynomial
*pwqp2
);
170 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_sub(
171 __isl_take isl_pw_qpolynomial
*pwqp1
,
172 __isl_take isl_pw_qpolynomial
*pwqp2
);
173 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_add_disjoint(
174 __isl_take isl_pw_qpolynomial
*pwqp1
,
175 __isl_take isl_pw_qpolynomial
*pwqp2
);
176 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_neg(
177 __isl_take isl_pw_qpolynomial
*pwqp
);
178 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_mul(
179 __isl_take isl_pw_qpolynomial
*pwqp1
,
180 __isl_take isl_pw_qpolynomial
*pwqp2
);
181 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_mul_isl_int(
182 __isl_take isl_pw_qpolynomial
*pwqp
, isl_int v
);
184 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_insert_dims(
185 __isl_take isl_pw_qpolynomial
*pwqp
, enum isl_dim_type type
,
186 unsigned first
, unsigned n
);
187 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_add_dims(
188 __isl_take isl_pw_qpolynomial
*pwqp
,
189 enum isl_dim_type type
, unsigned n
);
190 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_move_dims(
191 __isl_take isl_pw_qpolynomial
*pwqp
,
192 enum isl_dim_type dst_type
, unsigned dst_pos
,
193 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
195 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_fix_dim(
196 __isl_take isl_pw_qpolynomial
*pwqp
,
197 enum isl_dim_type type
, unsigned n
, isl_int v
);
199 __isl_give isl_qpolynomial
*isl_pw_qpolynomial_eval(
200 __isl_take isl_pw_qpolynomial
*pwqp
, __isl_take isl_point
*pnt
);
202 __isl_give isl_qpolynomial
*isl_pw_qpolynomial_max(
203 __isl_take isl_pw_qpolynomial
*pwqp
);
204 __isl_give isl_qpolynomial
*isl_pw_qpolynomial_min(
205 __isl_take isl_pw_qpolynomial
*pwqp
);
207 int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial
*pwqp
,
208 int (*fn
)(__isl_take isl_set
*set
, __isl_take isl_qpolynomial
*qp
,
209 void *user
), void *user
);
210 int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial
*pwqp
,
211 int (*fn
)(__isl_take isl_set
*set
, __isl_take isl_qpolynomial
*qp
,
212 void *user
), void *user
);
214 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_read_from_str(isl_ctx
*ctx
,
216 __isl_give isl_printer
*isl_printer_print_pw_qpolynomial(
217 __isl_take isl_printer
*p
, __isl_keep isl_pw_qpolynomial
*pwqp
);
218 void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial
*pwqp
, FILE *out
,
219 unsigned output_format
);
220 void isl_pw_qpolynomial_dump(__isl_keep isl_pw_qpolynomial
*pwqp
);
222 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_coalesce(
223 __isl_take isl_pw_qpolynomial
*pwqp
);
224 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_gist(
225 __isl_take isl_pw_qpolynomial
*pwqp
, __isl_take isl_set
*context
);
227 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_split_periods(
228 __isl_take isl_pw_qpolynomial
*pwqp
, int max_periods
);
230 __isl_give isl_pw_qpolynomial
*isl_basic_set_multiplicative_call(
231 __isl_take isl_basic_set
*bset
,
232 __isl_give isl_pw_qpolynomial
*(*fn
)(__isl_take isl_basic_set
*bset
));
240 struct isl_qpolynomial_fold
;
241 typedef struct isl_qpolynomial_fold isl_qpolynomial_fold
;
243 isl_ctx
*isl_qpolynomial_fold_get_ctx(__isl_keep isl_qpolynomial_fold
*fold
);
244 enum isl_fold
isl_qpolynomial_fold_get_type(__isl_keep isl_qpolynomial_fold
*fold
);
246 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_empty(enum isl_fold type
,
247 __isl_take isl_dim
*dim
);
248 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_alloc(
249 enum isl_fold type
, __isl_take isl_qpolynomial
*qp
);
250 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_copy(
251 __isl_keep isl_qpolynomial_fold
*fold
);
252 void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold
*fold
);
254 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_reset_dim(
255 __isl_take isl_qpolynomial_fold
*fold
, __isl_take isl_dim
*dim
);
257 int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold
*fold
);
258 int isl_qpolynomial_fold_is_equal(__isl_keep isl_qpolynomial_fold
*fold1
,
259 __isl_keep isl_qpolynomial_fold
*fold2
);
261 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_fold(
262 __isl_take isl_qpolynomial_fold
*fold1
,
263 __isl_take isl_qpolynomial_fold
*fold2
);
265 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_mul_isl_int(
266 __isl_take isl_qpolynomial_fold
*fold
, isl_int v
);
268 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_move_dims(
269 __isl_take isl_qpolynomial_fold
*fold
,
270 enum isl_dim_type dst_type
, unsigned dst_pos
,
271 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
273 __isl_give isl_qpolynomial_fold
*isl_qpolynomial_fold_substitute(
274 __isl_take isl_qpolynomial_fold
*fold
,
275 enum isl_dim_type type
, unsigned first
, unsigned n
,
276 __isl_keep isl_qpolynomial
**subs
);
278 __isl_give isl_qpolynomial
*isl_qpolynomial_fold_eval(
279 __isl_take isl_qpolynomial_fold
*fold
, __isl_take isl_point
*pnt
);
281 int isl_qpolynomial_fold_foreach_qpolynomial(
282 __isl_keep isl_qpolynomial_fold
*fold
,
283 int (*fn
)(__isl_take isl_qpolynomial
*qp
, void *user
), void *user
);
285 __isl_give isl_printer
*isl_printer_print_qpolynomial_fold(
286 __isl_take isl_printer
*p
, __isl_keep isl_qpolynomial_fold
*fold
);
287 void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold
*fold
, FILE *out
,
288 unsigned output_format
);
289 void isl_qpolynomial_fold_dump(__isl_keep isl_qpolynomial_fold
*fold
);
291 struct isl_pw_qpolynomial_fold
;
292 typedef struct isl_pw_qpolynomial_fold isl_pw_qpolynomial_fold
;
294 isl_ctx
*isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold
*pwf
);
296 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_from_pw_qpolynomial(
297 enum isl_fold type
, __isl_take isl_pw_qpolynomial
*pwqp
);
299 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_alloc(
301 __isl_take isl_set
*set
, __isl_take isl_qpolynomial_fold
*fold
);
302 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_copy(
303 __isl_keep isl_pw_qpolynomial_fold
*pwf
);
304 void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold
*pwf
);
306 int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold
*pwf
);
308 __isl_give isl_dim
*isl_pw_qpolynomial_fold_get_dim(
309 __isl_keep isl_pw_qpolynomial_fold
*pwf
);
310 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_reset_dim(
311 __isl_take isl_pw_qpolynomial_fold
*pwf
, __isl_take isl_dim
*dim
);
312 unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold
*pwf
,
313 enum isl_dim_type type
);
314 int isl_pw_qpolynomial_fold_has_equal_dim(
315 __isl_keep isl_pw_qpolynomial_fold
*pwf1
,
316 __isl_keep isl_pw_qpolynomial_fold
*pwf2
);
318 size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold
*pwf
);
320 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_zero(
321 __isl_take isl_dim
*dim
, enum isl_fold type
);
323 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_set_dim_name(
324 __isl_take isl_pw_qpolynomial_fold
*pwf
,
325 enum isl_dim_type type
, unsigned pos
, const char *s
);
327 __isl_give isl_set
*isl_pw_qpolynomial_fold_domain(
328 __isl_take isl_pw_qpolynomial_fold
*pwf
);
329 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_intersect_domain(
330 __isl_take isl_pw_qpolynomial_fold
*pwf
, __isl_take isl_set
*set
);
332 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_add(
333 __isl_take isl_pw_qpolynomial_fold
*pwf1
,
334 __isl_take isl_pw_qpolynomial_fold
*pwf2
);
335 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_fold(
336 __isl_take isl_pw_qpolynomial_fold
*pwf1
,
337 __isl_take isl_pw_qpolynomial_fold
*pwf2
);
338 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_add_disjoint(
339 __isl_take isl_pw_qpolynomial_fold
*pwf1
,
340 __isl_take isl_pw_qpolynomial_fold
*pwf2
);
341 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_mul_isl_int(
342 __isl_take isl_pw_qpolynomial_fold
*pwf
, isl_int v
);
344 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_drop_dims(
345 __isl_take isl_pw_qpolynomial_fold
*pwf
,
346 enum isl_dim_type type
, unsigned first
, unsigned n
);
347 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_move_dims(
348 __isl_take isl_pw_qpolynomial_fold
*pwf
,
349 enum isl_dim_type dst_type
, unsigned dst_pos
,
350 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
352 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_fix_dim(
353 __isl_take isl_pw_qpolynomial_fold
*pwf
,
354 enum isl_dim_type type
, unsigned n
, isl_int v
);
356 __isl_give isl_qpolynomial
*isl_pw_qpolynomial_fold_eval(
357 __isl_take isl_pw_qpolynomial_fold
*pwf
, __isl_take isl_point
*pnt
);
359 int isl_pw_qpolynomial_fold_foreach_piece(
360 __isl_keep isl_pw_qpolynomial_fold
*pwf
,
361 int (*fn
)(__isl_take isl_set
*set
, __isl_take isl_qpolynomial_fold
*fold
,
362 void *user
), void *user
);
363 int isl_pw_qpolynomial_fold_foreach_lifted_piece(
364 __isl_keep isl_pw_qpolynomial_fold
*pwf
,
365 int (*fn
)(__isl_take isl_set
*set
, __isl_take isl_qpolynomial_fold
*fold
,
366 void *user
), void *user
);
368 __isl_give isl_printer
*isl_printer_print_pw_qpolynomial_fold(
369 __isl_take isl_printer
*p
, __isl_keep isl_pw_qpolynomial_fold
*pwf
);
370 void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold
*pwf
,
371 FILE *out
, unsigned output_format
);
372 void isl_pw_qpolynomial_fold_dump(__isl_keep isl_pw_qpolynomial_fold
*pwf
);
374 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_coalesce(
375 __isl_take isl_pw_qpolynomial_fold
*pwf
);
376 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_gist(
377 __isl_take isl_pw_qpolynomial_fold
*pwf
, __isl_take isl_set
*context
);
379 __isl_give isl_qpolynomial
*isl_pw_qpolynomial_fold_max(
380 __isl_take isl_pw_qpolynomial_fold
*pwf
);
381 __isl_give isl_qpolynomial
*isl_pw_qpolynomial_fold_min(
382 __isl_take isl_pw_qpolynomial_fold
*pwf
);
384 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_bound(
385 __isl_take isl_pw_qpolynomial
*pwqp
, enum isl_fold type
, int *tight
);
386 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_bound(
387 __isl_take isl_pw_qpolynomial_fold
*pwf
, int *tight
);
388 __isl_give isl_pw_qpolynomial_fold
*isl_set_apply_pw_qpolynomial_fold(
389 __isl_take isl_set
*set
, __isl_take isl_pw_qpolynomial_fold
*pwf
,
391 __isl_give isl_pw_qpolynomial_fold
*isl_map_apply_pw_qpolynomial_fold(
392 __isl_take isl_map
*map
, __isl_take isl_pw_qpolynomial_fold
*pwf
,
395 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_to_polynomial(
396 __isl_take isl_pw_qpolynomial
*pwqp
, int sign
);
398 struct isl_union_pw_qpolynomial
;
399 typedef struct isl_union_pw_qpolynomial isl_union_pw_qpolynomial
;
401 isl_ctx
*isl_union_pw_qpolynomial_get_ctx(
402 __isl_keep isl_union_pw_qpolynomial
*upwqp
);
404 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_from_pw_qpolynomial(__isl_take isl_pw_qpolynomial
*pwqp
);
405 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_zero(
406 __isl_take isl_dim
*dim
);
407 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_add_pw_qpolynomial(
408 __isl_take isl_union_pw_qpolynomial
*upwqp
,
409 __isl_take isl_pw_qpolynomial
*pwqp
);
410 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_copy(
411 __isl_keep isl_union_pw_qpolynomial
*upwqp
);
412 void isl_union_pw_qpolynomial_free(__isl_take isl_union_pw_qpolynomial
*upwqp
);
414 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_add(
415 __isl_take isl_union_pw_qpolynomial
*upwqp1
,
416 __isl_take isl_union_pw_qpolynomial
*upwqp2
);
417 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_sub(
418 __isl_take isl_union_pw_qpolynomial
*upwqp1
,
419 __isl_take isl_union_pw_qpolynomial
*upwqp2
);
420 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_mul(
421 __isl_take isl_union_pw_qpolynomial
*upwqp1
,
422 __isl_take isl_union_pw_qpolynomial
*upwqp2
);
423 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_mul_isl_int(
424 __isl_take isl_union_pw_qpolynomial
*upwqp
, isl_int v
);
426 __isl_give isl_union_set
*isl_union_pw_qpolynomial_domain(
427 __isl_take isl_union_pw_qpolynomial
*upwqp
);
428 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_intersect_domain(
429 __isl_take isl_union_pw_qpolynomial
*upwpq
,
430 __isl_take isl_union_set
*uset
);
432 __isl_give isl_dim
*isl_union_pw_qpolynomial_get_dim(
433 __isl_keep isl_union_pw_qpolynomial
*upwqp
);
435 __isl_give isl_qpolynomial
*isl_union_pw_qpolynomial_eval(
436 __isl_take isl_union_pw_qpolynomial
*upwqp
, __isl_take isl_point
*pnt
);
438 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_coalesce(
439 __isl_take isl_union_pw_qpolynomial
*upwqp
);
440 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_gist(
441 __isl_take isl_union_pw_qpolynomial
*upwqp
,
442 __isl_take isl_union_set
*context
);
444 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_align_params(
445 __isl_take isl_union_pw_qpolynomial
*upwqp
,
446 __isl_take isl_dim
*model
);
448 int isl_union_pw_qpolynomial_foreach_pw_qpolynomial(
449 __isl_keep isl_union_pw_qpolynomial
*upwqp
,
450 int (*fn
)(__isl_take isl_pw_qpolynomial
*pwqp
, void *user
), void *user
);
451 __isl_give isl_pw_qpolynomial
*isl_union_pw_qpolynomial_extract_pw_qpolynomial(
452 __isl_keep isl_union_pw_qpolynomial
*upwqp
, __isl_take isl_dim
*dim
);
454 __isl_give isl_printer
*isl_printer_print_union_pw_qpolynomial(
455 __isl_take isl_printer
*p
, __isl_keep isl_union_pw_qpolynomial
*upwqp
);
457 struct isl_union_pw_qpolynomial_fold
;
458 typedef struct isl_union_pw_qpolynomial_fold isl_union_pw_qpolynomial_fold
;
460 isl_ctx
*isl_union_pw_qpolynomial_fold_get_ctx(
461 __isl_keep isl_union_pw_qpolynomial_fold
*upwf
);
463 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold(__isl_take isl_pw_qpolynomial_fold
*pwf
);
464 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_zero(
465 __isl_take isl_dim
*dim
, enum isl_fold type
);
466 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold(
467 __isl_take isl_union_pw_qpolynomial_fold
*upwqp
,
468 __isl_take isl_pw_qpolynomial_fold
*pwqp
);
469 void isl_union_pw_qpolynomial_fold_free(
470 __isl_take isl_union_pw_qpolynomial_fold
*upwf
);
471 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_copy(
472 __isl_keep isl_union_pw_qpolynomial_fold
*upwf
);
474 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_fold(
475 __isl_take isl_union_pw_qpolynomial_fold
*upwf1
,
476 __isl_take isl_union_pw_qpolynomial_fold
*upwf2
);
477 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial(
478 __isl_take isl_union_pw_qpolynomial_fold
*upwf
,
479 __isl_take isl_union_pw_qpolynomial
*upwqp
);
480 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_mul_isl_int(
481 __isl_take isl_union_pw_qpolynomial_fold
*upwf
, isl_int v
);
483 __isl_give isl_union_set
*isl_union_pw_qpolynomial_fold_domain(
484 __isl_take isl_union_pw_qpolynomial_fold
*upwf
);
485 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_intersect_domain(
486 __isl_take isl_union_pw_qpolynomial_fold
*upwf
,
487 __isl_take isl_union_set
*uset
);
489 enum isl_fold
isl_union_pw_qpolynomial_fold_get_type(
490 __isl_keep isl_union_pw_qpolynomial_fold
*upwf
);
491 __isl_give isl_dim
*isl_union_pw_qpolynomial_fold_get_dim(
492 __isl_keep isl_union_pw_qpolynomial_fold
*upwf
);
494 __isl_give isl_qpolynomial
*isl_union_pw_qpolynomial_fold_eval(
495 __isl_take isl_union_pw_qpolynomial_fold
*upwf
,
496 __isl_take isl_point
*pnt
);
498 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_coalesce(
499 __isl_take isl_union_pw_qpolynomial_fold
*upwf
);
500 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_gist(
501 __isl_take isl_union_pw_qpolynomial_fold
*upwf
,
502 __isl_take isl_union_set
*context
);
504 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_align_params(
505 __isl_take isl_union_pw_qpolynomial_fold
*upwf
,
506 __isl_take isl_dim
*model
);
508 int isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold(
509 __isl_keep isl_union_pw_qpolynomial_fold
*upwf
,
510 int (*fn
)(__isl_take isl_pw_qpolynomial_fold
*pwf
,
511 void *user
), void *user
);
512 __isl_give isl_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_fold_extract_pw_qpolynomial_fold(
513 __isl_keep isl_union_pw_qpolynomial_fold
*upwf
, __isl_take isl_dim
*dim
);
515 __isl_give isl_printer
*isl_printer_print_union_pw_qpolynomial_fold(
516 __isl_take isl_printer
*p
,
517 __isl_keep isl_union_pw_qpolynomial_fold
*upwf
);
519 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_pw_qpolynomial_bound(
520 __isl_take isl_union_pw_qpolynomial
*upwqp
,
521 enum isl_fold type
, int *tight
);
522 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_set_apply_union_pw_qpolynomial_fold(
523 __isl_take isl_union_set
*uset
,
524 __isl_take isl_union_pw_qpolynomial_fold
*upwf
, int *tight
);
525 __isl_give isl_union_pw_qpolynomial_fold
*isl_union_map_apply_union_pw_qpolynomial_fold(
526 __isl_take isl_union_map
*umap
,
527 __isl_take isl_union_pw_qpolynomial_fold
*upwf
, int *tight
);
529 __isl_give isl_union_pw_qpolynomial
*isl_union_pw_qpolynomial_to_polynomial(
530 __isl_take isl_union_pw_qpolynomial
*upwqp
, int sign
);
532 #if defined(__cplusplus)