include/isl/aff.h

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