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