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