include/isl_polynomial.h

   1 #ifndef ISL_POLYNOMIAL_H
   2 #define ISL_POLYNOMIAL_H
   3
   4 #include <isl_ctx.h>
   5 #include <isl_constraint.h>
   6 #include <isl_dim.h>
   7 #include <isl_div.h>
   8 #include <isl_set.h>
   9 #include <isl_point.h>
  10 #include <isl_printer.h>
  11 #include <isl_union_set.h>
  12
  13 #if defined(__cplusplus)
  14 extern "C" {
  15 #endif
  16
  17 struct isl_qpolynomial;
  18 typedef struct isl_qpolynomial isl_qpolynomial;
  19
  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);
  28
  29 __isl_give isl_qpolynomial *isl_qpolynomial_zero(__isl_take isl_dim *dim);
  30 __isl_give isl_qpolynomial *isl_qpolynomial_one(__isl_take isl_dim *dim);
  31 __isl_give isl_qpolynomial *isl_qpolynomial_infty(__isl_take isl_dim *dim);
  32 __isl_give isl_qpolynomial *isl_qpolynomial_neginfty(__isl_take isl_dim *dim);
  33 __isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim);
  34 __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim,
  35         const isl_int n, const isl_int d);
  36 __isl_give isl_qpolynomial *isl_qpolynomial_div(__isl_take isl_div *div);
  37 __isl_give isl_qpolynomial *isl_qpolynomial_var(__isl_take isl_dim *dim,
  38         enum isl_dim_type type, unsigned pos);
  39 __isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp);
  40 void isl_qpolynomial_free(__isl_take isl_qpolynomial *qp);
  41
  42 int isl_qpolynomial_is_equal(__isl_keep isl_qpolynomial *qp1,
  43         __isl_keep isl_qpolynomial *qp2);
  44 int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp);
  45 int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp);
  46 int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp);
  47 int isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial *qp);
  48 int isl_qpolynomial_sgn(__isl_keep isl_qpolynomial *qp);
  49 int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp,
  50         isl_int *n, isl_int *d);
  51 void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d);
  52
  53 __isl_give isl_qpolynomial *isl_qpolynomial_neg(__isl_take isl_qpolynomial *qp);
  54 __isl_give isl_qpolynomial *isl_qpolynomial_add(__isl_take isl_qpolynomial *qp1,
  55         __isl_take isl_qpolynomial *qp2);
  56 __isl_give isl_qpolynomial *isl_qpolynomial_sub(__isl_take isl_qpolynomial *qp1,
  57         __isl_take isl_qpolynomial *qp2);
  58 __isl_give isl_qpolynomial *isl_qpolynomial_mul(__isl_take isl_qpolynomial *qp1,
  59         __isl_take isl_qpolynomial *qp2);
  60
  61 __isl_give isl_qpolynomial *isl_qpolynomial_insert_dims(
  62         __isl_take isl_qpolynomial *qp, enum isl_dim_type type,
  63         unsigned first, unsigned n);
  64 __isl_give isl_qpolynomial *isl_qpolynomial_add_dims(
  65         __isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned n);
  66 __isl_give isl_qpolynomial *isl_qpolynomial_move_dims(
  67         __isl_take isl_qpolynomial *qp,
  68         enum isl_dim_type dst_type, unsigned dst_pos,
  69         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
  70 __isl_give isl_qpolynomial *isl_qpolynomial_drop_dims(
  71         __isl_take isl_qpolynomial *qp,
  72         enum isl_dim_type type, unsigned first, unsigned n);
  73
  74 __isl_give isl_qpolynomial *isl_qpolynomial_substitute(
  75         __isl_take isl_qpolynomial *qp,
  76         enum isl_dim_type type, unsigned first, unsigned n,
  77         __isl_keep isl_qpolynomial **subs);
  78
  79 int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial *qp,
  80         __isl_keep isl_basic_set *bset,
  81         int (*fn)(__isl_take isl_basic_set *bset,
  82                   __isl_take isl_qpolynomial *poly, void *user), void *user);
  83
  84 __isl_give isl_qpolynomial *isl_qpolynomial_homogenize(
  85         __isl_take isl_qpolynomial *poly);
  86
  87 struct isl_term;
  88 typedef struct isl_term isl_term;
  89
  90 isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term);
  91
  92 void isl_term_free(__isl_take isl_term *term);
  93
  94 unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type);
  95 void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
  96 void isl_term_get_den(__isl_keep isl_term *term, isl_int *d);
  97 int isl_term_get_exp(__isl_keep isl_term *term,
  98         enum isl_dim_type type, unsigned pos);
  99 __isl_give isl_div *isl_term_get_div(__isl_keep isl_term *term, unsigned pos);
 100
 101 int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp,
 102         int (*fn)(__isl_take isl_term *term, void *user), void *user);
 103
 104 __isl_give isl_qpolynomial *isl_qpolynomial_eval(
 105         __isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt);
 106
 107 __isl_give isl_qpolynomial *isl_qpolynomial_from_constraint(
 108         __isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos);
 109 __isl_give isl_qpolynomial *isl_qpolynomial_from_term(__isl_take isl_term *term);
 110
 111 __isl_give isl_printer *isl_printer_print_qpolynomial(
 112         __isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp);
 113 void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out,
 114         unsigned output_format);
 115
 116 struct isl_pw_qpolynomial;
 117 typedef struct isl_pw_qpolynomial isl_pw_qpolynomial;
 118
 119 isl_ctx *isl_pw_qpolynomial_get_ctx(__isl_keep isl_pw_qpolynomial *pwqp);
 120
 121 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_zero(__isl_take isl_dim *dim);
 122 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set *set,
 123         __isl_take isl_qpolynomial *qp);
 124 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_copy(
 125         __isl_keep isl_pw_qpolynomial *pwqp);
 126 void isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp);
 127
 128 int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp);
 129
 130 __isl_give isl_dim *isl_pw_qpolynomial_get_dim(
 131         __isl_keep isl_pw_qpolynomial *pwqp);
 132 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_reset_dim(
 133         __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_dim *dim);
 134 unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp,
 135         enum isl_dim_type type);
 136 int isl_pw_qpolynomial_involves_dims(__isl_keep isl_pw_qpolynomial *pwqp,
 137         enum isl_dim_type type, unsigned first, unsigned n);
 138 int isl_pw_qpolynomial_has_equal_dim(__isl_keep isl_pw_qpolynomial *pwqp1,
 139         __isl_keep isl_pw_qpolynomial *pwqp2);
 140
 141 __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial *pwqp);
 142 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_intersect_domain(
 143         __isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
 144
 145 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_drop_dims(
 146         __isl_take isl_pw_qpolynomial *pwqp,
 147         enum isl_dim_type type, unsigned first, unsigned n);
 148 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_split_dims(
 149         __isl_take isl_pw_qpolynomial *pwqp,
 150         enum isl_dim_type type, unsigned first, unsigned n);
 151
 152 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add(
 153         __isl_take isl_pw_qpolynomial *pwqp1,
 154         __isl_take isl_pw_qpolynomial *pwqp2);
 155 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_sub(
 156         __isl_take isl_pw_qpolynomial *pwqp1,
 157         __isl_take isl_pw_qpolynomial *pwqp2);
 158 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint(
 159         __isl_take isl_pw_qpolynomial *pwqp1,
 160         __isl_take isl_pw_qpolynomial *pwqp2);
 161 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg(
 162         __isl_take isl_pw_qpolynomial *pwqp);
 163 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul(
 164         __isl_take isl_pw_qpolynomial *pwqp1,
 165         __isl_take isl_pw_qpolynomial *pwqp2);
 166
 167 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_insert_dims(
 168         __isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type,
 169         unsigned first, unsigned n);
 170 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_dims(
 171         __isl_take isl_pw_qpolynomial *pwqp,
 172         enum isl_dim_type type, unsigned n);
 173 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move_dims(
 174         __isl_take isl_pw_qpolynomial *pwqp,
 175         enum isl_dim_type dst_type, unsigned dst_pos,
 176         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 177
 178 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_fix_dim(
 179         __isl_take isl_pw_qpolynomial *pwqp,
 180         enum isl_dim_type type, unsigned n, isl_int v);
 181
 182 __isl_give isl_qpolynomial *isl_pw_qpolynomial_eval(
 183         __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_point *pnt);
 184
 185 __isl_give isl_qpolynomial *isl_pw_qpolynomial_max(
 186         __isl_take isl_pw_qpolynomial *pwqp);
 187 __isl_give isl_qpolynomial *isl_pw_qpolynomial_min(
 188         __isl_take isl_pw_qpolynomial *pwqp);
 189
 190 int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp,
 191         int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
 192                     void *user), void *user);
 193 int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *pwqp,
 194         int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
 195                     void *user), void *user);
 196
 197 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ctx,
 198                 const char *str);
 199 __isl_give isl_printer *isl_printer_print_pw_qpolynomial(
 200         __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp);
 201 void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *out,
 202         unsigned output_format);
 203
 204 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_coalesce(
 205         __isl_take isl_pw_qpolynomial *pwqp);
 206 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist(
 207         __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
 208
 209 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_split_periods(
 210         __isl_take isl_pw_qpolynomial *pwqp, int max_periods);
 211
 212 enum isl_fold {
 213         isl_fold_min,
 214         isl_fold_max,
 215         isl_fold_list
 216 };
 217
 218 struct isl_qpolynomial_fold;
 219 typedef struct isl_qpolynomial_fold isl_qpolynomial_fold;
 220
 221 enum isl_fold isl_qpolynomial_fold_get_type(__isl_keep isl_qpolynomial_fold *fold);
 222
 223 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold type,
 224         __isl_take isl_dim *dim);
 225 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(
 226         enum isl_fold type, __isl_take isl_qpolynomial *qp);
 227 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(
 228         __isl_keep isl_qpolynomial_fold *fold);
 229 void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold);
 230
 231 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_reset_dim(
 232         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_dim *dim);
 233
 234 int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold);
 235 int isl_qpolynomial_fold_is_equal(__isl_keep isl_qpolynomial_fold *fold1,
 236         __isl_keep isl_qpolynomial_fold *fold2);
 237
 238 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
 239         __isl_take isl_qpolynomial_fold *fold1,
 240         __isl_take isl_qpolynomial_fold *fold2);
 241
 242 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_move_dims(
 243         __isl_take isl_qpolynomial_fold *fold,
 244         enum isl_dim_type dst_type, unsigned dst_pos,
 245         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 246
 247 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute(
 248         __isl_take isl_qpolynomial_fold *fold,
 249         enum isl_dim_type type, unsigned first, unsigned n,
 250         __isl_keep isl_qpolynomial **subs);
 251
 252 __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval(
 253         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt);
 254
 255 int isl_qpolynomial_fold_foreach_qpolynomial(
 256         __isl_keep isl_qpolynomial_fold *fold,
 257         int (*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user);
 258
 259 void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold *fold, FILE *out,
 260         unsigned output_format);
 261
 262 struct isl_pw_qpolynomial_fold;
 263 typedef struct isl_pw_qpolynomial_fold isl_pw_qpolynomial_fold;
 264
 265 isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold *pwf);
 266
 267 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolynomial(
 268         enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp);
 269
 270 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_alloc(
 271         enum isl_fold type,
 272         __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
 273 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy(
 274         __isl_keep isl_pw_qpolynomial_fold *pwf);
 275 void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf);
 276
 277 int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold *pwf);
 278
 279 __isl_give isl_dim *isl_pw_qpolynomial_fold_get_dim(
 280         __isl_keep isl_pw_qpolynomial_fold *pwf);
 281 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_reset_dim(
 282         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_dim *dim);
 283 unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pwf,
 284         enum isl_dim_type type);
 285 int isl_pw_qpolynomial_fold_has_equal_dim(
 286         __isl_keep isl_pw_qpolynomial_fold *pwf1,
 287         __isl_keep isl_pw_qpolynomial_fold *pwf2);
 288
 289 size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf);
 290
 291 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero(
 292         __isl_take isl_dim *dim, enum isl_fold type);
 293
 294 __isl_give isl_set *isl_pw_qpolynomial_fold_domain(
 295         __isl_take isl_pw_qpolynomial_fold *pwf);
 296 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_intersect_domain(
 297         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
 298
 299 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fold(
 300         __isl_take isl_pw_qpolynomial_fold *pwf1,
 301         __isl_take isl_pw_qpolynomial_fold *pwf2);
 302 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint(
 303         __isl_take isl_pw_qpolynomial_fold *pwf1,
 304         __isl_take isl_pw_qpolynomial_fold *pwf2);
 305
 306 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_drop_dims(
 307         __isl_take isl_pw_qpolynomial_fold *pwf,
 308         enum isl_dim_type type, unsigned first, unsigned n);
 309 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_move_dims(
 310         __isl_take isl_pw_qpolynomial_fold *pwf,
 311         enum isl_dim_type dst_type, unsigned dst_pos,
 312         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 313
 314 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_eval(
 315         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_point *pnt);
 316
 317 int isl_pw_qpolynomial_fold_foreach_piece(
 318         __isl_keep isl_pw_qpolynomial_fold *pwf,
 319         int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold,
 320                     void *user), void *user);
 321 int isl_pw_qpolynomial_fold_foreach_lifted_piece(
 322         __isl_keep isl_pw_qpolynomial_fold *pwf,
 323         int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold,
 324                     void *user), void *user);
 325
 326 __isl_give isl_printer *isl_printer_print_pw_qpolynomial_fold(
 327         __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf);
 328 void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf,
 329         FILE *out, unsigned output_format);
 330
 331 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_coalesce(
 332         __isl_take isl_pw_qpolynomial_fold *pwf);
 333 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_gist(
 334         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
 335
 336 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_max(
 337         __isl_take isl_pw_qpolynomial_fold *pwf);
 338 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_min(
 339         __isl_take isl_pw_qpolynomial_fold *pwf);
 340
 341 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound(
 342         __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int *tight);
 343 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_bound(
 344         __isl_take isl_pw_qpolynomial_fold *pwf, int *tight);
 345 __isl_give isl_pw_qpolynomial_fold *isl_map_apply_pw_qpolynomial_fold(
 346         __isl_take isl_map *map, __isl_take isl_pw_qpolynomial_fold *pwf,
 347         int *tight);
 348
 349 struct isl_union_pw_qpolynomial;
 350 typedef struct isl_union_pw_qpolynomial isl_union_pw_qpolynomial;
 351
 352 isl_ctx *isl_union_pw_qpolynomial_get_ctx(
 353         __isl_keep isl_union_pw_qpolynomial *upwqp);
 354
 355 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_from_pw_qpolynomial(__isl_take isl_pw_qpolynomial *pwqp);
 356 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_zero(
 357         __isl_take isl_dim *dim);
 358 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add_pw_qpolynomial(
 359         __isl_take isl_union_pw_qpolynomial *upwqp,
 360         __isl_take isl_pw_qpolynomial *pwqp);
 361 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_copy(
 362         __isl_keep isl_union_pw_qpolynomial *upwqp);
 363 void isl_union_pw_qpolynomial_free(__isl_take isl_union_pw_qpolynomial *upwqp);
 364
 365 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add(
 366         __isl_take isl_union_pw_qpolynomial *upwqp1,
 367         __isl_take isl_union_pw_qpolynomial *upwqp2);
 368 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sub(
 369         __isl_take isl_union_pw_qpolynomial *upwqp1,
 370         __isl_take isl_union_pw_qpolynomial *upwqp2);
 371 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul(
 372         __isl_take isl_union_pw_qpolynomial *upwqp1,
 373         __isl_take isl_union_pw_qpolynomial *upwqp2);
 374
 375 __isl_give isl_union_set *isl_union_pw_qpolynomial_domain(
 376         __isl_take isl_union_pw_qpolynomial *upwqp);
 377 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_domain(
 378         __isl_take isl_union_pw_qpolynomial *upwpq,
 379         __isl_take isl_union_set *uset);
 380
 381 __isl_give isl_dim *isl_union_pw_qpolynomial_get_dim(
 382         __isl_keep isl_union_pw_qpolynomial *upwqp);
 383
 384 __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_eval(
 385         __isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_point *pnt);
 386
 387 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_coalesce(
 388         __isl_take isl_union_pw_qpolynomial *upwqp);
 389 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist(
 390         __isl_take isl_union_pw_qpolynomial *upwqp,
 391         __isl_take isl_union_set *context);
 392
 393 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_align_params(
 394         __isl_take isl_union_pw_qpolynomial *upwqp,
 395         __isl_take isl_dim *model);
 396
 397 int isl_union_pw_qpolynomial_foreach_pw_qpolynomial(
 398         __isl_keep isl_union_pw_qpolynomial *upwqp,
 399         int (*fn)(__isl_take isl_pw_qpolynomial *pwqp, void *user), void *user);
 400
 401 __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial(
 402         __isl_take isl_printer *p, __isl_keep isl_union_pw_qpolynomial *upwqp);
 403
 404 struct isl_union_pw_qpolynomial_fold;
 405 typedef struct isl_union_pw_qpolynomial_fold isl_union_pw_qpolynomial_fold;
 406
 407 isl_ctx *isl_union_pw_qpolynomial_fold_get_ctx(
 408         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 409
 410 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold(__isl_take isl_pw_qpolynomial_fold *pwf);
 411 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_zero(
 412         __isl_take isl_dim *dim, enum isl_fold type);
 413 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold(
 414         __isl_take isl_union_pw_qpolynomial_fold *upwqp,
 415         __isl_take isl_pw_qpolynomial_fold *pwqp);
 416 void isl_union_pw_qpolynomial_fold_free(
 417         __isl_take isl_union_pw_qpolynomial_fold *upwf);
 418 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_copy(
 419         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 420
 421 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fold(
 422         __isl_take isl_union_pw_qpolynomial_fold *upwf1,
 423         __isl_take isl_union_pw_qpolynomial_fold *upwf2);
 424 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial(
 425         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 426         __isl_take isl_union_pw_qpolynomial *upwqp);
 427
 428 __isl_give isl_union_set *isl_union_pw_qpolynomial_fold_domain(
 429         __isl_take isl_union_pw_qpolynomial_fold *upwf);
 430 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_intersect_domain(
 431         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 432         __isl_take isl_union_set *uset);
 433
 434 enum isl_fold isl_union_pw_qpolynomial_fold_get_type(
 435         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 436 __isl_give isl_dim *isl_union_pw_qpolynomial_fold_get_dim(
 437         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 438
 439 __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_fold_eval(
 440         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 441         __isl_take isl_point *pnt);
 442
 443 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_coalesce(
 444         __isl_take isl_union_pw_qpolynomial_fold *upwf);
 445 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_gist(
 446         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 447         __isl_take isl_union_set *context);
 448
 449 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_align_params(
 450         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 451         __isl_take isl_dim *model);
 452
 453 int isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold(
 454         __isl_keep isl_union_pw_qpolynomial_fold *upwf,
 455         int (*fn)(__isl_take isl_pw_qpolynomial_fold *pwf,
 456                     void *user), void *user);
 457
 458 __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial_fold(
 459         __isl_take isl_printer *p,
 460         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 461
 462 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_bound(
 463         __isl_take isl_union_pw_qpolynomial *upwqp,
 464         enum isl_fold type, int *tight);
 465 __isl_give isl_union_pw_qpolynomial_fold *isl_union_map_apply_union_pw_qpolynomial_fold(
 466         __isl_take isl_union_map *umap,
 467         __isl_take isl_union_pw_qpolynomial_fold *upwf, int *tight);
 468
 469 #if defined(__cplusplus)
 470 }
 471 #endif
 472
 473 #endif