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