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 __isl_give isl_pw_qpolynomial *isl_basic_set_multiplicative_call(
 213         __isl_take isl_basic_set *bset,
 214         __isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset));
 215
 216 enum isl_fold {
 217         isl_fold_min,
 218         isl_fold_max,
 219         isl_fold_list
 220 };
 221
 222 struct isl_qpolynomial_fold;
 223 typedef struct isl_qpolynomial_fold isl_qpolynomial_fold;
 224
 225 enum isl_fold isl_qpolynomial_fold_get_type(__isl_keep isl_qpolynomial_fold *fold);
 226
 227 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold type,
 228         __isl_take isl_dim *dim);
 229 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(
 230         enum isl_fold type, __isl_take isl_qpolynomial *qp);
 231 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(
 232         __isl_keep isl_qpolynomial_fold *fold);
 233 void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold);
 234
 235 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_reset_dim(
 236         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_dim *dim);
 237
 238 int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold);
 239 int isl_qpolynomial_fold_is_equal(__isl_keep isl_qpolynomial_fold *fold1,
 240         __isl_keep isl_qpolynomial_fold *fold2);
 241
 242 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
 243         __isl_take isl_qpolynomial_fold *fold1,
 244         __isl_take isl_qpolynomial_fold *fold2);
 245
 246 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_move_dims(
 247         __isl_take isl_qpolynomial_fold *fold,
 248         enum isl_dim_type dst_type, unsigned dst_pos,
 249         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 250
 251 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute(
 252         __isl_take isl_qpolynomial_fold *fold,
 253         enum isl_dim_type type, unsigned first, unsigned n,
 254         __isl_keep isl_qpolynomial **subs);
 255
 256 __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval(
 257         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt);
 258
 259 int isl_qpolynomial_fold_foreach_qpolynomial(
 260         __isl_keep isl_qpolynomial_fold *fold,
 261         int (*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user);
 262
 263 void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold *fold, FILE *out,
 264         unsigned output_format);
 265
 266 struct isl_pw_qpolynomial_fold;
 267 typedef struct isl_pw_qpolynomial_fold isl_pw_qpolynomial_fold;
 268
 269 isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold *pwf);
 270
 271 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolynomial(
 272         enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp);
 273
 274 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_alloc(
 275         enum isl_fold type,
 276         __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
 277 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy(
 278         __isl_keep isl_pw_qpolynomial_fold *pwf);
 279 void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf);
 280
 281 int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold *pwf);
 282
 283 __isl_give isl_dim *isl_pw_qpolynomial_fold_get_dim(
 284         __isl_keep isl_pw_qpolynomial_fold *pwf);
 285 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_reset_dim(
 286         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_dim *dim);
 287 unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pwf,
 288         enum isl_dim_type type);
 289 int isl_pw_qpolynomial_fold_has_equal_dim(
 290         __isl_keep isl_pw_qpolynomial_fold *pwf1,
 291         __isl_keep isl_pw_qpolynomial_fold *pwf2);
 292
 293 size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf);
 294
 295 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero(
 296         __isl_take isl_dim *dim, enum isl_fold type);
 297
 298 __isl_give isl_set *isl_pw_qpolynomial_fold_domain(
 299         __isl_take isl_pw_qpolynomial_fold *pwf);
 300 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_intersect_domain(
 301         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
 302
 303 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fold(
 304         __isl_take isl_pw_qpolynomial_fold *pwf1,
 305         __isl_take isl_pw_qpolynomial_fold *pwf2);
 306 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint(
 307         __isl_take isl_pw_qpolynomial_fold *pwf1,
 308         __isl_take isl_pw_qpolynomial_fold *pwf2);
 309
 310 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_drop_dims(
 311         __isl_take isl_pw_qpolynomial_fold *pwf,
 312         enum isl_dim_type type, unsigned first, unsigned n);
 313 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_move_dims(
 314         __isl_take isl_pw_qpolynomial_fold *pwf,
 315         enum isl_dim_type dst_type, unsigned dst_pos,
 316         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 317
 318 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_eval(
 319         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_point *pnt);
 320
 321 int isl_pw_qpolynomial_fold_foreach_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 int isl_pw_qpolynomial_fold_foreach_lifted_piece(
 326         __isl_keep isl_pw_qpolynomial_fold *pwf,
 327         int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold,
 328                     void *user), void *user);
 329
 330 __isl_give isl_printer *isl_printer_print_pw_qpolynomial_fold(
 331         __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf);
 332 void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf,
 333         FILE *out, unsigned output_format);
 334
 335 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_coalesce(
 336         __isl_take isl_pw_qpolynomial_fold *pwf);
 337 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_gist(
 338         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
 339
 340 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_max(
 341         __isl_take isl_pw_qpolynomial_fold *pwf);
 342 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_min(
 343         __isl_take isl_pw_qpolynomial_fold *pwf);
 344
 345 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound(
 346         __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int *tight);
 347 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_bound(
 348         __isl_take isl_pw_qpolynomial_fold *pwf, int *tight);
 349 __isl_give isl_pw_qpolynomial_fold *isl_map_apply_pw_qpolynomial_fold(
 350         __isl_take isl_map *map, __isl_take isl_pw_qpolynomial_fold *pwf,
 351         int *tight);
 352
 353 struct isl_union_pw_qpolynomial;
 354 typedef struct isl_union_pw_qpolynomial isl_union_pw_qpolynomial;
 355
 356 isl_ctx *isl_union_pw_qpolynomial_get_ctx(
 357         __isl_keep isl_union_pw_qpolynomial *upwqp);
 358
 359 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_from_pw_qpolynomial(__isl_take isl_pw_qpolynomial *pwqp);
 360 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_zero(
 361         __isl_take isl_dim *dim);
 362 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add_pw_qpolynomial(
 363         __isl_take isl_union_pw_qpolynomial *upwqp,
 364         __isl_take isl_pw_qpolynomial *pwqp);
 365 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_copy(
 366         __isl_keep isl_union_pw_qpolynomial *upwqp);
 367 void isl_union_pw_qpolynomial_free(__isl_take isl_union_pw_qpolynomial *upwqp);
 368
 369 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add(
 370         __isl_take isl_union_pw_qpolynomial *upwqp1,
 371         __isl_take isl_union_pw_qpolynomial *upwqp2);
 372 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sub(
 373         __isl_take isl_union_pw_qpolynomial *upwqp1,
 374         __isl_take isl_union_pw_qpolynomial *upwqp2);
 375 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul(
 376         __isl_take isl_union_pw_qpolynomial *upwqp1,
 377         __isl_take isl_union_pw_qpolynomial *upwqp2);
 378
 379 __isl_give isl_union_set *isl_union_pw_qpolynomial_domain(
 380         __isl_take isl_union_pw_qpolynomial *upwqp);
 381 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_domain(
 382         __isl_take isl_union_pw_qpolynomial *upwpq,
 383         __isl_take isl_union_set *uset);
 384
 385 __isl_give isl_dim *isl_union_pw_qpolynomial_get_dim(
 386         __isl_keep isl_union_pw_qpolynomial *upwqp);
 387
 388 __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_eval(
 389         __isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_point *pnt);
 390
 391 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_coalesce(
 392         __isl_take isl_union_pw_qpolynomial *upwqp);
 393 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist(
 394         __isl_take isl_union_pw_qpolynomial *upwqp,
 395         __isl_take isl_union_set *context);
 396
 397 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_align_params(
 398         __isl_take isl_union_pw_qpolynomial *upwqp,
 399         __isl_take isl_dim *model);
 400
 401 int isl_union_pw_qpolynomial_foreach_pw_qpolynomial(
 402         __isl_keep isl_union_pw_qpolynomial *upwqp,
 403         int (*fn)(__isl_take isl_pw_qpolynomial *pwqp, void *user), void *user);
 404
 405 __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial(
 406         __isl_take isl_printer *p, __isl_keep isl_union_pw_qpolynomial *upwqp);
 407
 408 struct isl_union_pw_qpolynomial_fold;
 409 typedef struct isl_union_pw_qpolynomial_fold isl_union_pw_qpolynomial_fold;
 410
 411 isl_ctx *isl_union_pw_qpolynomial_fold_get_ctx(
 412         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 413
 414 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold(__isl_take isl_pw_qpolynomial_fold *pwf);
 415 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_zero(
 416         __isl_take isl_dim *dim, enum isl_fold type);
 417 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold(
 418         __isl_take isl_union_pw_qpolynomial_fold *upwqp,
 419         __isl_take isl_pw_qpolynomial_fold *pwqp);
 420 void isl_union_pw_qpolynomial_fold_free(
 421         __isl_take isl_union_pw_qpolynomial_fold *upwf);
 422 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_copy(
 423         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 424
 425 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fold(
 426         __isl_take isl_union_pw_qpolynomial_fold *upwf1,
 427         __isl_take isl_union_pw_qpolynomial_fold *upwf2);
 428 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial(
 429         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 430         __isl_take isl_union_pw_qpolynomial *upwqp);
 431
 432 __isl_give isl_union_set *isl_union_pw_qpolynomial_fold_domain(
 433         __isl_take isl_union_pw_qpolynomial_fold *upwf);
 434 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_intersect_domain(
 435         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 436         __isl_take isl_union_set *uset);
 437
 438 enum isl_fold isl_union_pw_qpolynomial_fold_get_type(
 439         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 440 __isl_give isl_dim *isl_union_pw_qpolynomial_fold_get_dim(
 441         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 442
 443 __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_fold_eval(
 444         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 445         __isl_take isl_point *pnt);
 446
 447 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_coalesce(
 448         __isl_take isl_union_pw_qpolynomial_fold *upwf);
 449 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_gist(
 450         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 451         __isl_take isl_union_set *context);
 452
 453 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_align_params(
 454         __isl_take isl_union_pw_qpolynomial_fold *upwf,
 455         __isl_take isl_dim *model);
 456
 457 int isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold(
 458         __isl_keep isl_union_pw_qpolynomial_fold *upwf,
 459         int (*fn)(__isl_take isl_pw_qpolynomial_fold *pwf,
 460                     void *user), void *user);
 461
 462 __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial_fold(
 463         __isl_take isl_printer *p,
 464         __isl_keep isl_union_pw_qpolynomial_fold *upwf);
 465
 466 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_bound(
 467         __isl_take isl_union_pw_qpolynomial *upwqp,
 468         enum isl_fold type, int *tight);
 469 __isl_give isl_union_pw_qpolynomial_fold *isl_union_map_apply_union_pw_qpolynomial_fold(
 470         __isl_take isl_union_map *umap,
 471         __isl_take isl_union_pw_qpolynomial_fold *upwf, int *tight);
 472
 473 #if defined(__cplusplus)
 474 }
 475 #endif
 476
 477 #endif