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/id_type.h>
   8 #include <isl/set_type.h>
   9 #include <isl/aff_type.h>
  10 #include <isl/list.h>
  11 #include <isl/multi.h>
  12 #include <isl/union_set_type.h>
  13 #include <isl/val_type.h>
  14 #include <isl/point.h>
  15
  16 #if defined(__cplusplus)
  17 extern "C" {
  18 #endif
  19
  20 __isl_overload
  21 __isl_give isl_aff *isl_aff_zero_on_domain_space(__isl_take isl_space *space);
  22 __isl_export
  23 __isl_give isl_aff *isl_space_zero_aff_on_domain(__isl_take isl_space *space);
  24 __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls);
  25 __isl_give isl_aff *isl_aff_val_on_domain_space(__isl_take isl_space *space,
  26         __isl_take isl_val *val);
  27 __isl_give isl_aff *isl_aff_val_on_domain(__isl_take isl_local_space *ls,
  28         __isl_take isl_val *val);
  29 __isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls,
  30         enum isl_dim_type type, unsigned pos);
  31 __isl_give isl_aff *isl_aff_nan_on_domain_space(__isl_take isl_space *space);
  32 __isl_give isl_aff *isl_aff_nan_on_domain(__isl_take isl_local_space *ls);
  33 __isl_give isl_aff *isl_aff_param_on_domain_space_id(
  34         __isl_take isl_space *space, __isl_take isl_id *id);
  35 __isl_overload
  36 __isl_give isl_aff *isl_space_param_aff_on_domain_id(
  37         __isl_take isl_space *space, __isl_take isl_id *id);
  38
  39 __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff);
  40 __isl_null isl_aff *isl_aff_free(__isl_take isl_aff *aff);
  41
  42 isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff);
  43 uint32_t isl_aff_get_hash(__isl_keep isl_aff *aff);
  44
  45 isl_bool isl_aff_involves_locals(__isl_keep isl_aff *aff);
  46
  47 isl_size isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
  48 isl_bool isl_aff_involves_dims(__isl_keep isl_aff *aff,
  49         enum isl_dim_type type, unsigned first, unsigned n);
  50
  51 __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff);
  52 __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff);
  53 __isl_give isl_local_space *isl_aff_get_domain_local_space(
  54         __isl_keep isl_aff *aff);
  55 __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff);
  56
  57 const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff,
  58         enum isl_dim_type type, unsigned pos);
  59 __isl_export
  60 __isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff);
  61 __isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff,
  62         enum isl_dim_type type, int pos);
  63 int isl_aff_coefficient_sgn(__isl_keep isl_aff *aff,
  64         enum isl_dim_type type, int pos);
  65 __isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff);
  66 __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v);
  67 __isl_give isl_aff *isl_aff_set_constant_val(__isl_take isl_aff *aff,
  68         __isl_take isl_val *v);
  69 __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff,
  70         enum isl_dim_type type, int pos, int v);
  71 __isl_give isl_aff *isl_aff_set_coefficient_val(__isl_take isl_aff *aff,
  72         enum isl_dim_type type, int pos, __isl_take isl_val *v);
  73 __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v);
  74 __isl_overload
  75 __isl_give isl_aff *isl_aff_add_constant_val(__isl_take isl_aff *aff,
  76         __isl_take isl_val *v);
  77 __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, int v);
  78 __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff,
  79         enum isl_dim_type type, int pos, int v);
  80 __isl_give isl_aff *isl_aff_add_coefficient_val(__isl_take isl_aff *aff,
  81         enum isl_dim_type type, int pos, __isl_take isl_val *v);
  82
  83 __isl_export
  84 isl_bool isl_aff_is_cst(__isl_keep isl_aff *aff);
  85
  86 __isl_give isl_aff *isl_aff_set_tuple_id(__isl_take isl_aff *aff,
  87         enum isl_dim_type type, __isl_take isl_id *id);
  88 __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff,
  89         enum isl_dim_type type, unsigned pos, const char *s);
  90 __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff,
  91         enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
  92
  93 int isl_aff_find_dim_by_name(__isl_keep isl_aff *aff, enum isl_dim_type type,
  94         const char *name);
  95
  96 __isl_export
  97 isl_bool isl_aff_plain_is_equal(__isl_keep isl_aff *aff1,
  98         __isl_keep isl_aff *aff2);
  99 isl_bool isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
 100 isl_bool isl_aff_is_nan(__isl_keep isl_aff *aff);
 101
 102 __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos);
 103
 104 __isl_give isl_aff *isl_aff_from_range(__isl_take isl_aff *aff);
 105
 106 __isl_export
 107 __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff);
 108 __isl_export
 109 __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff);
 110 __isl_export
 111 __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff);
 112 __isl_overload
 113 __isl_give isl_aff *isl_aff_mod_val(__isl_take isl_aff *aff,
 114         __isl_take isl_val *mod);
 115
 116 __isl_export
 117 __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1,
 118         __isl_take isl_aff *aff2);
 119 __isl_export
 120 __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1,
 121         __isl_take isl_aff *aff2);
 122 __isl_export
 123 __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1,
 124         __isl_take isl_aff *aff2);
 125 __isl_export
 126 __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1,
 127         __isl_take isl_aff *aff2);
 128
 129 __isl_overload
 130 __isl_give isl_aff *isl_aff_scale_val(__isl_take isl_aff *aff,
 131         __isl_take isl_val *v);
 132 __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f);
 133 __isl_overload
 134 __isl_give isl_aff *isl_aff_scale_down_val(__isl_take isl_aff *aff,
 135         __isl_take isl_val *v);
 136
 137 __isl_export
 138 __isl_give isl_aff *isl_aff_domain_reverse(__isl_take isl_aff *aff);
 139 __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff,
 140         enum isl_dim_type type, unsigned first, unsigned n);
 141 __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff,
 142         enum isl_dim_type type, unsigned n);
 143 __isl_give isl_aff *isl_aff_move_dims(__isl_take isl_aff *aff,
 144         enum isl_dim_type dst_type, unsigned dst_pos,
 145         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 146 __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff,
 147         enum isl_dim_type type, unsigned first, unsigned n);
 148 __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *aff);
 149 __isl_export
 150 __isl_give isl_aff *isl_aff_unbind_params_insert_domain(
 151         __isl_take isl_aff *aff, __isl_take isl_multi_id *domain);
 152
 153 __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff,
 154         __isl_take isl_space *model);
 155
 156 __isl_export
 157 __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff,
 158         __isl_take isl_set *context);
 159 __isl_export
 160 __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff,
 161         __isl_take isl_set *context);
 162
 163 __isl_export
 164 __isl_give isl_val *isl_aff_eval(__isl_take isl_aff *aff,
 165         __isl_take isl_point *pnt);
 166
 167 __isl_give isl_aff *isl_aff_pullback_aff(__isl_take isl_aff *aff1,
 168         __isl_take isl_aff *aff2);
 169 __isl_overload
 170 __isl_give isl_aff *isl_aff_pullback_multi_aff(__isl_take isl_aff *aff,
 171         __isl_take isl_multi_aff *ma);
 172
 173 __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff);
 174 __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff);
 175
 176 __isl_give isl_basic_set *isl_aff_eq_basic_set(__isl_take isl_aff *aff1,
 177         __isl_take isl_aff *aff2);
 178 __isl_export
 179 __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1,
 180         __isl_take isl_aff *aff2);
 181 __isl_export
 182 __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1,
 183         __isl_take isl_aff *aff2);
 184 __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
 185         __isl_take isl_aff *aff2);
 186 __isl_export
 187 __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1,
 188         __isl_take isl_aff *aff2);
 189 __isl_give isl_basic_set *isl_aff_lt_basic_set(__isl_take isl_aff *aff1,
 190         __isl_take isl_aff *aff2);
 191 __isl_export
 192 __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1,
 193         __isl_take isl_aff *aff2);
 194 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
 195         __isl_take isl_aff *aff2);
 196 __isl_export
 197 __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1,
 198         __isl_take isl_aff *aff2);
 199 __isl_give isl_basic_set *isl_aff_gt_basic_set(__isl_take isl_aff *aff1,
 200         __isl_take isl_aff *aff2);
 201 __isl_export
 202 __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1,
 203         __isl_take isl_aff *aff2);
 204
 205 __isl_overload
 206 __isl_give isl_basic_set *isl_aff_bind_id(__isl_take isl_aff *aff,
 207         __isl_take isl_id *id);
 208
 209 __isl_constructor
 210 __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str);
 211 __isl_give char *isl_aff_to_str(__isl_keep isl_aff *aff);
 212 __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p,
 213         __isl_keep isl_aff *aff);
 214 void isl_aff_dump(__isl_keep isl_aff *aff);
 215
 216 isl_ctx *isl_pw_aff_get_ctx(__isl_keep isl_pw_aff *pwaff);
 217 uint32_t isl_pw_aff_get_hash(__isl_keep isl_pw_aff *pa);
 218 __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pwaff);
 219 __isl_export
 220 __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff);
 221
 222 __isl_constructor
 223 __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff);
 224 __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *space);
 225 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
 226         __isl_take isl_aff *aff);
 227 __isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(
 228         __isl_take isl_local_space *ls);
 229 __isl_give isl_pw_aff *isl_pw_aff_var_on_domain(__isl_take isl_local_space *ls,
 230         enum isl_dim_type type, unsigned pos);
 231 __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain_space(
 232         __isl_take isl_space *space);
 233 __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain(__isl_take isl_local_space *ls);
 234 __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain,
 235         __isl_take isl_val *v);
 236 __isl_overload
 237 __isl_give isl_pw_aff *isl_set_pw_aff_on_domain_val(__isl_take isl_set *domain,
 238         __isl_take isl_val *v);
 239 __isl_overload
 240 __isl_give isl_pw_aff *isl_pw_aff_param_on_domain_id(
 241         __isl_take isl_set *domain, __isl_take isl_id *id);
 242 __isl_overload
 243 __isl_give isl_pw_aff *isl_set_param_pw_aff_on_domain_id(
 244         __isl_take isl_set *domain, __isl_take isl_id *id);
 245
 246 __isl_export
 247 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set);
 248
 249 const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa,
 250         enum isl_dim_type type, unsigned pos);
 251 isl_bool isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
 252         enum isl_dim_type type, unsigned pos);
 253 __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa,
 254         enum isl_dim_type type, unsigned pos);
 255 __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma,
 256         enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
 257
 258 int isl_pw_aff_find_dim_by_name(__isl_keep isl_pw_aff *pa,
 259         enum isl_dim_type type, const char *name);
 260
 261 isl_bool isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
 262 isl_bool isl_pw_aff_involves_nan(__isl_keep isl_pw_aff *pa);
 263 int isl_pw_aff_plain_cmp(__isl_keep isl_pw_aff *pa1,
 264         __isl_keep isl_pw_aff *pa2);
 265 __isl_export
 266 isl_bool isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1,
 267         __isl_keep isl_pw_aff *pwaff2);
 268 isl_bool isl_pw_aff_is_equal(__isl_keep isl_pw_aff *pa1,
 269         __isl_keep isl_pw_aff *pa2);
 270
 271 __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
 272         __isl_take isl_pw_aff *pwaff2);
 273 __isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1,
 274         __isl_take isl_pw_aff *pwaff2);
 275 __isl_export
 276 __isl_give isl_pw_aff *isl_pw_aff_union_add(__isl_take isl_pw_aff *pwaff1,
 277         __isl_take isl_pw_aff *pwaff2);
 278
 279 __isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff);
 280 __isl_null isl_pw_aff *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff);
 281
 282 isl_size isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type type);
 283 isl_bool isl_pw_aff_involves_param_id(__isl_keep isl_pw_aff *pa,
 284         __isl_keep isl_id *id);
 285 isl_bool isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff,
 286         enum isl_dim_type type, unsigned first, unsigned n);
 287
 288 isl_bool isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff);
 289
 290 __isl_export
 291 __isl_give isl_pw_aff *isl_pw_aff_insert_domain(__isl_take isl_pw_aff *pa,
 292         __isl_take isl_space *domain);
 293 __isl_give isl_pw_aff *isl_pw_aff_project_domain_on_params(
 294         __isl_take isl_pw_aff *pa);
 295
 296 __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff,
 297         __isl_take isl_space *model);
 298 __isl_export
 299 __isl_give isl_pw_aff *isl_pw_aff_drop_unused_params(
 300         __isl_take isl_pw_aff *pa);
 301
 302 isl_bool isl_pw_aff_has_tuple_id(__isl_keep isl_pw_aff *pa,
 303         enum isl_dim_type type);
 304 __isl_give isl_id *isl_pw_aff_get_tuple_id(__isl_keep isl_pw_aff *pa,
 305         enum isl_dim_type type);
 306 __isl_give isl_pw_aff *isl_pw_aff_set_tuple_id(__isl_take isl_pw_aff *pwaff,
 307         enum isl_dim_type type, __isl_take isl_id *id);
 308 __isl_give isl_pw_aff *isl_pw_aff_reset_tuple_id(__isl_take isl_pw_aff *pa,
 309         enum isl_dim_type type);
 310 __isl_give isl_pw_aff *isl_pw_aff_reset_user(__isl_take isl_pw_aff *pa);
 311
 312 __isl_export
 313 __isl_give isl_set *isl_pw_aff_params(__isl_take isl_pw_aff *pwa);
 314 __isl_export
 315 __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff);
 316 __isl_give isl_pw_aff *isl_pw_aff_from_range(__isl_take isl_pw_aff *pwa);
 317
 318 __isl_export
 319 __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1,
 320         __isl_take isl_pw_aff *pwaff2);
 321 __isl_export
 322 __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1,
 323         __isl_take isl_pw_aff *pwaff2);
 324 __isl_export
 325 __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1,
 326         __isl_take isl_pw_aff *pwaff2);
 327 __isl_export
 328 __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1,
 329         __isl_take isl_pw_aff *pa2);
 330 __isl_export
 331 __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1,
 332         __isl_take isl_pw_aff *pwaff2);
 333 __isl_export
 334 __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1,
 335         __isl_take isl_pw_aff *pwaff2);
 336 __isl_export
 337 __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff);
 338 __isl_export
 339 __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff);
 340 __isl_export
 341 __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff);
 342 __isl_overload
 343 __isl_give isl_pw_aff *isl_pw_aff_mod_val(__isl_take isl_pw_aff *pa,
 344         __isl_take isl_val *mod);
 345 __isl_export
 346 __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1,
 347         __isl_take isl_pw_aff *pa2);
 348 __isl_export
 349 __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1,
 350         __isl_take isl_pw_aff *pa2);
 351
 352 __isl_export
 353 __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *pa,
 354         __isl_take isl_set *set);
 355 __isl_export
 356 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *pa,
 357         __isl_take isl_set *set);
 358 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_domain(
 359         __isl_take isl_pw_aff *pa, __isl_take isl_set *set);
 360 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_range(
 361         __isl_take isl_pw_aff *pa, __isl_take isl_set *set);
 362 __isl_export
 363 __isl_give isl_pw_aff *isl_pw_aff_subtract_domain(__isl_take isl_pw_aff *pa,
 364         __isl_take isl_set *set);
 365
 366 __isl_export
 367 __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond,
 368         __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_false);
 369
 370 __isl_overload
 371 __isl_give isl_pw_aff *isl_pw_aff_add_constant_val(__isl_take isl_pw_aff *pa,
 372         __isl_take isl_val *v);
 373 __isl_overload
 374 __isl_give isl_pw_aff *isl_pw_aff_scale_val(__isl_take isl_pw_aff *pa,
 375         __isl_take isl_val *v);
 376 __isl_overload
 377 __isl_give isl_pw_aff *isl_pw_aff_scale_down_val(__isl_take isl_pw_aff *pa,
 378         __isl_take isl_val *f);
 379
 380 __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff,
 381         enum isl_dim_type type, unsigned first, unsigned n);
 382 __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff,
 383         enum isl_dim_type type, unsigned n);
 384 __isl_give isl_pw_aff *isl_pw_aff_move_dims(__isl_take isl_pw_aff *pa,
 385         enum isl_dim_type dst_type, unsigned dst_pos,
 386         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 387 __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff,
 388         enum isl_dim_type type, unsigned first, unsigned n);
 389
 390 __isl_export
 391 __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pa);
 392 __isl_export
 393 __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff,
 394         __isl_take isl_set *context);
 395 __isl_export
 396 __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff,
 397         __isl_take isl_set *context);
 398
 399 __isl_export
 400 __isl_give isl_val *isl_pw_aff_eval(__isl_take isl_pw_aff *pa,
 401         __isl_take isl_point *pnt);
 402
 403 __isl_overload
 404 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_aff(
 405         __isl_take isl_pw_aff *pa, __isl_take isl_multi_aff *ma);
 406 __isl_overload
 407 __isl_give isl_pw_aff *isl_pw_aff_pullback_pw_multi_aff(
 408         __isl_take isl_pw_aff *pa, __isl_take isl_pw_multi_aff *pma);
 409 __isl_overload
 410 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_pw_aff(
 411         __isl_take isl_pw_aff *pa, __isl_take isl_multi_pw_aff *mpa);
 412
 413 isl_size isl_pw_aff_n_piece(__isl_keep isl_pw_aff *pwaff);
 414 isl_stat isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff,
 415         isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff,
 416                     void *user), void *user);
 417 isl_bool isl_pw_aff_every_piece(__isl_keep isl_pw_aff *pa,
 418         isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_aff *aff,
 419                 void *user), void *user);
 420 __isl_export
 421 isl_bool isl_pw_aff_isa_aff(__isl_keep isl_pw_aff *pa);
 422 __isl_export
 423 __isl_give isl_aff *isl_pw_aff_as_aff(__isl_take isl_pw_aff *pa);
 424
 425 __isl_export
 426 __isl_give isl_map *isl_pw_aff_as_map(__isl_take isl_pw_aff *pa);
 427 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff);
 428 __isl_give isl_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff);
 429
 430 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa);
 431 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
 432 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff);
 433 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff);
 434
 435 __isl_export
 436 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
 437         __isl_take isl_pw_aff *pwaff2);
 438 __isl_export
 439 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
 440         __isl_take isl_pw_aff *pwaff2);
 441 __isl_export
 442 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
 443         __isl_take isl_pw_aff *pwaff2);
 444 __isl_export
 445 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
 446         __isl_take isl_pw_aff *pwaff2);
 447 __isl_export
 448 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
 449         __isl_take isl_pw_aff *pwaff2);
 450 __isl_export
 451 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
 452         __isl_take isl_pw_aff *pwaff2);
 453
 454 __isl_give isl_map *isl_pw_aff_eq_map(__isl_take isl_pw_aff *pa1,
 455         __isl_take isl_pw_aff *pa2);
 456 __isl_give isl_map *isl_pw_aff_le_map(__isl_take isl_pw_aff *pa1,
 457         __isl_take isl_pw_aff *pa2);
 458 __isl_give isl_map *isl_pw_aff_lt_map(__isl_take isl_pw_aff *pa1,
 459         __isl_take isl_pw_aff *pa2);
 460 __isl_give isl_map *isl_pw_aff_ge_map(__isl_take isl_pw_aff *pa1,
 461         __isl_take isl_pw_aff *pa2);
 462 __isl_give isl_map *isl_pw_aff_gt_map(__isl_take isl_pw_aff *pa1,
 463         __isl_take isl_pw_aff *pa2);
 464
 465 __isl_export
 466 __isl_give isl_pw_aff *isl_pw_aff_bind_domain(__isl_take isl_pw_aff *pa,
 467         __isl_take isl_multi_id *tuple);
 468 __isl_export
 469 __isl_give isl_pw_aff *isl_pw_aff_bind_domain_wrapped_domain(
 470         __isl_take isl_pw_aff *pa, __isl_take isl_multi_id *tuple);
 471 __isl_overload
 472 __isl_give isl_set *isl_pw_aff_bind_id(__isl_take isl_pw_aff *pa,
 473         __isl_take isl_id *id);
 474
 475 __isl_constructor
 476 __isl_give isl_pw_aff *isl_pw_aff_read_from_str(isl_ctx *ctx, const char *str);
 477 __isl_give char *isl_pw_aff_to_str(__isl_keep isl_pw_aff *pa);
 478 __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p,
 479         __isl_keep isl_pw_aff *pwaff);
 480 void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff);
 481
 482 __isl_give isl_pw_aff *isl_pw_aff_list_min(__isl_take isl_pw_aff_list *list);
 483 __isl_give isl_pw_aff *isl_pw_aff_list_max(__isl_take isl_pw_aff_list *list);
 484
 485 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
 486         __isl_take isl_pw_aff_list *list2);
 487 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
 488         __isl_take isl_pw_aff_list *list2);
 489 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
 490         __isl_take isl_pw_aff_list *list2);
 491 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
 492         __isl_take isl_pw_aff_list *list2);
 493 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
 494         __isl_take isl_pw_aff_list *list2);
 495 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
 496         __isl_take isl_pw_aff_list *list2);
 497
 498 ISL_DECLARE_MULTI(aff)
 499 ISL_DECLARE_MULTI_IDENTITY(aff)
 500 ISL_DECLARE_MULTI_CMP(aff)
 501 ISL_DECLARE_MULTI_ARITH(aff)
 502 ISL_DECLARE_MULTI_ADD_CONSTANT(aff)
 503 ISL_DECLARE_MULTI_ZERO(aff)
 504 ISL_DECLARE_MULTI_NAN(aff)
 505 ISL_DECLARE_MULTI_DIMS(aff)
 506 ISL_DECLARE_MULTI_INSERT_DOMAIN(aff)
 507 ISL_DECLARE_MULTI_LOCALS(aff)
 508 ISL_DECLARE_MULTI_DIM_ID(aff)
 509 ISL_DECLARE_MULTI_TUPLE_ID(aff)
 510 ISL_DECLARE_MULTI_WITH_DOMAIN(aff)
 511 ISL_DECLARE_MULTI_BIND_DOMAIN(aff)
 512 ISL_DECLARE_MULTI_UNBIND_PARAMS(aff)
 513
 514 __isl_constructor
 515 __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff);
 516 __isl_export
 517 __isl_give isl_multi_aff *isl_multi_aff_domain_map(__isl_take isl_space *space);
 518 __isl_export
 519 __isl_give isl_multi_aff *isl_space_domain_map_multi_aff(
 520         __isl_take isl_space *space);
 521 __isl_export
 522 __isl_give isl_multi_aff *isl_multi_aff_range_map(__isl_take isl_space *space);
 523 __isl_export
 524 __isl_give isl_multi_aff *isl_space_range_map_multi_aff(
 525         __isl_take isl_space *space);
 526 __isl_give isl_multi_aff *isl_multi_aff_project_out_map(
 527         __isl_take isl_space *space, enum isl_dim_type type,
 528         unsigned first, unsigned n);
 529
 530 __isl_overload
 531 __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_domain_space(
 532         __isl_take isl_space *space, __isl_take isl_multi_val *mv);
 533 __isl_overload
 534 __isl_give isl_multi_aff *isl_space_multi_aff_on_domain_multi_val(
 535         __isl_take isl_space *space, __isl_take isl_multi_val *mv);
 536 __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_space(
 537         __isl_take isl_space *space, __isl_take isl_multi_val *mv);
 538
 539 __isl_export
 540 __isl_give isl_multi_val *isl_multi_aff_get_constant_multi_val(
 541         __isl_keep isl_multi_aff *ma);
 542
 543 __isl_export
 544 __isl_give isl_multi_aff *isl_multi_aff_floor(__isl_take isl_multi_aff *ma);
 545
 546 __isl_export
 547 __isl_give isl_multi_aff *isl_multi_aff_gist_params(
 548         __isl_take isl_multi_aff *maff, __isl_take isl_set *context);
 549 __isl_export
 550 __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff,
 551         __isl_take isl_set *context);
 552
 553 __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff,
 554         __isl_give isl_local_space **ls);
 555
 556 __isl_overload
 557 __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff(
 558         __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
 559
 560 __isl_give isl_multi_aff *isl_multi_aff_move_dims(__isl_take isl_multi_aff *ma,
 561         enum isl_dim_type dst_type, unsigned dst_pos,
 562         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 563
 564 __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1,
 565         __isl_take isl_multi_aff *ma2);
 566 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
 567         __isl_take isl_multi_aff *ma2);
 568 __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1,
 569         __isl_take isl_multi_aff *ma2);
 570 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
 571         __isl_take isl_multi_aff *ma2);
 572
 573 __isl_export
 574 __isl_give isl_basic_set *isl_multi_aff_bind(__isl_take isl_multi_aff *ma,
 575         __isl_take isl_multi_id *tuple);
 576
 577 __isl_give char *isl_multi_aff_to_str(__isl_keep isl_multi_aff *ma);
 578 __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p,
 579         __isl_keep isl_multi_aff *maff);
 580
 581 __isl_constructor
 582 __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx,
 583                 const char *str);
 584 void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff);
 585
 586 ISL_DECLARE_MULTI(pw_aff)
 587 ISL_DECLARE_MULTI_IDENTITY(pw_aff)
 588 ISL_DECLARE_MULTI_ARITH(pw_aff)
 589 ISL_DECLARE_MULTI_MIN_MAX(pw_aff)
 590 ISL_DECLARE_MULTI_ADD_CONSTANT(pw_aff)
 591 ISL_DECLARE_MULTI_ZERO(pw_aff)
 592 ISL_DECLARE_MULTI_NAN(pw_aff)
 593 ISL_DECLARE_MULTI_DIMS(pw_aff)
 594 ISL_DECLARE_MULTI_DIM_ID(pw_aff)
 595 ISL_DECLARE_MULTI_INSERT_DOMAIN(pw_aff)
 596 ISL_DECLARE_MULTI_TUPLE_ID(pw_aff)
 597 ISL_DECLARE_MULTI_WITH_DOMAIN(pw_aff)
 598 ISL_DECLARE_MULTI_BIND_DOMAIN(pw_aff)
 599 ISL_DECLARE_MULTI_PARAM(pw_aff)
 600 ISL_DECLARE_MULTI_UNBIND_PARAMS(pw_aff)
 601
 602 __isl_export
 603 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_zero(__isl_take isl_space *space);
 604 __isl_overload
 605 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity_on_domain_space(
 606         __isl_take isl_space *space);
 607 __isl_export
 608 __isl_give isl_pw_multi_aff *isl_space_identity_pw_multi_aff_on_domain(
 609         __isl_take isl_space *space);
 610 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity(
 611         __isl_take isl_space *space);
 612 __isl_export
 613 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_domain_map(
 614         __isl_take isl_space *space);
 615 __isl_export
 616 __isl_give isl_pw_multi_aff *isl_space_domain_map_pw_multi_aff(
 617         __isl_take isl_space *space);
 618 __isl_export
 619 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_map(
 620         __isl_take isl_space *space);
 621 __isl_export
 622 __isl_give isl_pw_multi_aff *isl_space_range_map_pw_multi_aff(
 623         __isl_take isl_space *space);
 624 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out_map(
 625         __isl_take isl_space *space, enum isl_dim_type type,
 626         unsigned first, unsigned n);
 627 __isl_export
 628 __isl_give isl_pw_multi_aff *isl_multi_aff_to_pw_multi_aff(
 629         __isl_take isl_multi_aff *ma);
 630 __isl_constructor
 631 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff(
 632         __isl_take isl_multi_aff *ma);
 633 __isl_constructor
 634 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_pw_aff(
 635         __isl_take isl_pw_aff *pa);
 636 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set,
 637         __isl_take isl_multi_aff *maff);
 638 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy(
 639         __isl_keep isl_pw_multi_aff *pma);
 640 __isl_null isl_pw_multi_aff *isl_pw_multi_aff_free(
 641         __isl_take isl_pw_multi_aff *pma);
 642
 643 isl_size isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma,
 644         enum isl_dim_type type);
 645 __isl_export
 646 isl_bool isl_pw_multi_aff_involves_locals(__isl_keep isl_pw_multi_aff *pma);
 647 isl_bool isl_pw_multi_aff_involves_param_id(__isl_keep isl_pw_multi_aff *pma,
 648         __isl_keep isl_id *id);
 649 isl_bool isl_pw_multi_aff_involves_dims(__isl_keep isl_pw_multi_aff *pma,
 650         enum isl_dim_type type, unsigned first, unsigned n);
 651 __isl_export
 652 __isl_give isl_pw_aff *isl_pw_multi_aff_get_at(
 653         __isl_keep isl_pw_multi_aff *pma, int pos);
 654 __isl_give isl_pw_aff *isl_pw_multi_aff_get_pw_aff(
 655         __isl_keep isl_pw_multi_aff *pma, int pos);
 656 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_pw_aff(
 657         __isl_take isl_pw_multi_aff *pma, unsigned pos,
 658         __isl_take isl_pw_aff *pa);
 659
 660 isl_ctx *isl_pw_multi_aff_get_ctx(__isl_keep isl_pw_multi_aff *pma);
 661 __isl_give isl_space *isl_pw_multi_aff_get_domain_space(
 662         __isl_keep isl_pw_multi_aff *pma);
 663 __isl_export
 664 __isl_give isl_space *isl_pw_multi_aff_get_space(
 665         __isl_keep isl_pw_multi_aff *pma);
 666 isl_bool isl_pw_multi_aff_has_tuple_name(__isl_keep isl_pw_multi_aff *pma,
 667         enum isl_dim_type type);
 668 const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pma,
 669         enum isl_dim_type type);
 670 __isl_export
 671 __isl_give isl_id *isl_pw_multi_aff_get_range_tuple_id(
 672         __isl_keep isl_pw_multi_aff *pma);
 673 __isl_give isl_id *isl_pw_multi_aff_get_tuple_id(
 674         __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type);
 675 __isl_export
 676 isl_bool isl_pw_multi_aff_has_range_tuple_id(__isl_keep isl_pw_multi_aff *pma);
 677 isl_bool isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma,
 678         enum isl_dim_type type);
 679 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id(
 680         __isl_take isl_pw_multi_aff *pma,
 681         enum isl_dim_type type, __isl_take isl_id *id);
 682 __isl_overload
 683 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_range_tuple_id(
 684         __isl_take isl_pw_multi_aff *pma, __isl_take isl_id *id);
 685 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_tuple_id(
 686         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type);
 687 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_user(
 688         __isl_take isl_pw_multi_aff *pma);
 689
 690 int isl_pw_multi_aff_find_dim_by_name(__isl_keep isl_pw_multi_aff *pma,
 691         enum isl_dim_type type, const char *name);
 692
 693 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_dims(
 694         __isl_take isl_pw_multi_aff *pma,
 695         enum isl_dim_type type, unsigned first, unsigned n);
 696
 697 __isl_export
 698 __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma);
 699
 700 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *space);
 701 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_domain(
 702         __isl_take isl_set *set);
 703
 704 __isl_export
 705 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_multi_val_on_domain(
 706         __isl_take isl_set *domain, __isl_take isl_multi_val *mv);
 707 __isl_overload
 708 __isl_give isl_pw_multi_aff *isl_set_pw_multi_aff_on_domain_multi_val(
 709         __isl_take isl_set *domain, __isl_take isl_multi_val *mv);
 710
 711 const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma,
 712         enum isl_dim_type type, unsigned pos);
 713 __isl_give isl_id *isl_pw_multi_aff_get_dim_id(
 714         __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type,
 715         unsigned pos);
 716 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id(
 717         __isl_take isl_pw_multi_aff *pma,
 718         enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
 719
 720 isl_bool isl_pw_multi_aff_involves_nan(__isl_keep isl_pw_multi_aff *pma);
 721 __isl_export
 722 isl_bool isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1,
 723         __isl_keep isl_pw_multi_aff *pma2);
 724 isl_bool isl_pw_multi_aff_is_equal(__isl_keep isl_pw_multi_aff *pma1,
 725         __isl_keep isl_pw_multi_aff *pma2);
 726
 727 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_fix_si(
 728         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type,
 729         unsigned pos, int value);
 730
 731 __isl_export
 732 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add(
 733         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 734
 735 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_neg(
 736         __isl_take isl_pw_multi_aff *pma);
 737
 738 __isl_export
 739 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add(
 740         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 741 __isl_export
 742 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_sub(
 743         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 744
 745 __isl_overload
 746 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_val(
 747         __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
 748 __isl_overload
 749 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_multi_val(
 750         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
 751 __isl_overload
 752 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_val(
 753         __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
 754 __isl_overload
 755 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_val(
 756         __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
 757 __isl_overload
 758 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_multi_val(
 759         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
 760 __isl_overload
 761 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_multi_val(
 762         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
 763
 764 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin(
 765         __isl_take isl_pw_multi_aff *pma1,
 766         __isl_take isl_pw_multi_aff *pma2);
 767 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax(
 768         __isl_take isl_pw_multi_aff *pma1,
 769         __isl_take isl_pw_multi_aff *pma2);
 770
 771 __isl_give isl_multi_aff *isl_multi_aff_flatten_domain(
 772         __isl_take isl_multi_aff *ma);
 773
 774 __isl_export
 775 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product(
 776         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 777 __isl_export
 778 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_flat_range_product(
 779         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 780 __isl_export
 781 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_product(
 782         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 783 __isl_export
 784 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_domain(
 785         __isl_take isl_pw_multi_aff *pma);
 786 __isl_export
 787 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_range(
 788         __isl_take isl_pw_multi_aff *pma);
 789
 790 __isl_export
 791 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params(
 792         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 793 __isl_export
 794 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain(
 795         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 796 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_domain(
 797         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 798 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_range(
 799         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 800 __isl_export
 801 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_subtract_domain(
 802         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 803
 804 __isl_export
 805 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_insert_domain(
 806         __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *domain);
 807 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_domain_on_params(
 808         __isl_take isl_pw_multi_aff *pma);
 809
 810 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_align_params(
 811         __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *model);
 812 __isl_export
 813 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_unused_params(
 814         __isl_take isl_pw_multi_aff *pma);
 815
 816 __isl_export
 817 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_coalesce(
 818         __isl_take isl_pw_multi_aff *pma);
 819 __isl_export
 820 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist_params(
 821         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 822 __isl_export
 823 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist(
 824         __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
 825
 826 __isl_overload
 827 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_multi_aff(
 828         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_aff *ma);
 829 __isl_overload
 830 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_pw_multi_aff(
 831         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 832 __isl_overload
 833 __isl_give isl_pw_multi_aff *
 834 isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(
 835         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 836
 837 __isl_export
 838 isl_size isl_pw_multi_aff_n_piece(__isl_keep isl_pw_multi_aff *pma);
 839 __isl_export
 840 isl_stat isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma,
 841         isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff,
 842                     void *user), void *user);
 843 isl_bool isl_pw_multi_aff_every_piece(__isl_keep isl_pw_multi_aff *pma,
 844         isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_multi_aff *ma,
 845                 void *user), void *user);
 846 __isl_export
 847 isl_bool isl_pw_multi_aff_isa_multi_aff(__isl_keep isl_pw_multi_aff *pma);
 848 __isl_export
 849 __isl_give isl_multi_aff *isl_pw_multi_aff_as_multi_aff(
 850         __isl_take isl_pw_multi_aff *pma);
 851
 852 __isl_export
 853 __isl_give isl_map *isl_pw_multi_aff_as_map(__isl_take isl_pw_multi_aff *pma);
 854 __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
 855 __isl_export
 856 __isl_give isl_set *isl_pw_multi_aff_as_set(__isl_take isl_pw_multi_aff *pma);
 857 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
 858
 859 __isl_give char *isl_pw_multi_aff_to_str(__isl_keep isl_pw_multi_aff *pma);
 860 __isl_give isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_printer *p,
 861         __isl_keep isl_pw_multi_aff *pma);
 862
 863 __isl_export
 864 __isl_give isl_pw_multi_aff *isl_set_as_pw_multi_aff(__isl_take isl_set *set);
 865 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set);
 866 __isl_export
 867 __isl_give isl_pw_multi_aff *isl_map_as_pw_multi_aff(__isl_take isl_map *map);
 868 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *map);
 869
 870 __isl_export
 871 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain(
 872         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple);
 873 __isl_export
 874 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain_wrapped_domain(
 875         __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple);
 876
 877 __isl_constructor
 878 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx,
 879         const char *str);
 880 void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma);
 881
 882
 883 __isl_overload
 884 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_ctx(
 885         isl_ctx *ctx);
 886 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_space(
 887         __isl_take isl_space *space);
 888 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty(
 889         __isl_take isl_space *space);
 890 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_aff(
 891         __isl_take isl_aff *aff);
 892 __isl_constructor
 893 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_multi_aff(
 894         __isl_take isl_multi_aff *ma);
 895 __isl_export
 896 __isl_give isl_union_pw_multi_aff *isl_pw_multi_aff_to_union_pw_multi_aff(
 897         __isl_take isl_pw_multi_aff *pma);
 898 __isl_constructor
 899 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_pw_multi_aff(
 900         __isl_take isl_pw_multi_aff *pma);
 901 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_domain(
 902         __isl_take isl_union_set *uset);
 903 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_multi_val_on_domain(
 904         __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
 905 __isl_give isl_union_pw_aff *isl_union_pw_aff_param_on_domain_id(
 906         __isl_take isl_union_set *domain, __isl_take isl_id *id);
 907 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_copy(
 908         __isl_keep isl_union_pw_multi_aff *upma);
 909 __isl_null isl_union_pw_multi_aff *isl_union_pw_multi_aff_free(
 910         __isl_take isl_union_pw_multi_aff *upma);
 911
 912 __isl_give isl_union_pw_multi_aff *isl_union_set_identity_union_pw_multi_aff(
 913         __isl_take isl_union_set *uset);
 914
 915 __isl_give isl_union_pw_aff *isl_union_pw_multi_aff_get_union_pw_aff(
 916         __isl_keep isl_union_pw_multi_aff *upma, int pos);
 917
 918 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add_pw_multi_aff(
 919         __isl_take isl_union_pw_multi_aff *upma,
 920         __isl_take isl_pw_multi_aff *pma);
 921
 922 isl_ctx *isl_union_pw_multi_aff_get_ctx(
 923         __isl_keep isl_union_pw_multi_aff *upma);
 924 __isl_export
 925 __isl_give isl_space *isl_union_pw_multi_aff_get_space(
 926         __isl_keep isl_union_pw_multi_aff *upma);
 927 __isl_export
 928 __isl_give isl_pw_multi_aff_list *isl_union_pw_multi_aff_get_pw_multi_aff_list(
 929         __isl_keep isl_union_pw_multi_aff *upma);
 930
 931 isl_size isl_union_pw_multi_aff_dim(__isl_keep isl_union_pw_multi_aff *upma,
 932         enum isl_dim_type type);
 933 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_set_dim_name(
 934         __isl_take isl_union_pw_multi_aff *upma,
 935         enum isl_dim_type type, unsigned pos, const char *s);
 936
 937 int isl_union_pw_multi_aff_find_dim_by_name(
 938         __isl_keep isl_union_pw_multi_aff *upma, enum isl_dim_type type,
 939         const char *name);
 940
 941 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_drop_dims(
 942         __isl_take isl_union_pw_multi_aff *upma,
 943         enum isl_dim_type type, unsigned first, unsigned n);
 944 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_reset_user(
 945         __isl_take isl_union_pw_multi_aff *upma);
 946
 947 __isl_export
 948 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_coalesce(
 949         __isl_take isl_union_pw_multi_aff *upma);
 950 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist_params(
 951         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *context);
 952 __isl_export
 953 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist(
 954         __isl_take isl_union_pw_multi_aff *upma,
 955         __isl_take isl_union_set *context);
 956
 957 __isl_overload
 958 __isl_give isl_union_pw_multi_aff *
 959 isl_union_pw_multi_aff_pullback_union_pw_multi_aff(
 960         __isl_take isl_union_pw_multi_aff *upma1,
 961         __isl_take isl_union_pw_multi_aff *upma2);
 962 __isl_overload
 963 __isl_give isl_union_pw_multi_aff *
 964 isl_union_pw_multi_aff_apply_union_pw_multi_aff(
 965         __isl_take isl_union_pw_multi_aff *upma1,
 966         __isl_take isl_union_pw_multi_aff *upma2);
 967 __isl_overload
 968 __isl_give isl_union_pw_multi_aff *
 969 isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff(
 970         __isl_take isl_union_pw_multi_aff *upma1,
 971         __isl_take isl_union_pw_multi_aff *upma2);
 972
 973 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_align_params(
 974         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *model);
 975 __isl_export
 976 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_drop_unused_params(
 977         __isl_take isl_union_pw_multi_aff *upma);
 978
 979 isl_size isl_union_pw_multi_aff_n_pw_multi_aff(
 980         __isl_keep isl_union_pw_multi_aff *upma);
 981
 982 isl_stat isl_union_pw_multi_aff_foreach_pw_multi_aff(
 983         __isl_keep isl_union_pw_multi_aff *upma,
 984         isl_stat (*fn)(__isl_take isl_pw_multi_aff *pma, void *user),
 985         void *user);
 986 isl_bool isl_union_pw_multi_aff_every_pw_multi_aff(
 987         __isl_keep isl_union_pw_multi_aff *upma,
 988         isl_bool (*test)(__isl_keep isl_pw_multi_aff *pma, void *user),
 989         void *user);
 990 __isl_export
 991 __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_extract_pw_multi_aff(
 992         __isl_keep isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
 993 __isl_export
 994 isl_bool isl_union_pw_multi_aff_isa_pw_multi_aff(
 995         __isl_keep isl_union_pw_multi_aff *upma);
 996 __isl_export
 997 __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_as_pw_multi_aff(
 998         __isl_take isl_union_pw_multi_aff *upma);
 999
1000 __isl_export
1001 isl_bool isl_union_pw_multi_aff_plain_is_empty(
1002         __isl_keep isl_union_pw_multi_aff *upma);
1003 __isl_export
1004 isl_bool isl_union_pw_multi_aff_involves_locals(
1005         __isl_keep isl_union_pw_multi_aff *upma);
1006 isl_bool isl_union_pw_multi_aff_involves_nan(
1007         __isl_keep isl_union_pw_multi_aff *upma);
1008 __isl_export
1009 isl_bool isl_union_pw_multi_aff_plain_is_equal(
1010         __isl_keep isl_union_pw_multi_aff *upma1,
1011         __isl_keep isl_union_pw_multi_aff *upma2);
1012
1013 __isl_export
1014 __isl_give isl_union_set *isl_union_pw_multi_aff_domain(
1015         __isl_take isl_union_pw_multi_aff *upma);
1016
1017 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_neg(
1018         __isl_take isl_union_pw_multi_aff *upma);
1019
1020 __isl_export
1021 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add(
1022         __isl_take isl_union_pw_multi_aff *upma1,
1023         __isl_take isl_union_pw_multi_aff *upma2);
1024 __isl_export
1025 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_union_add(
1026         __isl_take isl_union_pw_multi_aff *upma1,
1027         __isl_take isl_union_pw_multi_aff *upma2);
1028 __isl_export
1029 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_sub(
1030         __isl_take isl_union_pw_multi_aff *upma1,
1031         __isl_take isl_union_pw_multi_aff *upma2);
1032
1033 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_val(
1034         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
1035 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_down_val(
1036         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
1037 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_multi_val(
1038         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_multi_val *mv);
1039
1040 __isl_export
1041 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_product(
1042         __isl_take isl_union_pw_multi_aff *upma1,
1043         __isl_take isl_union_pw_multi_aff *upma2);
1044 __isl_export
1045 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_product(
1046         __isl_take isl_union_pw_multi_aff *upma1,
1047         __isl_take isl_union_pw_multi_aff *upma2);
1048 __isl_export
1049 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_domain(
1050         __isl_take isl_union_pw_multi_aff *upma);
1051 __isl_export
1052 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_range(
1053         __isl_take isl_union_pw_multi_aff *upma);
1054
1055 __isl_export
1056 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_params(
1057         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *set);
1058 __isl_overload
1059 __isl_give isl_union_pw_multi_aff *
1060 isl_union_pw_multi_aff_intersect_domain_union_set(
1061         __isl_take isl_union_pw_multi_aff *upma,
1062         __isl_take isl_union_set *uset);
1063 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_domain(
1064         __isl_take isl_union_pw_multi_aff *upma,
1065         __isl_take isl_union_set *uset);
1066 __isl_overload
1067 __isl_give isl_union_pw_multi_aff *
1068 isl_union_pw_multi_aff_intersect_domain_space(
1069         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
1070 __isl_export
1071 __isl_give isl_union_pw_multi_aff *
1072 isl_union_pw_multi_aff_intersect_domain_wrapped_domain(
1073         __isl_take isl_union_pw_multi_aff *upma,
1074         __isl_take isl_union_set *uset);
1075 __isl_export
1076 __isl_give isl_union_pw_multi_aff *
1077 isl_union_pw_multi_aff_intersect_domain_wrapped_range(
1078         __isl_take isl_union_pw_multi_aff *upma,
1079         __isl_take isl_union_set *uset);
1080 __isl_overload
1081 __isl_give isl_union_pw_multi_aff *
1082 isl_union_pw_multi_aff_subtract_domain_union_set(
1083         __isl_take isl_union_pw_multi_aff *upma,
1084         __isl_take isl_union_set *uset);
1085 __isl_overload
1086 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain_space(
1087         __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
1088 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain(
1089         __isl_take isl_union_pw_multi_aff *upma,
1090         __isl_take isl_union_set *uset);
1091
1092 __isl_export
1093 __isl_give isl_union_map *isl_union_pw_multi_aff_as_union_map(
1094         __isl_take isl_union_pw_multi_aff *upma);
1095 __isl_overload
1096 __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff(
1097         __isl_take isl_union_pw_multi_aff *upma);
1098
1099 __isl_give isl_printer *isl_printer_print_union_pw_multi_aff(
1100         __isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma);
1101
1102 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_set(
1103         __isl_take isl_union_set *uset);
1104 __isl_export
1105 __isl_give isl_union_pw_multi_aff *isl_union_map_as_union_pw_multi_aff(
1106         __isl_take isl_union_map *umap);
1107 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_map(
1108         __isl_take isl_union_map *umap);
1109
1110 __isl_constructor
1111 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_read_from_str(
1112         isl_ctx *ctx, const char *str);
1113 void isl_union_pw_multi_aff_dump(__isl_keep isl_union_pw_multi_aff *upma);
1114 __isl_give char *isl_union_pw_multi_aff_to_str(
1115         __isl_keep isl_union_pw_multi_aff *upma);
1116
1117 uint32_t isl_multi_pw_aff_get_hash(__isl_keep isl_multi_pw_aff *mpa);
1118
1119 __isl_constructor
1120 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_aff(__isl_take isl_aff *aff);
1121 __isl_export
1122 __isl_give isl_multi_pw_aff *isl_multi_aff_to_multi_pw_aff(
1123         __isl_take isl_multi_aff *ma);
1124 __isl_constructor
1125 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_multi_aff(
1126         __isl_take isl_multi_aff *ma);
1127 __isl_constructor
1128 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff(
1129         __isl_take isl_pw_aff *pa);
1130 __isl_export
1131 __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa);
1132 __isl_export
1133 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_params(
1134         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1135 __isl_export
1136 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_domain(
1137         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain);
1138
1139 __isl_export
1140 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_coalesce(
1141         __isl_take isl_multi_pw_aff *mpa);
1142 __isl_export
1143 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist(
1144         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1145 __isl_export
1146 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist_params(
1147         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1148
1149 isl_bool isl_multi_pw_aff_is_cst(__isl_keep isl_multi_pw_aff *mpa);
1150 isl_bool isl_multi_pw_aff_is_equal(__isl_keep isl_multi_pw_aff *mpa1,
1151         __isl_keep isl_multi_pw_aff *mpa2);
1152
1153 __isl_overload
1154 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_aff(
1155         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_multi_aff *ma);
1156 __isl_overload
1157 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_pw_multi_aff(
1158         __isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_multi_aff *pma);
1159 __isl_overload
1160 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_pw_aff(
1161         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1162
1163 __isl_export
1164 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_union_add(
1165         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1166
1167 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_move_dims(
1168         __isl_take isl_multi_pw_aff *pma,
1169         enum isl_dim_type dst_type, unsigned dst_pos,
1170         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
1171
1172 __isl_export
1173 isl_bool isl_multi_pw_aff_isa_multi_aff(__isl_keep isl_multi_pw_aff *mpa);
1174 __isl_export
1175 __isl_give isl_multi_aff *isl_multi_pw_aff_as_multi_aff(
1176         __isl_take isl_multi_pw_aff *mpa);
1177
1178 __isl_export
1179 __isl_give isl_set *isl_multi_pw_aff_as_set(__isl_take isl_multi_pw_aff *mpa);
1180 __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
1181 __isl_export
1182 __isl_give isl_map *isl_multi_pw_aff_as_map(__isl_take isl_multi_pw_aff *mpa);
1183 __isl_give isl_map *isl_map_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
1184 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_pw_aff(
1185         __isl_take isl_multi_pw_aff *mpa);
1186 __isl_export
1187 __isl_give isl_multi_pw_aff *isl_pw_multi_aff_to_multi_pw_aff(
1188         __isl_take isl_pw_multi_aff *pma);
1189 __isl_constructor
1190 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_multi_aff(
1191         __isl_take isl_pw_multi_aff *pma);
1192
1193 __isl_give isl_map *isl_multi_pw_aff_eq_map(__isl_take isl_multi_pw_aff *mpa1,
1194         __isl_take isl_multi_pw_aff *mpa2);
1195 __isl_give isl_map *isl_multi_pw_aff_lex_le_map(
1196         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1197 __isl_give isl_map *isl_multi_pw_aff_lex_lt_map(
1198         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1199 __isl_give isl_map *isl_multi_pw_aff_lex_ge_map(
1200         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1201 __isl_give isl_map *isl_multi_pw_aff_lex_gt_map(
1202         __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1203
1204 __isl_export
1205 __isl_give isl_set *isl_multi_pw_aff_bind(__isl_take isl_multi_pw_aff *mpa,
1206         __isl_take isl_multi_id *tuple);
1207
1208 __isl_constructor
1209 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_read_from_str(isl_ctx *ctx,
1210         const char *str);
1211 __isl_give char *isl_multi_pw_aff_to_str(__isl_keep isl_multi_pw_aff *mpa);
1212 __isl_give isl_printer *isl_printer_print_multi_pw_aff(
1213         __isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa);
1214 void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa);
1215
1216 __isl_give isl_union_pw_aff *isl_union_pw_aff_copy(
1217         __isl_keep isl_union_pw_aff *upa);
1218 __isl_null isl_union_pw_aff *isl_union_pw_aff_free(
1219         __isl_take isl_union_pw_aff *upa);
1220
1221 isl_ctx *isl_union_pw_aff_get_ctx(__isl_keep isl_union_pw_aff *upa);
1222 __isl_export
1223 __isl_give isl_space *isl_union_pw_aff_get_space(
1224         __isl_keep isl_union_pw_aff *upa);
1225 __isl_give isl_pw_aff_list *isl_union_pw_aff_get_pw_aff_list(
1226         __isl_keep isl_union_pw_aff *upa);
1227
1228 isl_size isl_union_pw_aff_dim(__isl_keep isl_union_pw_aff *upa,
1229         enum isl_dim_type type);
1230 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
1231         __isl_take isl_union_pw_aff *upa, enum isl_dim_type type,
1232         unsigned pos, const char *s);
1233
1234 int isl_union_pw_aff_find_dim_by_name(__isl_keep isl_union_pw_aff *upa,
1235         enum isl_dim_type type, const char *name);
1236
1237 __isl_give isl_union_pw_aff *isl_union_pw_aff_drop_dims(
1238         __isl_take isl_union_pw_aff *upa,
1239         enum isl_dim_type type, unsigned first, unsigned n);
1240 __isl_give isl_union_pw_aff *isl_union_pw_aff_reset_user(
1241         __isl_take isl_union_pw_aff *upa);
1242
1243 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_ctx(isl_ctx *ctx);
1244 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_space(
1245         __isl_take isl_space *space);
1246 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty(
1247         __isl_take isl_space *space);
1248 __isl_constructor
1249 __isl_give isl_union_pw_aff *isl_union_pw_aff_from_aff(__isl_take isl_aff *aff);
1250 __isl_export
1251 __isl_give isl_union_pw_aff *isl_pw_aff_to_union_pw_aff(
1252         __isl_take isl_pw_aff *pa);
1253 __isl_constructor
1254 __isl_give isl_union_pw_aff *isl_union_pw_aff_from_pw_aff(
1255         __isl_take isl_pw_aff *pa);
1256 __isl_give isl_union_pw_aff *isl_union_pw_aff_val_on_domain(
1257         __isl_take isl_union_set *domain, __isl_take isl_val *v);
1258 __isl_give isl_union_pw_aff *isl_union_pw_aff_aff_on_domain(
1259         __isl_take isl_union_set *domain, __isl_take isl_aff *aff);
1260 __isl_give isl_union_pw_aff *isl_union_pw_aff_pw_aff_on_domain(
1261         __isl_take isl_union_set *domain, __isl_take isl_pw_aff *pa);
1262 __isl_give isl_union_pw_aff *isl_union_pw_aff_add_pw_aff(
1263         __isl_take isl_union_pw_aff *upa, __isl_take isl_pw_aff *pa);
1264
1265 __isl_constructor
1266 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_pw_aff(
1267         __isl_take isl_union_pw_aff *upa);
1268
1269 isl_size isl_union_pw_aff_n_pw_aff(__isl_keep isl_union_pw_aff *upa);
1270
1271 isl_stat isl_union_pw_aff_foreach_pw_aff(__isl_keep isl_union_pw_aff *upa,
1272         isl_stat (*fn)(__isl_take isl_pw_aff *pa, void *user), void *user);
1273 isl_bool isl_union_pw_aff_every_pw_aff(__isl_keep isl_union_pw_aff *upa,
1274         isl_bool (*test)(__isl_keep isl_pw_aff *pa, void *user), void *user);
1275 __isl_give isl_pw_aff *isl_union_pw_aff_extract_pw_aff(
1276         __isl_keep isl_union_pw_aff *upa, __isl_take isl_space *space);
1277
1278 isl_bool isl_union_pw_aff_involves_nan(__isl_keep isl_union_pw_aff *upa);
1279 __isl_export
1280 isl_bool isl_union_pw_aff_plain_is_equal(__isl_keep isl_union_pw_aff *upa1,
1281         __isl_keep isl_union_pw_aff *upa2);
1282
1283 __isl_export
1284 __isl_give isl_union_set *isl_union_pw_aff_domain(
1285         __isl_take isl_union_pw_aff *upa);
1286
1287 __isl_give isl_union_pw_aff *isl_union_pw_aff_neg(
1288         __isl_take isl_union_pw_aff *upa);
1289
1290 __isl_export
1291 __isl_give isl_union_pw_aff *isl_union_pw_aff_add(
1292         __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1293 __isl_export
1294 __isl_give isl_union_pw_aff *isl_union_pw_aff_union_add(
1295         __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1296 __isl_export
1297 __isl_give isl_union_pw_aff *isl_union_pw_aff_sub(
1298         __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1299
1300 __isl_export
1301 __isl_give isl_union_pw_aff *isl_union_pw_aff_coalesce(
1302         __isl_take isl_union_pw_aff *upa);
1303 __isl_export
1304 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist(
1305         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *context);
1306 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist_params(
1307         __isl_take isl_union_pw_aff *upa, __isl_take isl_set *context);
1308
1309 __isl_overload
1310 __isl_give isl_union_pw_aff *isl_union_pw_aff_pullback_union_pw_multi_aff(
1311         __isl_take isl_union_pw_aff *upa,
1312         __isl_take isl_union_pw_multi_aff *upma);
1313
1314 __isl_give isl_union_pw_aff *isl_union_pw_aff_floor(
1315         __isl_take isl_union_pw_aff *upa);
1316
1317 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_val(
1318         __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
1319 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_down_val(
1320         __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
1321 __isl_give isl_union_pw_aff *isl_union_pw_aff_mod_val(
1322         __isl_take isl_union_pw_aff *upa, __isl_take isl_val *f);
1323
1324 __isl_give isl_union_pw_aff *isl_union_pw_aff_align_params(
1325         __isl_take isl_union_pw_aff *upa, __isl_take isl_space *model);
1326 __isl_export
1327 __isl_give isl_union_pw_aff *isl_union_pw_aff_drop_unused_params(
1328         __isl_take isl_union_pw_aff *upa);
1329
1330 __isl_export
1331 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_params(
1332         __isl_take isl_union_pw_aff *upa, __isl_take isl_set *set);
1333 __isl_overload
1334 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_space(
1335         __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space);
1336 __isl_overload
1337 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_union_set(
1338         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1339 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain(
1340         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1341 __isl_export
1342 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_domain(
1343         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1344 __isl_export
1345 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_range(
1346         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1347 __isl_overload
1348 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_union_set(
1349         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1350 __isl_overload
1351 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_space(
1352         __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space);
1353 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain(
1354         __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1355
1356 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
1357         __isl_take isl_union_pw_aff *upa,
1358         enum isl_dim_type type, unsigned pos, const char *s);
1359
1360 __isl_give isl_union_set *isl_union_pw_aff_zero_union_set(
1361         __isl_take isl_union_pw_aff *upa);
1362
1363 __isl_give isl_union_map *isl_union_map_from_union_pw_aff(
1364         __isl_take isl_union_pw_aff *upa);
1365
1366 __isl_overload
1367 __isl_give isl_union_set *isl_union_pw_aff_bind_id(
1368         __isl_take isl_union_pw_aff *upa, __isl_take isl_id *id);
1369
1370 __isl_constructor
1371 __isl_give isl_union_pw_aff *isl_union_pw_aff_read_from_str(isl_ctx *ctx,
1372         const char *str);
1373 __isl_give char *isl_union_pw_aff_to_str(__isl_keep isl_union_pw_aff *upa);
1374 __isl_give isl_printer *isl_printer_print_union_pw_aff(
1375         __isl_take isl_printer *p, __isl_keep isl_union_pw_aff *upa);
1376 void isl_union_pw_aff_dump(__isl_keep isl_union_pw_aff *upa);
1377
1378 ISL_DECLARE_MULTI(union_pw_aff)
1379 ISL_DECLARE_MULTI_ARITH(union_pw_aff)
1380 ISL_DECLARE_MULTI_ZERO(union_pw_aff)
1381 ISL_DECLARE_MULTI_NAN(union_pw_aff)
1382 ISL_DECLARE_MULTI_DROP_DIMS(union_pw_aff)
1383 ISL_DECLARE_MULTI_DIM_ID(union_pw_aff)
1384 ISL_DECLARE_MULTI_TUPLE_ID(union_pw_aff)
1385
1386 __isl_export
1387 __isl_give isl_multi_union_pw_aff *isl_multi_aff_to_multi_union_pw_aff(
1388         __isl_take isl_multi_aff *ma);
1389 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_aff(
1390         __isl_take isl_multi_aff *ma);
1391 __isl_constructor
1392 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_pw_aff(
1393         __isl_take isl_union_pw_aff *upa);
1394 __isl_constructor
1395 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_pw_aff(
1396         __isl_take isl_multi_pw_aff *mpa);
1397 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_val_on_domain(
1398         __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
1399 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_aff_on_domain(
1400         __isl_take isl_union_set *domain, __isl_take isl_multi_aff *ma);
1401 __isl_give isl_multi_union_pw_aff *
1402 isl_multi_union_pw_aff_pw_multi_aff_on_domain(__isl_take isl_union_set *domain,
1403         __isl_take isl_pw_multi_aff *pma);
1404
1405 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_floor(
1406         __isl_take isl_multi_union_pw_aff *mupa);
1407
1408 __isl_export
1409 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_domain(
1410         __isl_take isl_multi_union_pw_aff *mupa,
1411         __isl_take isl_union_set *uset);
1412 __isl_export
1413 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_params(
1414         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *params);
1415 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_range(
1416         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *set);
1417
1418 __isl_export
1419 __isl_give isl_union_set *isl_multi_union_pw_aff_domain(
1420         __isl_take isl_multi_union_pw_aff *mupa);
1421
1422 __isl_export
1423 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_coalesce(
1424         __isl_take isl_multi_union_pw_aff *mupa);
1425 __isl_export
1426 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist(
1427         __isl_take isl_multi_union_pw_aff *mupa,
1428         __isl_take isl_union_set *context);
1429 __isl_export
1430 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist_params(
1431         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *context);
1432
1433 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_aff(
1434         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_aff *aff);
1435 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_multi_aff(
1436         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_multi_aff *ma);
1437 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_pw_aff(
1438         __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_pw_aff *pa);
1439 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_pw_multi_aff(
1440         __isl_take isl_multi_union_pw_aff *mupa,
1441         __isl_take isl_pw_multi_aff *pma);
1442
1443 __isl_overload
1444 __isl_give isl_multi_union_pw_aff *
1445 isl_multi_union_pw_aff_pullback_union_pw_multi_aff(
1446         __isl_take isl_multi_union_pw_aff *mupa,
1447         __isl_take isl_union_pw_multi_aff *upma);
1448
1449 __isl_give isl_union_pw_multi_aff *
1450 isl_union_pw_multi_aff_from_multi_union_pw_aff(
1451         __isl_take isl_multi_union_pw_aff *mupa);
1452
1453 __isl_export
1454 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_union_add(
1455         __isl_take isl_multi_union_pw_aff *mupa1,
1456         __isl_take isl_multi_union_pw_aff *mupa2);
1457
1458 __isl_export
1459 __isl_give isl_multi_union_pw_aff *
1460 isl_union_pw_multi_aff_as_multi_union_pw_aff(
1461         __isl_take isl_union_pw_multi_aff *upma);
1462 __isl_give isl_multi_union_pw_aff *
1463 isl_multi_union_pw_aff_from_union_pw_multi_aff(
1464         __isl_take isl_union_pw_multi_aff *upma);
1465
1466 __isl_export
1467 __isl_give isl_multi_union_pw_aff *isl_union_map_as_multi_union_pw_aff(
1468         __isl_take isl_union_map *umap);
1469 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_map(
1470         __isl_take isl_union_map *umap);
1471 __isl_overload
1472 __isl_give isl_union_map *isl_union_map_from_multi_union_pw_aff(
1473         __isl_take isl_multi_union_pw_aff *mupa);
1474
1475 __isl_give isl_union_set *isl_multi_union_pw_aff_zero_union_set(
1476         __isl_take isl_multi_union_pw_aff *mupa);
1477 __isl_export
1478 __isl_give isl_union_set *isl_multi_union_pw_aff_bind(
1479         __isl_take isl_multi_union_pw_aff *mupa,
1480         __isl_take isl_multi_id *tuple);
1481
1482 __isl_give isl_multi_pw_aff *isl_multi_union_pw_aff_extract_multi_pw_aff(
1483         __isl_keep isl_multi_union_pw_aff *mupa, __isl_take isl_space *space);
1484
1485 __isl_constructor
1486 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_read_from_str(
1487         isl_ctx *ctx, const char *str);
1488 __isl_give char *isl_multi_union_pw_aff_to_str(
1489         __isl_keep isl_multi_union_pw_aff *mupa);
1490 __isl_give isl_printer *isl_printer_print_multi_union_pw_aff(
1491         __isl_take isl_printer *p, __isl_keep isl_multi_union_pw_aff *mupa);
1492 void isl_multi_union_pw_aff_dump(__isl_keep isl_multi_union_pw_aff *mupa);
1493
1494 ISL_DECLARE_EXPORTED_LIST_FN(aff)
1495 ISL_DECLARE_EXPORTED_LIST_FN_READ(aff)
1496 ISL_DECLARE_EXPORTED_LIST_FN(pw_aff)
1497 ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_aff)
1498 ISL_DECLARE_EXPORTED_LIST_FN(pw_multi_aff)
1499 ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_multi_aff)
1500 ISL_DECLARE_EXPORTED_LIST_FN(union_pw_aff)
1501 ISL_DECLARE_EXPORTED_LIST_FN_READ(union_pw_aff)
1502 ISL_DECLARE_LIST_FN(union_pw_multi_aff)
1503
1504 #if defined(__cplusplus)
1505 }
1506 #endif
1507
1508 #endif