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