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