include/isl/aff.h

   1 #ifndef ISL_AFF_H
   2 #define ISL_AFF_H
   3
   4 #include <isl/stdint.h>
   5 #include <isl/local_space.h>
   6 #include <isl/printer.h>
   7 #include <isl/set_type.h>
   8 #include <isl/aff_type.h>
   9 #include <isl/list.h>
  10 #include <isl/multi.h>
  11 #include <isl/union_set_type.h>
  12 #include <isl/val_type.h>
  13 #include <isl/point.h>
  14
  15 #if defined(__cplusplus)
  16 extern "C" {
  17 #endif
  18
  19 __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls);
  20 __isl_give isl_aff *isl_aff_val_on_domain(__isl_take isl_local_space *ls,
  21         __isl_take isl_val *val);
  22 __isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls,
  23         enum isl_dim_type type, unsigned pos);
  24 __isl_give isl_aff *isl_aff_nan_on_domain(__isl_take isl_local_space *ls);
  25 __isl_give isl_aff *isl_aff_param_on_domain_space_id(
  26         __isl_take isl_space *space, __isl_take isl_id *id);
  27
  28 __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff);
  29 __isl_null isl_aff *isl_aff_free(__isl_take isl_aff *aff);
  30
  31 isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff);
  32 uint32_t isl_aff_get_hash(__isl_keep isl_aff *aff);
  33
  34 isl_size isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
  35 isl_bool isl_aff_involves_dims(__isl_keep isl_aff *aff,
  36         enum isl_dim_type type, unsigned first, unsigned n);
  37
  38 __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff);
  39 __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff);
  40 __isl_give isl_local_space *isl_aff_get_domain_local_space(
  41         __isl_keep isl_aff *aff);
  42 __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff);
  43
  44 const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff,
  45         enum isl_dim_type type, unsigned pos);
  46 __isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff);
  47 __isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff,
  48         enum isl_dim_type type, int pos);
  49 int isl_aff_coefficient_sgn(__isl_keep isl_aff *aff,
  50         enum isl_dim_type type, int pos);
  51 __isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff);
  52 __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v);
  53 __isl_give isl_aff *isl_aff_set_constant_val(__isl_take isl_aff *aff,
  54         __isl_take isl_val *v);
  55 __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff,
  56         enum isl_dim_type type, int pos, int v);
  57 __isl_give isl_aff *isl_aff_set_coefficient_val(__isl_take isl_aff *aff,
  58         enum isl_dim_type type, int pos, __isl_take isl_val *v);
  59 __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v);
  60 __isl_give isl_aff *isl_aff_add_constant_val(__isl_take isl_aff *aff,
  61         __isl_take isl_val *v);
  62 __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, int v);
  63 __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff,
  64         enum isl_dim_type type, int pos, int v);
  65 __isl_give isl_aff *isl_aff_add_coefficient_val(__isl_take isl_aff *aff,
  66         enum isl_dim_type type, int pos, __isl_take isl_val *v);
  67
  68 isl_bool isl_aff_is_cst(__isl_keep isl_aff *aff);
  69
  70 __isl_give isl_aff *isl_aff_set_tuple_id(__isl_take isl_aff *aff,
  71         enum isl_dim_type type, __isl_take isl_id *id);
  72 __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff,
  73         enum isl_dim_type type, unsigned pos, const char *s);
  74 __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff,
  75         enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
  76
  77 int isl_aff_find_dim_by_name(__isl_keep isl_aff *aff, enum isl_dim_type type,
  78         const char *name);
  79
  80 isl_bool isl_aff_plain_is_equal(__isl_keep isl_aff *aff1,
  81         __isl_keep isl_aff *aff2);
  82 isl_bool isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
  83 isl_bool isl_aff_is_nan(__isl_keep isl_aff *aff);
  84
  85 __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos);
  86
  87 __isl_give isl_aff *isl_aff_from_range(__isl_take isl_aff *aff);
  88
  89 __isl_export
  90 __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff);
  91 __isl_export
  92 __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff);
  93 __isl_export
  94 __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff);
  95 __isl_overload
  96 __isl_give isl_aff *isl_aff_mod_val(__isl_take isl_aff *aff,
  97         __isl_take isl_val *mod);
  98
  99 __isl_export
 100 __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1,
 101         __isl_take isl_aff *aff2);
 102 __isl_export
 103 __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1,
 104         __isl_take isl_aff *aff2);
 105 __isl_export
 106 __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1,
 107         __isl_take isl_aff *aff2);
 108 __isl_export
 109 __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1,
 110         __isl_take isl_aff *aff2);
 111
 112 __isl_overload
 113 __isl_give isl_aff *isl_aff_scale_val(__isl_take isl_aff *aff,
 114         __isl_take isl_val *v);
 115 __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f);
 116 __isl_overload
 117 __isl_give isl_aff *isl_aff_scale_down_val(__isl_take isl_aff *aff,
 118         __isl_take isl_val *v);
 119
 120 __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff,
 121         enum isl_dim_type type, unsigned first, unsigned n);
 122 __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff,
 123         enum isl_dim_type type, unsigned n);
 124 __isl_give isl_aff *isl_aff_move_dims(__isl_take isl_aff *aff,
 125         enum isl_dim_type dst_type, unsigned dst_pos,
 126         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 127 __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff,
 128         enum isl_dim_type type, unsigned first, unsigned n);
 129 __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *aff);
 130
 131 __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff,
 132         __isl_take isl_space *model);
 133
 134 __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff,
 135         __isl_take isl_set *context);
 136 __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff,
 137         __isl_take isl_set *context);
 138
 139 __isl_give isl_val *isl_aff_eval(__isl_take isl_aff *aff,
 140         __isl_take isl_point *pnt);
 141
 142 __isl_give isl_aff *isl_aff_pullback_aff(__isl_take isl_aff *aff1,
 143         __isl_take isl_aff *aff2);
 144 __isl_overload
 145 __isl_give isl_aff *isl_aff_pullback_multi_aff(__isl_take isl_aff *aff,
 146         __isl_take isl_multi_aff *ma);
 147
 148 __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff);
 149 __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff);
 150
 151 __isl_give isl_basic_set *isl_aff_eq_basic_set(__isl_take isl_aff *aff1,
 152         __isl_take isl_aff *aff2);
 153 __isl_export
 154 __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1,
 155         __isl_take isl_aff *aff2);
 156 __isl_export
 157 __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1,
 158         __isl_take isl_aff *aff2);
 159 __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
 160         __isl_take isl_aff *aff2);
 161 __isl_export
 162 __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1,
 163         __isl_take isl_aff *aff2);
 164 __isl_give isl_basic_set *isl_aff_lt_basic_set(__isl_take isl_aff *aff1,
 165         __isl_take isl_aff *aff2);
 166 __isl_export
 167 __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1,
 168         __isl_take isl_aff *aff2);
 169 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
 170         __isl_take isl_aff *aff2);
 171 __isl_export
 172 __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1,
 173         __isl_take isl_aff *aff2);
 174 __isl_give isl_basic_set *isl_aff_gt_basic_set(__isl_take isl_aff *aff1,
 175         __isl_take isl_aff *aff2);
 176 __isl_export
 177 __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1,
 178         __isl_take isl_aff *aff2);
 179
 180 __isl_constructor
 181 __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str);
 182 __isl_give char *isl_aff_to_str(__isl_keep isl_aff *aff);
 183 __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p,
 184         __isl_keep isl_aff *aff);
 185 void isl_aff_dump(__isl_keep isl_aff *aff);
 186
 187 isl_ctx *isl_pw_aff_get_ctx(__isl_keep isl_pw_aff *pwaff);
 188 uint32_t isl_pw_aff_get_hash(__isl_keep isl_pw_aff *pa);
 189 __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pwaff);
 190 __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff);
 191
 192 __isl_constructor
 193 __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff);
 194 __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *dim);
 195 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
 196         __isl_take isl_aff *aff);
 197 __isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(
 198         __isl_take isl_local_space *ls);
 199 __isl_give isl_pw_aff *isl_pw_aff_var_on_domain(__isl_take isl_local_space *ls,
 200         enum isl_dim_type type, unsigned pos);
 201 __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain(__isl_take isl_local_space *ls);
 202 __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain,
 203         __isl_take isl_val *v);
 204
 205 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set);
 206
 207 const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa,
 208         enum isl_dim_type type, unsigned pos);
 209 isl_bool isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
 210         enum isl_dim_type type, unsigned pos);
 211 __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa,
 212         enum isl_dim_type type, unsigned pos);
 213 __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma,
 214         enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
 215
 216 int isl_pw_aff_find_dim_by_name(__isl_keep isl_pw_aff *pa,
 217         enum isl_dim_type type, const char *name);
 218
 219 isl_bool isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
 220 isl_bool isl_pw_aff_involves_nan(__isl_keep isl_pw_aff *pa);
 221 int isl_pw_aff_plain_cmp(__isl_keep isl_pw_aff *pa1,
 222         __isl_keep isl_pw_aff *pa2);
 223 isl_bool isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1,
 224         __isl_keep isl_pw_aff *pwaff2);
 225 isl_bool isl_pw_aff_is_equal(__isl_keep isl_pw_aff *pa1,
 226         __isl_keep isl_pw_aff *pa2);
 227
 228 __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
 229         __isl_take isl_pw_aff *pwaff2);
 230 __isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1,
 231         __isl_take isl_pw_aff *pwaff2);
 232 __isl_export
 233 __isl_give isl_pw_aff *isl_pw_aff_union_add(__isl_take isl_pw_aff *pwaff1,
 234         __isl_take isl_pw_aff *pwaff2);
 235
 236 __isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff);
 237 __isl_null isl_pw_aff *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff);
 238
 239 isl_size isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type type);
 240 isl_bool isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff,
 241         enum isl_dim_type type, unsigned first, unsigned n);
 242
 243 isl_bool isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff);
 244
 245 __isl_give isl_pw_aff *isl_pw_aff_project_domain_on_params(
 246         __isl_take isl_pw_aff *pa);
 247
 248 __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff,
 249         __isl_take isl_space *model);
 250 __isl_give isl_pw_aff *isl_pw_aff_drop_unused_params(
 251         __isl_take isl_pw_aff *pa);
 252
 253 isl_bool isl_pw_aff_has_tuple_id(__isl_keep isl_pw_aff *pa,
 254         enum isl_dim_type type);
 255 __isl_give isl_id *isl_pw_aff_get_tuple_id(__isl_keep isl_pw_aff *pa,
 256         enum isl_dim_type type);
 257 __isl_give isl_pw_aff *isl_pw_aff_set_tuple_id(__isl_take isl_pw_aff *pwaff,
 258         enum isl_dim_type type, __isl_take isl_id *id);
 259 __isl_give isl_pw_aff *isl_pw_aff_reset_tuple_id(__isl_take isl_pw_aff *pa,
 260         enum isl_dim_type type);
 261 __isl_give isl_pw_aff *isl_pw_aff_reset_user(__isl_take isl_pw_aff *pa);
 262
 263 __isl_give isl_set *isl_pw_aff_params(__isl_take isl_pw_aff *pwa);
 264 __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff);
 265 __isl_give isl_pw_aff *isl_pw_aff_from_range(__isl_take isl_pw_aff *pwa);
 266
 267 __isl_export
 268 __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1,
 269         __isl_take isl_pw_aff *pwaff2);
 270 __isl_export
 271 __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1,
 272         __isl_take isl_pw_aff *pwaff2);
 273 __isl_export
 274 __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1,
 275         __isl_take isl_pw_aff *pwaff2);
 276 __isl_export
 277 __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1,
 278         __isl_take isl_pw_aff *pa2);
 279 __isl_export
 280 __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1,
 281         __isl_take isl_pw_aff *pwaff2);
 282 __isl_export
 283 __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1,
 284         __isl_take isl_pw_aff *pwaff2);
 285 __isl_export
 286 __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff);
 287 __isl_export
 288 __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff);
 289 __isl_export
 290 __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff);
 291 __isl_overload
 292 __isl_give isl_pw_aff *isl_pw_aff_mod_val(__isl_take isl_pw_aff *pa,
 293         __isl_take isl_val *mod);
 294 __isl_export
 295 __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1,
 296         __isl_take isl_pw_aff *pa2);
 297 __isl_export
 298 __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1,
 299         __isl_take isl_pw_aff *pa2);
 300
 301 __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *pa,
 302         __isl_take isl_set *set);
 303 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *pa,
 304         __isl_take isl_set *set);
 305 __isl_give isl_pw_aff *isl_pw_aff_subtract_domain(__isl_take isl_pw_aff *pa,
 306         __isl_take isl_set *set);
 307
 308 __isl_export
 309 __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond,
 310         __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_false);
 311
 312 __isl_overload
 313 __isl_give isl_pw_aff *isl_pw_aff_scale_val(__isl_take isl_pw_aff *pa,
 314         __isl_take isl_val *v);
 315 __isl_overload
 316 __isl_give isl_pw_aff *isl_pw_aff_scale_down_val(__isl_take isl_pw_aff *pa,
 317         __isl_take isl_val *f);
 318
 319 __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff,
 320         enum isl_dim_type type, unsigned first, unsigned n);
 321 __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff,
 322         enum isl_dim_type type, unsigned n);
 323 __isl_give isl_pw_aff *isl_pw_aff_move_dims(__isl_take isl_pw_aff *pa,
 324         enum isl_dim_type dst_type, unsigned dst_pos,
 325         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 326 __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff,
 327         enum isl_dim_type type, unsigned first, unsigned n);
 328
 329 __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pwqp);
 330 __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff,
 331         __isl_take isl_set *context);
 332 __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff,
 333         __isl_take isl_set *context);
 334
 335 __isl_give isl_val *isl_pw_aff_eval(__isl_take isl_pw_aff *pa,
 336         __isl_take isl_point *pnt);
 337
 338 __isl_overload
 339 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_aff(
 340         __isl_take isl_pw_aff *pa, __isl_take isl_multi_aff *ma);
 341 __isl_overload
 342 __isl_give isl_pw_aff *isl_pw_aff_pullback_pw_multi_aff(
 343         __isl_take isl_pw_aff *pa, __isl_take isl_pw_multi_aff *pma);
 344 __isl_overload
 345 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_pw_aff(
 346         __isl_take isl_pw_aff *pa, __isl_take isl_multi_pw_aff *mpa);
 347
 348 int isl_pw_aff_n_piece(__isl_keep isl_pw_aff *pwaff);
 349 isl_stat isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff,
 350         isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff,
 351                     void *user), void *user);
 352
 353 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff);
 354 __isl_give isl_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff);
 355
 356 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa);
 357 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
 358 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff);
 359 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff);
 360
 361 __isl_export
 362 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
 363         __isl_take isl_pw_aff *pwaff2);
 364 __isl_export
 365 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
 366         __isl_take isl_pw_aff *pwaff2);
 367 __isl_export
 368 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
 369         __isl_take isl_pw_aff *pwaff2);
 370 __isl_export
 371 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
 372         __isl_take isl_pw_aff *pwaff2);
 373 __isl_export
 374 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
 375         __isl_take isl_pw_aff *pwaff2);
 376 __isl_export
 377 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
 378         __isl_take isl_pw_aff *pwaff2);
 379
 380 __isl_give isl_map *isl_pw_aff_eq_map(__isl_take isl_pw_aff *pa1,
 381         __isl_take isl_pw_aff *pa2);
 382 __isl_give isl_map *isl_pw_aff_lt_map(__isl_take isl_pw_aff *pa1,
 383         __isl_take isl_pw_aff *pa2);
 384 __isl_give isl_map *isl_pw_aff_gt_map(__isl_take isl_pw_aff *pa1,
 385         __isl_take isl_pw_aff *pa2);
 386
 387 __isl_constructor
 388 __isl_give isl_pw_aff *isl_pw_aff_read_from_str(isl_ctx *ctx, const char *str);
 389 __isl_give char *isl_pw_aff_to_str(__isl_keep isl_pw_aff *pa);
 390 __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p,
 391         __isl_keep isl_pw_aff *pwaff);
 392 void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff);
 393
 394 __isl_give isl_pw_aff *isl_pw_aff_list_min(__isl_take isl_pw_aff_list *list);
 395 __isl_give isl_pw_aff *isl_pw_aff_list_max(__isl_take isl_pw_aff_list *list);
 396
 397 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
 398         __isl_take isl_pw_aff_list *list2);
 399 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
 400         __isl_take isl_pw_aff_list *list2);
 401 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
 402         __isl_take isl_pw_aff_list *list2);
 403 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
 404         __isl_take isl_pw_aff_list *list2);
 405 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
 406         __isl_take isl_pw_aff_list *list2);
 407 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
 408         __isl_take isl_pw_aff_list *list2);
 409
 410 ISL_DECLARE_MULTI(aff)
 411 ISL_DECLARE_MULTI_CMP(aff)
 412 ISL_DECLARE_MULTI_NEG(aff)
 413 ISL_DECLARE_MULTI_DIMS(aff)
 414 ISL_DECLARE_MULTI_WITH_DOMAIN(aff)
 415
 416 __isl_constructor
 417 __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff);
 418 __isl_give isl_multi_aff *isl_multi_aff_identity(__isl_take isl_space *space);
 419 __isl_give isl_multi_aff *isl_multi_aff_domain_map(__isl_take isl_space *space);
 420 __isl_give isl_multi_aff *isl_multi_aff_range_map(__isl_take isl_space *space);
 421 __isl_give isl_multi_aff *isl_multi_aff_project_out_map(
 422         __isl_take isl_space *space, enum isl_dim_type type,
 423         unsigned first, unsigned n);
 424
 425 __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_space(
 426         __isl_take isl_space *space, __isl_take isl_multi_val *mv);
 427
 428 __isl_give isl_multi_aff *isl_multi_aff_floor(__isl_take isl_multi_aff *ma);
 429
 430 __isl_give isl_multi_aff *isl_multi_aff_gist_params(
 431         __isl_take isl_multi_aff *maff, __isl_take isl_set *context);
 432 __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff,
 433         __isl_take isl_set *context);
 434
 435 __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff,
 436         __isl_give isl_local_space **ls);
 437
 438 __isl_overload
 439 __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff(
 440         __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
 441
 442 __isl_give isl_multi_aff *isl_multi_aff_move_dims(__isl_take isl_multi_aff *ma,
 443         enum isl_dim_type dst_type, unsigned dst_pos,
 444         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 445
 446 __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1,
 447         __isl_take isl_multi_aff *ma2);
 448 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
 449         __isl_take isl_multi_aff *ma2);
 450 __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1,
 451         __isl_take isl_multi_aff *ma2);
 452 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
 453         __isl_take isl_multi_aff *ma2);
 454
 455 __isl_give char *isl_multi_aff_to_str(__isl_keep isl_multi_aff *ma);
 456 __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p,
 457         __isl_keep isl_multi_aff *maff);
 458
 459 __isl_constructor
 460 __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx,
 461                 const char *str);
 462 void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff);
 463
 464 ISL_DECLARE_MULTI(pw_aff)
 465 ISL_DECLARE_MULTI_NEG(pw_aff)
 466 ISL_DECLARE_MULTI_DIMS(pw_aff)
 467 ISL_DECLARE_MULTI_WITH_DOMAIN(pw_aff)
 468
 469 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_zero(__isl_take isl_space *space);
 470 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity(
 471         __isl_take isl_space *space);
 472 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_map(
 473         __isl_take isl_space *space);
 474 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out_map(
 475         __isl_take isl_space *space, enum isl_dim_type type,
 476         unsigned first, unsigned n);
 477 __isl_constructor
 478 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff(
 479         __isl_take isl_multi_aff *ma);
 480 __isl_constructor
 481 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_pw_aff(
 482         __isl_take isl_pw_aff *pa);
 483 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set,
 484         __isl_take isl_multi_aff *maff);
 485 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy(
 486         __isl_keep isl_pw_multi_aff *pma);
 487 __isl_null isl_pw_multi_aff *isl_pw_multi_aff_free(
 488         __isl_take isl_pw_multi_aff *pma);
 489
 490 isl_size isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma,
 491         enum isl_dim_type type);
 492 isl_bool isl_pw_multi_aff_involves_dims(__isl_keep isl_pw_multi_aff *pma,
 493         enum isl_dim_type type, unsigned first, unsigned n);
 494 __isl_give isl_pw_aff *isl_pw_multi_aff_get_pw_aff(
 495         __isl_keep isl_pw_multi_aff *pma, int pos);
 496 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_pw_aff(
 497         __isl_take isl_pw_multi_aff *pma, unsigned pos,
 498         __isl_take isl_pw_aff *pa);
 499
 500 isl_ctx *isl_pw_multi_aff_get_ctx(__isl_keep isl_pw_multi_aff *pma);
 501 __isl_give isl_space *isl_pw_multi_aff_get_domain_space(
 502         __isl_keep isl_pw_multi_aff *pma);
 503 __isl_give isl_space *isl_pw_multi_aff_get_space(
 504         __isl_keep isl_pw_multi_aff *pma);
 505 isl_bool isl_pw_multi_aff_has_tuple_name(__isl_keep isl_pw_multi_aff *pma,
 506         enum isl_dim_type type);
 507 const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pma,
 508         enum isl_dim_type type);
 509 __isl_give isl_id *isl_pw_multi_aff_get_tuple_id(
 510         __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type);
 511 isl_bool isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma,
 512         enum isl_dim_type type);
 513 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id(
 514         __isl_take isl_pw_multi_aff *pma,
 515         enum isl_dim_type type, __isl_take isl_id *id);
 516 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_tuple_id(
 517         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type);
 518 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_user(
 519         __isl_take isl_pw_multi_aff *pma);
 520
 521 int isl_pw_multi_aff_find_dim_by_name(__isl_keep isl_pw_multi_aff *pma,
 522         enum isl_dim_type type, const char *name);
 523
 524 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_dims(
 525         __isl_take isl_pw_multi_aff *pma,
 526         enum isl_dim_type type, unsigned first, unsigned n);
 527
 528 __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma);
 529
 530 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *space);
 531 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_domain(
 532         __isl_take isl_set *set);
 533
 534 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_multi_val_on_domain(
 535         __isl_take isl_set *domain, __isl_take isl_multi_val *mv);
 536
 537 const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma,
 538         enum isl_dim_type type, unsigned pos);
 539 __isl_give isl_id *isl_pw_multi_aff_get_dim_id(
 540         __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type,
 541         unsigned pos);
 542 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id(
 543         __isl_take isl_pw_multi_aff *pma,
 544         enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
 545
 546 isl_bool isl_pw_multi_aff_involves_nan(__isl_keep isl_pw_multi_aff *pma);
 547 isl_bool isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1,
 548         __isl_keep isl_pw_multi_aff *pma2);
 549 isl_bool isl_pw_multi_aff_is_equal(__isl_keep isl_pw_multi_aff *pma1,
 550         __isl_keep isl_pw_multi_aff *pma2);
 551
 552 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_fix_si(
 553         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type,
 554         unsigned pos, int value);
 555
 556 __isl_export
 557 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add(
 558         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 559
 560 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_neg(
 561         __isl_take isl_pw_multi_aff *pma);
 562
 563 __isl_export
 564 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add(
 565         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 566 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_sub(
 567         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 568
 569 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_val(
 570         __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
 571 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_val(
 572         __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
 573 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_multi_val(
 574         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
 575
 576 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin(
 577         __isl_take isl_pw_multi_aff *pma1,
 578         __isl_take isl_pw_multi_aff *pma2);
 579 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax(
 580         __isl_take isl_pw_multi_aff *pma1,
 581         __isl_take isl_pw_multi_aff *pma2);
 582
 583 __isl_give isl_multi_aff *isl_multi_aff_flatten_domain(
 584         __isl_take isl_multi_aff *ma);
 585
 586 __isl_export
 587 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product(
 588         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 589 __isl_export
 590 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_flat_range_product(
 591         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 592 __isl_export
 593 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_product(
 594         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 595
 596 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params(
 597         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 598 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain(
 599         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 600 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_subtract_domain(
 601         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 602
 603 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_domain_on_params(
 604         __isl_take isl_pw_multi_aff *pma);
 605
 606 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_align_params(
 607         __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *model);
 608 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_unused_params(
 609         __isl_take isl_pw_multi_aff *pma);
 610
 611 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_coalesce(
 612         __isl_take isl_pw_multi_aff *pma);
 613 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist_params(
 614         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 615 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist(
 616         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 617
 618 __isl_overload
 619 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_multi_aff(
 620         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_aff *ma);
 621 __isl_overload
 622 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_pw_multi_aff(
 623         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 624
 625 int isl_pw_multi_aff_n_piece(__isl_keep isl_pw_multi_aff *pma);
 626 isl_stat isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma,
 627         isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff,
 628                     void *user), void *user);
 629
 630 __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
 631 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
 632
 633 __isl_give char *isl_pw_multi_aff_to_str(__isl_keep isl_pw_multi_aff *pma);
 634 __isl_give isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_printer *p,
 635         __isl_keep isl_pw_multi_aff *pma);
 636
 637 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set);
 638 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *map);
 639
 640 __isl_constructor
 641 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx,
 642         const char *str);
 643 void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma);
 644
 645
 646 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty(
 647         __isl_take isl_space *space);
 648 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_aff(
 649         __isl_take isl_aff *aff);
 650 __isl_constructor
 651 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_pw_multi_aff(
 652         __isl_take isl_pw_multi_aff *pma);
 653 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_domain(
 654         __isl_take isl_union_set *uset);
 655 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_multi_val_on_domain(
 656         __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
 657 __isl_give isl_union_pw_aff *isl_union_pw_aff_param_on_domain_id(
 658         __isl_take isl_union_set *domain, __isl_take isl_id *id);
 659 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_copy(
 660         __isl_keep isl_union_pw_multi_aff *upma);
 661 __isl_null isl_union_pw_multi_aff *isl_union_pw_multi_aff_free(
 662         __isl_take isl_union_pw_multi_aff *upma);
 663
 664 __isl_give isl_union_pw_multi_aff *isl_union_set_identity_union_pw_multi_aff(
 665         __isl_take isl_union_set *uset);
 666
 667 __isl_give isl_union_pw_aff *isl_union_pw_multi_aff_get_union_pw_aff(
 668         __isl_keep isl_union_pw_multi_aff *upma, int pos);
 669
 670 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add_pw_multi_aff(
 671         __isl_take isl_union_pw_multi_aff *upma,
 672         __isl_take isl_pw_multi_aff *pma);
 673
 674 isl_ctx *isl_union_pw_multi_aff_get_ctx(
 675         __isl_keep isl_union_pw_multi_aff *upma);
 676 __isl_give isl_space *isl_union_pw_multi_aff_get_space(
 677         __isl_keep isl_union_pw_multi_aff *upma);
 678 __isl_give isl_pw_multi_aff_list *isl_union_pw_multi_aff_get_pw_multi_aff_list(
 679         __isl_keep isl_union_pw_multi_aff *upma);
 680
 681 isl_size isl_union_pw_multi_aff_dim(__isl_keep isl_union_pw_multi_aff *upma,
 682         enum isl_dim_type type);
 683 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_set_dim_name(
 684         __isl_take isl_union_pw_multi_aff *upma,
 685         enum isl_dim_type type, unsigned pos, const char *s);
 686
 687 int isl_union_pw_multi_aff_find_dim_by_name(
 688         __isl_keep isl_union_pw_multi_aff *upma, enum isl_dim_type type,
 689         const char *name);
 690
 691 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_drop_dims(
 692         __isl_take isl_union_pw_multi_aff *upma,
 693         enum isl_dim_type type, unsigned first, unsigned n);
 694 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_reset_user(
 695         __isl_take isl_union_pw_multi_aff *upma);
 696
 697 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_coalesce(
 698         __isl_take isl_union_pw_multi_aff *upma);
 699 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist_params(
 700         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *context);
 701 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist(
 702         __isl_take isl_union_pw_multi_aff *upma,
 703         __isl_take isl_union_set *context);
 704
 705 __isl_overload
 706 __isl_give isl_union_pw_multi_aff *
 707 isl_union_pw_multi_aff_pullback_union_pw_multi_aff(
 708         __isl_take isl_union_pw_multi_aff *upma1,
 709         __isl_take isl_union_pw_multi_aff *upma2);
 710
 711 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_align_params(
 712         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *model);
 713
 714 int isl_union_pw_multi_aff_n_pw_multi_aff(
 715         __isl_keep isl_union_pw_multi_aff *upma);
 716
 717 isl_stat isl_union_pw_multi_aff_foreach_pw_multi_aff(
 718         __isl_keep isl_union_pw_multi_aff *upma,
 719         isl_stat (*fn)(__isl_take isl_pw_multi_aff *pma, void *user),
 720         void *user);
 721 __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_extract_pw_multi_aff(
 722         __isl_keep isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
 723
 724 isl_bool isl_union_pw_multi_aff_involves_nan(
 725         __isl_keep isl_union_pw_multi_aff *upma);
 726 isl_bool isl_union_pw_multi_aff_plain_is_equal(
 727         __isl_keep isl_union_pw_multi_aff *upma1,
 728         __isl_keep isl_union_pw_multi_aff *upma2);
 729
 730 __isl_give isl_union_set *isl_union_pw_multi_aff_domain(
 731         __isl_take isl_union_pw_multi_aff *upma);
 732
 733 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_neg(
 734         __isl_take isl_union_pw_multi_aff *upma);
 735
 736 __isl_export
 737 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add(
 738         __isl_take isl_union_pw_multi_aff *upma1,
 739         __isl_take isl_union_pw_multi_aff *upma2);
 740 __isl_export
 741 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_union_add(
 742         __isl_take isl_union_pw_multi_aff *upma1,
 743         __isl_take isl_union_pw_multi_aff *upma2);
 744 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_sub(
 745         __isl_take isl_union_pw_multi_aff *upma1,
 746         __isl_take isl_union_pw_multi_aff *upma2);
 747
 748 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_val(
 749         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
 750 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_down_val(
 751         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
 752 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_multi_val(
 753         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_multi_val *mv);
 754
 755 __isl_export
 756 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_product(
 757         __isl_take isl_union_pw_multi_aff *upma1,
 758         __isl_take isl_union_pw_multi_aff *upma2);
 759
 760 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_params(
 761         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *set);
 762 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_domain(
 763         __isl_take isl_union_pw_multi_aff *upma,
 764         __isl_take isl_union_set *uset);
 765 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain(
 766         __isl_take isl_union_pw_multi_aff *upma,
 767         __isl_take isl_union_set *uset);
 768
 769 __isl_overload
 770 __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff(
 771         __isl_take isl_union_pw_multi_aff *upma);
 772
 773 __isl_give isl_printer *isl_printer_print_union_pw_multi_aff(
 774         __isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma);
 775
 776 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_set(
 777         __isl_take isl_union_set *uset);
 778 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_map(
 779         __isl_take isl_union_map *umap);
 780
 781 __isl_constructor
 782 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_read_from_str(
 783         isl_ctx *ctx, const char *str);
 784 void isl_union_pw_multi_aff_dump(__isl_keep isl_union_pw_multi_aff *upma);
 785 __isl_give char *isl_union_pw_multi_aff_to_str(
 786         __isl_keep isl_union_pw_multi_aff *upma);
 787
 788 uint32_t isl_multi_pw_aff_get_hash(__isl_keep isl_multi_pw_aff *mpa);
 789
 790 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_identity(
 791         __isl_take isl_space *space);
 792 __isl_constructor
 793 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_multi_aff(
 794         __isl_take isl_multi_aff *ma);
 795 __isl_constructor
 796 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff(
 797         __isl_take isl_pw_aff *pa);
 798 __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa);
 799 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_params(
 800         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
 801 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_domain(
 802         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain);
 803
 804 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_coalesce(
 805         __isl_take isl_multi_pw_aff *mpa);
 806 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist(
 807         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
 808 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist_params(
 809         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
 810
 811 isl_bool isl_multi_pw_aff_is_cst(__isl_keep isl_multi_pw_aff *mpa);
 812 isl_bool isl_multi_pw_aff_is_equal(__isl_keep isl_multi_pw_aff *mpa1,
 813         __isl_keep isl_multi_pw_aff *mpa2);
 814
 815 __isl_overload
 816 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_aff(
 817         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_multi_aff *ma);
 818 __isl_overload
 819 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_pw_multi_aff(
 820         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_multi_aff *pma);
 821 __isl_overload
 822 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_pw_aff(
 823         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
 824
 825 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_move_dims(
 826         __isl_take isl_multi_pw_aff *pma,
 827         enum isl_dim_type dst_type, unsigned dst_pos,
 828         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 829
 830 __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
 831 __isl_give isl_map *isl_map_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
 832 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_pw_aff(
 833         __isl_take isl_multi_pw_aff *mpa);
 834 __isl_constructor
 835 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_multi_aff(
 836         __isl_take isl_pw_multi_aff *pma);
 837
 838 __isl_give isl_map *isl_multi_pw_aff_eq_map(__isl_take isl_multi_pw_aff *mpa1,
 839         __isl_take isl_multi_pw_aff *mpa2);
 840 __isl_give isl_map *isl_multi_pw_aff_lex_lt_map(
 841         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
 842 __isl_give isl_map *isl_multi_pw_aff_lex_gt_map(
 843         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
 844
 845 __isl_constructor
 846 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_read_from_str(isl_ctx *ctx,
 847         const char *str);
 848 __isl_give char *isl_multi_pw_aff_to_str(__isl_keep isl_multi_pw_aff *mpa);
 849 __isl_give isl_printer *isl_printer_print_multi_pw_aff(
 850         __isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa);
 851 void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa);
 852
 853 __isl_give isl_union_pw_aff *isl_union_pw_aff_copy(
 854         __isl_keep isl_union_pw_aff *upa);
 855 __isl_null isl_union_pw_aff *isl_union_pw_aff_free(
 856         __isl_take isl_union_pw_aff *upa);
 857
 858 isl_ctx *isl_union_pw_aff_get_ctx(__isl_keep isl_union_pw_aff *upa);
 859 __isl_give isl_space *isl_union_pw_aff_get_space(
 860         __isl_keep isl_union_pw_aff *upa);
 861 __isl_give isl_pw_aff_list *isl_union_pw_aff_get_pw_aff_list(
 862         __isl_keep isl_union_pw_aff *upa);
 863
 864 isl_size isl_union_pw_aff_dim(__isl_keep isl_union_pw_aff *upa,
 865         enum isl_dim_type type);
 866 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
 867         __isl_take isl_union_pw_aff *upa, enum isl_dim_type type,
 868         unsigned pos, const char *s);
 869
 870 int isl_union_pw_aff_find_dim_by_name(__isl_keep isl_union_pw_aff *upa,
 871         enum isl_dim_type type, const char *name);
 872
 873 __isl_give isl_union_pw_aff *isl_union_pw_aff_drop_dims(
 874         __isl_take isl_union_pw_aff *upa,
 875         enum isl_dim_type type, unsigned first, unsigned n);
 876 __isl_give isl_union_pw_aff *isl_union_pw_aff_reset_user(
 877         __isl_take isl_union_pw_aff *upa);
 878
 879 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty(
 880         __isl_take isl_space *space);
 881 __isl_constructor
 882 __isl_give isl_union_pw_aff *isl_union_pw_aff_from_pw_aff(
 883         __isl_take isl_pw_aff *pa);
 884 __isl_give isl_union_pw_aff *isl_union_pw_aff_val_on_domain(
 885         __isl_take isl_union_set *domain, __isl_take isl_val *v);
 886 __isl_give isl_union_pw_aff *isl_union_pw_aff_aff_on_domain(
 887         __isl_take isl_union_set *domain, __isl_take isl_aff *aff);
 888 __isl_give isl_union_pw_aff *isl_union_pw_aff_pw_aff_on_domain(
 889         __isl_take isl_union_set *domain, __isl_take isl_pw_aff *pa);
 890 __isl_give isl_union_pw_aff *isl_union_pw_aff_add_pw_aff(
 891         __isl_take isl_union_pw_aff *upa, __isl_take isl_pw_aff *pa);
 892
 893 __isl_constructor
 894 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_pw_aff(
 895         __isl_take isl_union_pw_aff *upa);
 896
 897 int isl_union_pw_aff_n_pw_aff(__isl_keep isl_union_pw_aff *upa);
 898
 899 isl_stat isl_union_pw_aff_foreach_pw_aff(__isl_keep isl_union_pw_aff *upa,
 900         isl_stat (*fn)(__isl_take isl_pw_aff *pa, void *user), void *user);
 901 __isl_give isl_pw_aff *isl_union_pw_aff_extract_pw_aff(
 902         __isl_keep isl_union_pw_aff *upa, __isl_take isl_space *space);
 903
 904 isl_bool isl_union_pw_aff_involves_nan(__isl_keep isl_union_pw_aff *upa);
 905 isl_bool isl_union_pw_aff_plain_is_equal(__isl_keep isl_union_pw_aff *upa1,
 906         __isl_keep isl_union_pw_aff *upa2);
 907
 908 __isl_give isl_union_set *isl_union_pw_aff_domain(
 909         __isl_take isl_union_pw_aff *upa);
 910
 911 __isl_give isl_union_pw_aff *isl_union_pw_aff_neg(
 912         __isl_take isl_union_pw_aff *upa);
 913
 914 __isl_export
 915 __isl_give isl_union_pw_aff *isl_union_pw_aff_add(
 916         __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
 917 __isl_export
 918 __isl_give isl_union_pw_aff *isl_union_pw_aff_union_add(
 919         __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
 920 __isl_give isl_union_pw_aff *isl_union_pw_aff_sub(
 921         __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
 922
 923 __isl_give isl_union_pw_aff *isl_union_pw_aff_coalesce(
 924         __isl_take isl_union_pw_aff *upa);
 925 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist(
 926         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *context);
 927 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist_params(
 928         __isl_take isl_union_pw_aff *upa, __isl_take isl_set *context);
 929
 930 __isl_overload
 931 __isl_give isl_union_pw_aff *isl_union_pw_aff_pullback_union_pw_multi_aff(
 932         __isl_take isl_union_pw_aff *upa,
 933         __isl_take isl_union_pw_multi_aff *upma);
 934
 935 __isl_give isl_union_pw_aff *isl_union_pw_aff_floor(
 936         __isl_take isl_union_pw_aff *upa);
 937
 938 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_val(
 939         __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
 940 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_down_val(
 941         __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
 942 __isl_give isl_union_pw_aff *isl_union_pw_aff_mod_val(
 943         __isl_take isl_union_pw_aff *upa, __isl_take isl_val *f);
 944
 945 __isl_give isl_union_pw_aff *isl_union_pw_aff_align_params(
 946         __isl_take isl_union_pw_aff *upa, __isl_take isl_space *model);
 947
 948 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_params(
 949         __isl_take isl_union_pw_aff *upa, __isl_take isl_set *set);
 950 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain(
 951         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
 952 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain(
 953         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
 954
 955 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
 956         __isl_take isl_union_pw_aff *upa,
 957         enum isl_dim_type type, unsigned pos, const char *s);
 958
 959 __isl_give isl_union_set *isl_union_pw_aff_zero_union_set(
 960         __isl_take isl_union_pw_aff *upa);
 961
 962 __isl_give isl_union_map *isl_union_map_from_union_pw_aff(
 963         __isl_take isl_union_pw_aff *upa);
 964
 965 __isl_constructor
 966 __isl_give isl_union_pw_aff *isl_union_pw_aff_read_from_str(isl_ctx *ctx,
 967         const char *str);
 968 __isl_give char *isl_union_pw_aff_to_str(__isl_keep isl_union_pw_aff *upa);
 969 __isl_give isl_printer *isl_printer_print_union_pw_aff(
 970         __isl_take isl_printer *p, __isl_keep isl_union_pw_aff *upa);
 971 void isl_union_pw_aff_dump(__isl_keep isl_union_pw_aff *upa);
 972
 973 ISL_DECLARE_MULTI(union_pw_aff)
 974 ISL_DECLARE_MULTI_NEG(union_pw_aff)
 975
 976 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_aff(
 977         __isl_take isl_multi_aff *ma);
 978 __isl_constructor
 979 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_pw_aff(
 980         __isl_take isl_union_pw_aff *upa);
 981 __isl_constructor
 982 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_pw_aff(
 983         __isl_take isl_multi_pw_aff *mpa);
 984 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_val_on_domain(
 985         __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
 986 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_aff_on_domain(
 987         __isl_take isl_union_set *domain, __isl_take isl_multi_aff *ma);
 988 __isl_give isl_multi_union_pw_aff *
 989 isl_multi_union_pw_aff_pw_multi_aff_on_domain(__isl_take isl_union_set *domain,
 990         __isl_take isl_pw_multi_aff *pma);
 991
 992 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_floor(
 993         __isl_take isl_multi_union_pw_aff *mupa);
 994
 995 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_domain(
 996         __isl_take isl_multi_union_pw_aff *mupa,
 997         __isl_take isl_union_set *uset);
 998 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_params(
 999         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *params);
1000 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_range(
1001         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *set);
1002
1003 __isl_give isl_union_set *isl_multi_union_pw_aff_domain(
1004         __isl_take isl_multi_union_pw_aff *mupa);
1005
1006 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_coalesce(
1007         __isl_take isl_multi_union_pw_aff *aff);
1008 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist(
1009         __isl_take isl_multi_union_pw_aff *aff,
1010         __isl_take isl_union_set *context);
1011 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist_params(
1012         __isl_take isl_multi_union_pw_aff *aff, __isl_take isl_set *context);
1013
1014 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_aff(
1015         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_aff *aff);
1016 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_multi_aff(
1017         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_multi_aff *ma);
1018 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_pw_aff(
1019         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_pw_aff *pa);
1020 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_pw_multi_aff(
1021         __isl_take isl_multi_union_pw_aff *mupa,
1022         __isl_take isl_pw_multi_aff *pma);
1023
1024 __isl_overload
1025 __isl_give isl_multi_union_pw_aff *
1026 isl_multi_union_pw_aff_pullback_union_pw_multi_aff(
1027         __isl_take isl_multi_union_pw_aff *mupa,
1028         __isl_take isl_union_pw_multi_aff *upma);
1029
1030 __isl_give isl_union_pw_multi_aff *
1031 isl_union_pw_multi_aff_from_multi_union_pw_aff(
1032         __isl_take isl_multi_union_pw_aff *mupa);
1033
1034 __isl_export
1035 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_union_add(
1036         __isl_take isl_multi_union_pw_aff *mupa1,
1037         __isl_take isl_multi_union_pw_aff *mupa2);
1038
1039 __isl_give isl_multi_union_pw_aff *
1040 isl_multi_union_pw_aff_from_union_pw_multi_aff(
1041         __isl_take isl_union_pw_multi_aff *upma);
1042
1043 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_map(
1044         __isl_take isl_union_map *umap);
1045 __isl_overload
1046 __isl_give isl_union_map *isl_union_map_from_multi_union_pw_aff(
1047         __isl_take isl_multi_union_pw_aff *mupa);
1048
1049 __isl_give isl_union_set *isl_multi_union_pw_aff_zero_union_set(
1050         __isl_take isl_multi_union_pw_aff *mupa);
1051
1052 __isl_give isl_multi_pw_aff *isl_multi_union_pw_aff_extract_multi_pw_aff(
1053         __isl_keep isl_multi_union_pw_aff *mupa, __isl_take isl_space *space);
1054
1055 __isl_constructor
1056 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_read_from_str(
1057         isl_ctx *ctx, const char *str);
1058 __isl_give char *isl_multi_union_pw_aff_to_str(
1059         __isl_keep isl_multi_union_pw_aff *mupa);
1060 __isl_give isl_printer *isl_printer_print_multi_union_pw_aff(
1061         __isl_take isl_printer *p, __isl_keep isl_multi_union_pw_aff *mupa);
1062 void isl_multi_union_pw_aff_dump(__isl_keep isl_multi_union_pw_aff *mupa);
1063
1064 ISL_DECLARE_LIST_FN(pw_multi_aff)
1065 ISL_DECLARE_LIST_FN(union_pw_aff)
1066 ISL_DECLARE_LIST_FN(union_pw_multi_aff)
1067
1068 #if defined(__cplusplus)
1069 }
1070 #endif
1071
1072 #endif