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