| #ifndef ISL_AFF_H |
| #define ISL_AFF_H |
| |
| #include <isl/stdint.h> |
| #include <isl/local_space.h> |
| #include <isl/printer.h> |
| #include <isl/id_type.h> |
| #include <isl/set_type.h> |
| #include <isl/aff_type.h> |
| #include <isl/list.h> |
| #include <isl/multi.h> |
| #include <isl/union_set_type.h> |
| #include <isl/val_type.h> |
| #include <isl/point.h> |
| |
| #if defined(__cplusplus) |
| extern "C" { |
| #endif |
| |
| __isl_overload |
| __isl_give isl_aff *isl_aff_zero_on_domain_space(__isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_aff *isl_space_zero_aff_on_domain(__isl_take isl_space *space); |
| __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls); |
| __isl_give isl_aff *isl_aff_val_on_domain_space(__isl_take isl_space *space, |
| __isl_take isl_val *val); |
| __isl_give isl_aff *isl_aff_val_on_domain(__isl_take isl_local_space *ls, |
| __isl_take isl_val *val); |
| __isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls, |
| enum isl_dim_type type, unsigned pos); |
| __isl_give isl_aff *isl_aff_nan_on_domain_space(__isl_take isl_space *space); |
| __isl_give isl_aff *isl_aff_nan_on_domain(__isl_take isl_local_space *ls); |
| __isl_give isl_aff *isl_aff_param_on_domain_space_id( |
| __isl_take isl_space *space, __isl_take isl_id *id); |
| __isl_overload |
| __isl_give isl_aff *isl_space_param_aff_on_domain_id( |
| __isl_take isl_space *space, __isl_take isl_id *id); |
| |
| __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff); |
| __isl_null isl_aff *isl_aff_free(__isl_take isl_aff *aff); |
| |
| isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff); |
| uint32_t isl_aff_get_hash(__isl_keep isl_aff *aff); |
| |
| isl_bool isl_aff_involves_locals(__isl_keep isl_aff *aff); |
| |
| isl_size isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type); |
| isl_bool isl_aff_involves_dims(__isl_keep isl_aff *aff, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| |
| __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff); |
| __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff); |
| __isl_give isl_local_space *isl_aff_get_domain_local_space( |
| __isl_keep isl_aff *aff); |
| __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff); |
| |
| const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff, |
| enum isl_dim_type type, unsigned pos); |
| __isl_export |
| __isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff); |
| __isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff, |
| enum isl_dim_type type, int pos); |
| int isl_aff_coefficient_sgn(__isl_keep isl_aff *aff, |
| enum isl_dim_type type, int pos); |
| __isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff); |
| __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v); |
| __isl_give isl_aff *isl_aff_set_constant_val(__isl_take isl_aff *aff, |
| __isl_take isl_val *v); |
| __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff, |
| enum isl_dim_type type, int pos, int v); |
| __isl_give isl_aff *isl_aff_set_coefficient_val(__isl_take isl_aff *aff, |
| enum isl_dim_type type, int pos, __isl_take isl_val *v); |
| __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v); |
| __isl_overload |
| __isl_give isl_aff *isl_aff_add_constant_val(__isl_take isl_aff *aff, |
| __isl_take isl_val *v); |
| __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, int v); |
| __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff, |
| enum isl_dim_type type, int pos, int v); |
| __isl_give isl_aff *isl_aff_add_coefficient_val(__isl_take isl_aff *aff, |
| enum isl_dim_type type, int pos, __isl_take isl_val *v); |
| |
| __isl_export |
| isl_bool isl_aff_is_cst(__isl_keep isl_aff *aff); |
| |
| __isl_give isl_aff *isl_aff_set_tuple_id(__isl_take isl_aff *aff, |
| enum isl_dim_type type, __isl_take isl_id *id); |
| __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff, |
| enum isl_dim_type type, unsigned pos, const char *s); |
| __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff, |
| enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); |
| |
| int isl_aff_find_dim_by_name(__isl_keep isl_aff *aff, enum isl_dim_type type, |
| const char *name); |
| |
| isl_bool isl_aff_plain_is_equal(__isl_keep isl_aff *aff1, |
| __isl_keep isl_aff *aff2); |
| isl_bool isl_aff_plain_is_zero(__isl_keep isl_aff *aff); |
| isl_bool isl_aff_is_nan(__isl_keep isl_aff *aff); |
| |
| __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos); |
| |
| __isl_give isl_aff *isl_aff_from_range(__isl_take isl_aff *aff); |
| |
| __isl_export |
| __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff); |
| __isl_export |
| __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff); |
| __isl_export |
| __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff); |
| __isl_overload |
| __isl_give isl_aff *isl_aff_mod_val(__isl_take isl_aff *aff, |
| __isl_take isl_val *mod); |
| |
| __isl_export |
| __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| |
| __isl_overload |
| __isl_give isl_aff *isl_aff_scale_val(__isl_take isl_aff *aff, |
| __isl_take isl_val *v); |
| __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f); |
| __isl_overload |
| __isl_give isl_aff *isl_aff_scale_down_val(__isl_take isl_aff *aff, |
| __isl_take isl_val *v); |
| |
| __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff, |
| enum isl_dim_type type, unsigned n); |
| __isl_give isl_aff *isl_aff_move_dims(__isl_take isl_aff *aff, |
| enum isl_dim_type dst_type, unsigned dst_pos, |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); |
| __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *aff); |
| __isl_export |
| __isl_give isl_aff *isl_aff_unbind_params_insert_domain( |
| __isl_take isl_aff *aff, __isl_take isl_multi_id *domain); |
| |
| __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff, |
| __isl_take isl_space *model); |
| |
| __isl_export |
| __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff, |
| __isl_take isl_set *context); |
| __isl_export |
| __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff, |
| __isl_take isl_set *context); |
| |
| __isl_export |
| __isl_give isl_val *isl_aff_eval(__isl_take isl_aff *aff, |
| __isl_take isl_point *pnt); |
| |
| __isl_give isl_aff *isl_aff_pullback_aff(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_overload |
| __isl_give isl_aff *isl_aff_pullback_multi_aff(__isl_take isl_aff *aff, |
| __isl_take isl_multi_aff *ma); |
| |
| __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff); |
| __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff); |
| |
| __isl_give isl_basic_set *isl_aff_eq_basic_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_give isl_basic_set *isl_aff_lt_basic_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_give isl_basic_set *isl_aff_gt_basic_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| __isl_export |
| __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1, |
| __isl_take isl_aff *aff2); |
| |
| __isl_overload |
| __isl_give isl_basic_set *isl_aff_bind_id(__isl_take isl_aff *aff, |
| __isl_take isl_id *id); |
| |
| __isl_constructor |
| __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str); |
| __isl_give char *isl_aff_to_str(__isl_keep isl_aff *aff); |
| __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p, |
| __isl_keep isl_aff *aff); |
| void isl_aff_dump(__isl_keep isl_aff *aff); |
| |
| isl_ctx *isl_pw_aff_get_ctx(__isl_keep isl_pw_aff *pwaff); |
| uint32_t isl_pw_aff_get_hash(__isl_keep isl_pw_aff *pa); |
| __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pwaff); |
| __isl_export |
| __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff); |
| |
| __isl_constructor |
| __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff); |
| __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *space); |
| __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set, |
| __isl_take isl_aff *aff); |
| __isl_give isl_pw_aff *isl_pw_aff_zero_on_domain( |
| __isl_take isl_local_space *ls); |
| __isl_give isl_pw_aff *isl_pw_aff_var_on_domain(__isl_take isl_local_space *ls, |
| enum isl_dim_type type, unsigned pos); |
| __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain_space( |
| __isl_take isl_space *space); |
| __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain(__isl_take isl_local_space *ls); |
| __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain, |
| __isl_take isl_val *v); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_set_pw_aff_on_domain_val(__isl_take isl_set *domain, |
| __isl_take isl_val *v); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_param_on_domain_id( |
| __isl_take isl_set *domain, __isl_take isl_id *id); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_set_param_pw_aff_on_domain_id( |
| __isl_take isl_set *domain, __isl_take isl_id *id); |
| |
| __isl_export |
| __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set); |
| |
| const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa, |
| enum isl_dim_type type, unsigned pos); |
| isl_bool isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa, |
| enum isl_dim_type type, unsigned pos); |
| __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa, |
| enum isl_dim_type type, unsigned pos); |
| __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma, |
| enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); |
| |
| int isl_pw_aff_find_dim_by_name(__isl_keep isl_pw_aff *pa, |
| enum isl_dim_type type, const char *name); |
| |
| isl_bool isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff); |
| isl_bool isl_pw_aff_involves_nan(__isl_keep isl_pw_aff *pa); |
| int isl_pw_aff_plain_cmp(__isl_keep isl_pw_aff *pa1, |
| __isl_keep isl_pw_aff *pa2); |
| isl_bool isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1, |
| __isl_keep isl_pw_aff *pwaff2); |
| isl_bool isl_pw_aff_is_equal(__isl_keep isl_pw_aff *pa1, |
| __isl_keep isl_pw_aff *pa2); |
| |
| __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_union_add(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| |
| __isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff); |
| __isl_null isl_pw_aff *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff); |
| |
| isl_size isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type type); |
| isl_bool isl_pw_aff_involves_param_id(__isl_keep isl_pw_aff *pa, |
| __isl_keep isl_id *id); |
| isl_bool isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| |
| isl_bool isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff); |
| |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_insert_domain(__isl_take isl_pw_aff *pa, |
| __isl_take isl_space *domain); |
| __isl_give isl_pw_aff *isl_pw_aff_project_domain_on_params( |
| __isl_take isl_pw_aff *pa); |
| |
| __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff, |
| __isl_take isl_space *model); |
| __isl_give isl_pw_aff *isl_pw_aff_drop_unused_params( |
| __isl_take isl_pw_aff *pa); |
| |
| isl_bool isl_pw_aff_has_tuple_id(__isl_keep isl_pw_aff *pa, |
| enum isl_dim_type type); |
| __isl_give isl_id *isl_pw_aff_get_tuple_id(__isl_keep isl_pw_aff *pa, |
| enum isl_dim_type type); |
| __isl_give isl_pw_aff *isl_pw_aff_set_tuple_id(__isl_take isl_pw_aff *pwaff, |
| enum isl_dim_type type, __isl_take isl_id *id); |
| __isl_give isl_pw_aff *isl_pw_aff_reset_tuple_id(__isl_take isl_pw_aff *pa, |
| enum isl_dim_type type); |
| __isl_give isl_pw_aff *isl_pw_aff_reset_user(__isl_take isl_pw_aff *pa); |
| |
| __isl_give isl_set *isl_pw_aff_params(__isl_take isl_pw_aff *pwa); |
| __isl_export |
| __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff); |
| __isl_give isl_pw_aff *isl_pw_aff_from_range(__isl_take isl_pw_aff *pwa); |
| |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_mod_val(__isl_take isl_pw_aff *pa, |
| __isl_take isl_val *mod); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *pa, |
| __isl_take isl_set *set); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *pa, |
| __isl_take isl_set *set); |
| __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_domain( |
| __isl_take isl_pw_aff *pa, __isl_take isl_set *set); |
| __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_range( |
| __isl_take isl_pw_aff *pa, __isl_take isl_set *set); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_subtract_domain(__isl_take isl_pw_aff *pa, |
| __isl_take isl_set *set); |
| |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond, |
| __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_false); |
| |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_add_constant_val(__isl_take isl_pw_aff *pa, |
| __isl_take isl_val *v); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_scale_val(__isl_take isl_pw_aff *pa, |
| __isl_take isl_val *v); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_scale_down_val(__isl_take isl_pw_aff *pa, |
| __isl_take isl_val *f); |
| |
| __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff, |
| enum isl_dim_type type, unsigned n); |
| __isl_give isl_pw_aff *isl_pw_aff_move_dims(__isl_take isl_pw_aff *pa, |
| enum isl_dim_type dst_type, unsigned dst_pos, |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); |
| __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pa); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff, |
| __isl_take isl_set *context); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff, |
| __isl_take isl_set *context); |
| |
| __isl_export |
| __isl_give isl_val *isl_pw_aff_eval(__isl_take isl_pw_aff *pa, |
| __isl_take isl_point *pnt); |
| |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_aff( |
| __isl_take isl_pw_aff *pa, __isl_take isl_multi_aff *ma); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_pullback_pw_multi_aff( |
| __isl_take isl_pw_aff *pa, __isl_take isl_pw_multi_aff *pma); |
| __isl_overload |
| __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_pw_aff( |
| __isl_take isl_pw_aff *pa, __isl_take isl_multi_pw_aff *mpa); |
| |
| isl_size isl_pw_aff_n_piece(__isl_keep isl_pw_aff *pwaff); |
| isl_stat isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff, |
| isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff, |
| void *user), void *user); |
| isl_bool isl_pw_aff_every_piece(__isl_keep isl_pw_aff *pa, |
| isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_aff *aff, |
| void *user), void *user); |
| __isl_export |
| isl_bool isl_pw_aff_isa_aff(__isl_keep isl_pw_aff *pa); |
| __isl_export |
| __isl_give isl_aff *isl_pw_aff_as_aff(__isl_take isl_pw_aff *pa); |
| |
| __isl_export |
| __isl_give isl_map *isl_pw_aff_as_map(__isl_take isl_pw_aff *pa); |
| __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff); |
| __isl_give isl_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff); |
| |
| __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa); |
| __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff); |
| __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff); |
| __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff); |
| |
| __isl_export |
| __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| __isl_export |
| __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1, |
| __isl_take isl_pw_aff *pwaff2); |
| |
| __isl_give isl_map *isl_pw_aff_eq_map(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| __isl_give isl_map *isl_pw_aff_le_map(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| __isl_give isl_map *isl_pw_aff_lt_map(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| __isl_give isl_map *isl_pw_aff_ge_map(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| __isl_give isl_map *isl_pw_aff_gt_map(__isl_take isl_pw_aff *pa1, |
| __isl_take isl_pw_aff *pa2); |
| |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_bind_domain(__isl_take isl_pw_aff *pa, |
| __isl_take isl_multi_id *tuple); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_aff_bind_domain_wrapped_domain( |
| __isl_take isl_pw_aff *pa, __isl_take isl_multi_id *tuple); |
| __isl_overload |
| __isl_give isl_set *isl_pw_aff_bind_id(__isl_take isl_pw_aff *pa, |
| __isl_take isl_id *id); |
| |
| __isl_constructor |
| __isl_give isl_pw_aff *isl_pw_aff_read_from_str(isl_ctx *ctx, const char *str); |
| __isl_give char *isl_pw_aff_to_str(__isl_keep isl_pw_aff *pa); |
| __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p, |
| __isl_keep isl_pw_aff *pwaff); |
| void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff); |
| |
| __isl_give isl_pw_aff *isl_pw_aff_list_min(__isl_take isl_pw_aff_list *list); |
| __isl_give isl_pw_aff *isl_pw_aff_list_max(__isl_take isl_pw_aff_list *list); |
| |
| __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1, |
| __isl_take isl_pw_aff_list *list2); |
| __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1, |
| __isl_take isl_pw_aff_list *list2); |
| __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1, |
| __isl_take isl_pw_aff_list *list2); |
| __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1, |
| __isl_take isl_pw_aff_list *list2); |
| __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1, |
| __isl_take isl_pw_aff_list *list2); |
| __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1, |
| __isl_take isl_pw_aff_list *list2); |
| |
| ISL_DECLARE_MULTI(aff) |
| ISL_DECLARE_MULTI_IDENTITY(aff) |
| ISL_DECLARE_MULTI_CMP(aff) |
| ISL_DECLARE_MULTI_ARITH(aff) |
| ISL_DECLARE_MULTI_ADD_CONSTANT(aff) |
| ISL_DECLARE_MULTI_ZERO(aff) |
| ISL_DECLARE_MULTI_NAN(aff) |
| ISL_DECLARE_MULTI_DIMS(aff) |
| ISL_DECLARE_MULTI_INSERT_DOMAIN(aff) |
| ISL_DECLARE_MULTI_LOCALS(aff) |
| ISL_DECLARE_MULTI_DIM_ID(aff) |
| ISL_DECLARE_MULTI_TUPLE_ID(aff) |
| ISL_DECLARE_MULTI_WITH_DOMAIN(aff) |
| ISL_DECLARE_MULTI_BIND_DOMAIN(aff) |
| ISL_DECLARE_MULTI_UNBIND_PARAMS(aff) |
| |
| __isl_constructor |
| __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff); |
| __isl_export |
| __isl_give isl_multi_aff *isl_multi_aff_domain_map(__isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_multi_aff *isl_space_domain_map_multi_aff( |
| __isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_multi_aff *isl_multi_aff_range_map(__isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_multi_aff *isl_space_range_map_multi_aff( |
| __isl_take isl_space *space); |
| __isl_give isl_multi_aff *isl_multi_aff_project_out_map( |
| __isl_take isl_space *space, enum isl_dim_type type, |
| unsigned first, unsigned n); |
| |
| __isl_overload |
| __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_domain_space( |
| __isl_take isl_space *space, __isl_take isl_multi_val *mv); |
| __isl_overload |
| __isl_give isl_multi_aff *isl_space_multi_aff_on_domain_multi_val( |
| __isl_take isl_space *space, __isl_take isl_multi_val *mv); |
| __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_space( |
| __isl_take isl_space *space, __isl_take isl_multi_val *mv); |
| |
| __isl_export |
| __isl_give isl_multi_val *isl_multi_aff_get_constant_multi_val( |
| __isl_keep isl_multi_aff *ma); |
| |
| __isl_export |
| __isl_give isl_multi_aff *isl_multi_aff_floor(__isl_take isl_multi_aff *ma); |
| |
| __isl_export |
| __isl_give isl_multi_aff *isl_multi_aff_gist_params( |
| __isl_take isl_multi_aff *maff, __isl_take isl_set *context); |
| __isl_export |
| __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff, |
| __isl_take isl_set *context); |
| |
| __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff, |
| __isl_give isl_local_space **ls); |
| |
| __isl_overload |
| __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff( |
| __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2); |
| |
| __isl_give isl_multi_aff *isl_multi_aff_move_dims(__isl_take isl_multi_aff *ma, |
| enum isl_dim_type dst_type, unsigned dst_pos, |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); |
| |
| __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1, |
| __isl_take isl_multi_aff *ma2); |
| __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1, |
| __isl_take isl_multi_aff *ma2); |
| __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1, |
| __isl_take isl_multi_aff *ma2); |
| __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1, |
| __isl_take isl_multi_aff *ma2); |
| |
| __isl_export |
| __isl_give isl_basic_set *isl_multi_aff_bind(__isl_take isl_multi_aff *ma, |
| __isl_take isl_multi_id *tuple); |
| |
| __isl_give char *isl_multi_aff_to_str(__isl_keep isl_multi_aff *ma); |
| __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p, |
| __isl_keep isl_multi_aff *maff); |
| |
| __isl_constructor |
| __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx, |
| const char *str); |
| void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff); |
| |
| ISL_DECLARE_MULTI(pw_aff) |
| ISL_DECLARE_MULTI_IDENTITY(pw_aff) |
| ISL_DECLARE_MULTI_ARITH(pw_aff) |
| ISL_DECLARE_MULTI_MIN_MAX(pw_aff) |
| ISL_DECLARE_MULTI_ADD_CONSTANT(pw_aff) |
| ISL_DECLARE_MULTI_ZERO(pw_aff) |
| ISL_DECLARE_MULTI_NAN(pw_aff) |
| ISL_DECLARE_MULTI_DIMS(pw_aff) |
| ISL_DECLARE_MULTI_DIM_ID(pw_aff) |
| ISL_DECLARE_MULTI_INSERT_DOMAIN(pw_aff) |
| ISL_DECLARE_MULTI_TUPLE_ID(pw_aff) |
| ISL_DECLARE_MULTI_WITH_DOMAIN(pw_aff) |
| ISL_DECLARE_MULTI_BIND_DOMAIN(pw_aff) |
| ISL_DECLARE_MULTI_PARAM(pw_aff) |
| ISL_DECLARE_MULTI_UNBIND_PARAMS(pw_aff) |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_zero(__isl_take isl_space *space); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity_on_domain_space( |
| __isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_space_identity_pw_multi_aff_on_domain( |
| __isl_take isl_space *space); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity( |
| __isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_domain_map( |
| __isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_space_domain_map_pw_multi_aff( |
| __isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_map( |
| __isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_space_range_map_pw_multi_aff( |
| __isl_take isl_space *space); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out_map( |
| __isl_take isl_space *space, enum isl_dim_type type, |
| unsigned first, unsigned n); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_multi_aff_to_pw_multi_aff( |
| __isl_take isl_multi_aff *ma); |
| __isl_constructor |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff( |
| __isl_take isl_multi_aff *ma); |
| __isl_constructor |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_pw_aff( |
| __isl_take isl_pw_aff *pa); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set, |
| __isl_take isl_multi_aff *maff); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy( |
| __isl_keep isl_pw_multi_aff *pma); |
| __isl_null isl_pw_multi_aff *isl_pw_multi_aff_free( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| isl_size isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma, |
| enum isl_dim_type type); |
| __isl_export |
| isl_bool isl_pw_multi_aff_involves_locals(__isl_keep isl_pw_multi_aff *pma); |
| isl_bool isl_pw_multi_aff_involves_param_id(__isl_keep isl_pw_multi_aff *pma, |
| __isl_keep isl_id *id); |
| isl_bool isl_pw_multi_aff_involves_dims(__isl_keep isl_pw_multi_aff *pma, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| __isl_export |
| __isl_give isl_pw_aff *isl_pw_multi_aff_get_at( |
| __isl_keep isl_pw_multi_aff *pma, int pos); |
| __isl_give isl_pw_aff *isl_pw_multi_aff_get_pw_aff( |
| __isl_keep isl_pw_multi_aff *pma, int pos); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_pw_aff( |
| __isl_take isl_pw_multi_aff *pma, unsigned pos, |
| __isl_take isl_pw_aff *pa); |
| |
| isl_ctx *isl_pw_multi_aff_get_ctx(__isl_keep isl_pw_multi_aff *pma); |
| __isl_give isl_space *isl_pw_multi_aff_get_domain_space( |
| __isl_keep isl_pw_multi_aff *pma); |
| __isl_export |
| __isl_give isl_space *isl_pw_multi_aff_get_space( |
| __isl_keep isl_pw_multi_aff *pma); |
| isl_bool isl_pw_multi_aff_has_tuple_name(__isl_keep isl_pw_multi_aff *pma, |
| enum isl_dim_type type); |
| const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pma, |
| enum isl_dim_type type); |
| __isl_export |
| __isl_give isl_id *isl_pw_multi_aff_get_range_tuple_id( |
| __isl_keep isl_pw_multi_aff *pma); |
| __isl_give isl_id *isl_pw_multi_aff_get_tuple_id( |
| __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type); |
| __isl_export |
| isl_bool isl_pw_multi_aff_has_range_tuple_id(__isl_keep isl_pw_multi_aff *pma); |
| isl_bool isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma, |
| enum isl_dim_type type); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id( |
| __isl_take isl_pw_multi_aff *pma, |
| enum isl_dim_type type, __isl_take isl_id *id); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_range_tuple_id( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_id *id); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_tuple_id( |
| __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_user( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| int isl_pw_multi_aff_find_dim_by_name(__isl_keep isl_pw_multi_aff *pma, |
| enum isl_dim_type type, const char *name); |
| |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_dims( |
| __isl_take isl_pw_multi_aff *pma, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| |
| __isl_export |
| __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma); |
| |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *space); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_domain( |
| __isl_take isl_set *set); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_multi_val_on_domain( |
| __isl_take isl_set *domain, __isl_take isl_multi_val *mv); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_set_pw_multi_aff_on_domain_multi_val( |
| __isl_take isl_set *domain, __isl_take isl_multi_val *mv); |
| |
| const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma, |
| enum isl_dim_type type, unsigned pos); |
| __isl_give isl_id *isl_pw_multi_aff_get_dim_id( |
| __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type, |
| unsigned pos); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id( |
| __isl_take isl_pw_multi_aff *pma, |
| enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); |
| |
| isl_bool isl_pw_multi_aff_involves_nan(__isl_keep isl_pw_multi_aff *pma); |
| isl_bool isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1, |
| __isl_keep isl_pw_multi_aff *pma2); |
| isl_bool isl_pw_multi_aff_is_equal(__isl_keep isl_pw_multi_aff *pma1, |
| __isl_keep isl_pw_multi_aff *pma2); |
| |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_fix_si( |
| __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, |
| unsigned pos, int value); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_neg( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_sub( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_val( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_multi_val( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_val( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_val( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_multi_val( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_multi_val( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv); |
| |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin( |
| __isl_take isl_pw_multi_aff *pma1, |
| __isl_take isl_pw_multi_aff *pma2); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax( |
| __isl_take isl_pw_multi_aff *pma1, |
| __isl_take isl_pw_multi_aff *pma2); |
| |
| __isl_give isl_multi_aff *isl_multi_aff_flatten_domain( |
| __isl_take isl_multi_aff *ma); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_flat_range_product( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_product( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_domain( |
| __isl_take isl_pw_multi_aff *pma); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_range( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_domain( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_range( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_subtract_domain( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_insert_domain( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *domain); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_domain_on_params( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_align_params( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *model); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_unused_params( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_coalesce( |
| __isl_take isl_pw_multi_aff *pma); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist_params( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); |
| |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_multi_aff( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_aff *ma); |
| __isl_overload |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_pw_multi_aff( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| __isl_overload |
| __isl_give isl_pw_multi_aff * |
| isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff( |
| __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2); |
| |
| __isl_export |
| isl_size isl_pw_multi_aff_n_piece(__isl_keep isl_pw_multi_aff *pma); |
| __isl_export |
| isl_stat isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma, |
| isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff, |
| void *user), void *user); |
| isl_bool isl_pw_multi_aff_every_piece(__isl_keep isl_pw_multi_aff *pma, |
| isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_multi_aff *ma, |
| void *user), void *user); |
| __isl_export |
| isl_bool isl_pw_multi_aff_isa_multi_aff(__isl_keep isl_pw_multi_aff *pma); |
| __isl_export |
| __isl_give isl_multi_aff *isl_pw_multi_aff_as_multi_aff( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_export |
| __isl_give isl_map *isl_pw_multi_aff_as_map(__isl_take isl_pw_multi_aff *pma); |
| __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma); |
| __isl_export |
| __isl_give isl_set *isl_pw_multi_aff_as_set(__isl_take isl_pw_multi_aff *pma); |
| __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma); |
| |
| __isl_give char *isl_pw_multi_aff_to_str(__isl_keep isl_pw_multi_aff *pma); |
| __isl_give isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_printer *p, |
| __isl_keep isl_pw_multi_aff *pma); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_set_as_pw_multi_aff(__isl_take isl_set *set); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_map_as_pw_multi_aff(__isl_take isl_map *map); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *map); |
| |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain_wrapped_domain( |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple); |
| |
| __isl_constructor |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx, |
| const char *str); |
| void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma); |
| |
| |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_ctx( |
| isl_ctx *ctx); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_space( |
| __isl_take isl_space *space); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty( |
| __isl_take isl_space *space); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_aff( |
| __isl_take isl_aff *aff); |
| __isl_constructor |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_multi_aff( |
| __isl_take isl_multi_aff *ma); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_pw_multi_aff_to_union_pw_multi_aff( |
| __isl_take isl_pw_multi_aff *pma); |
| __isl_constructor |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_pw_multi_aff( |
| __isl_take isl_pw_multi_aff *pma); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_domain( |
| __isl_take isl_union_set *uset); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_multi_val_on_domain( |
| __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_param_on_domain_id( |
| __isl_take isl_union_set *domain, __isl_take isl_id *id); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_copy( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| __isl_null isl_union_pw_multi_aff *isl_union_pw_multi_aff_free( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_give isl_union_pw_multi_aff *isl_union_set_identity_union_pw_multi_aff( |
| __isl_take isl_union_set *uset); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_multi_aff_get_union_pw_aff( |
| __isl_keep isl_union_pw_multi_aff *upma, int pos); |
| |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add_pw_multi_aff( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_pw_multi_aff *pma); |
| |
| isl_ctx *isl_union_pw_multi_aff_get_ctx( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| __isl_export |
| __isl_give isl_space *isl_union_pw_multi_aff_get_space( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| __isl_export |
| __isl_give isl_pw_multi_aff_list *isl_union_pw_multi_aff_get_pw_multi_aff_list( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| |
| isl_size isl_union_pw_multi_aff_dim(__isl_keep isl_union_pw_multi_aff *upma, |
| enum isl_dim_type type); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_set_dim_name( |
| __isl_take isl_union_pw_multi_aff *upma, |
| enum isl_dim_type type, unsigned pos, const char *s); |
| |
| int isl_union_pw_multi_aff_find_dim_by_name( |
| __isl_keep isl_union_pw_multi_aff *upma, enum isl_dim_type type, |
| const char *name); |
| |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_drop_dims( |
| __isl_take isl_union_pw_multi_aff *upma, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_reset_user( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_coalesce( |
| __isl_take isl_union_pw_multi_aff *upma); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist_params( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *context); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_union_set *context); |
| |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_pullback_union_pw_multi_aff( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_apply_union_pw_multi_aff( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_align_params( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *model); |
| |
| isl_size isl_union_pw_multi_aff_n_pw_multi_aff( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| |
| isl_stat isl_union_pw_multi_aff_foreach_pw_multi_aff( |
| __isl_keep isl_union_pw_multi_aff *upma, |
| isl_stat (*fn)(__isl_take isl_pw_multi_aff *pma, void *user), |
| void *user); |
| isl_bool isl_union_pw_multi_aff_every_pw_multi_aff( |
| __isl_keep isl_union_pw_multi_aff *upma, |
| isl_bool (*test)(__isl_keep isl_pw_multi_aff *pma, void *user), |
| void *user); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_extract_pw_multi_aff( |
| __isl_keep isl_union_pw_multi_aff *upma, __isl_take isl_space *space); |
| __isl_export |
| isl_bool isl_union_pw_multi_aff_isa_pw_multi_aff( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| __isl_export |
| __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_as_pw_multi_aff( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_export |
| isl_bool isl_union_pw_multi_aff_plain_is_empty( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| __isl_export |
| isl_bool isl_union_pw_multi_aff_involves_locals( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| isl_bool isl_union_pw_multi_aff_involves_nan( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| isl_bool isl_union_pw_multi_aff_plain_is_equal( |
| __isl_keep isl_union_pw_multi_aff *upma1, |
| __isl_keep isl_union_pw_multi_aff *upma2); |
| |
| __isl_export |
| __isl_give isl_union_set *isl_union_pw_multi_aff_domain( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_neg( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_union_add( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_sub( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_val( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_down_val( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_multi_val( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_multi_val *mv); |
| |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_product( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_product( |
| __isl_take isl_union_pw_multi_aff *upma1, |
| __isl_take isl_union_pw_multi_aff *upma2); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_domain( |
| __isl_take isl_union_pw_multi_aff *upma); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_range( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_params( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *set); |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_intersect_domain_union_set( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_union_set *uset); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_domain( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_union_set *uset); |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_intersect_domain_space( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_intersect_domain_wrapped_domain( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_union_set *uset); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_intersect_domain_wrapped_range( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_union_set *uset); |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_subtract_domain_union_set( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_union_set *uset); |
| __isl_overload |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain_space( |
| __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain( |
| __isl_take isl_union_pw_multi_aff *upma, |
| __isl_take isl_union_set *uset); |
| |
| __isl_export |
| __isl_give isl_union_map *isl_union_pw_multi_aff_as_union_map( |
| __isl_take isl_union_pw_multi_aff *upma); |
| __isl_overload |
| __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_give isl_printer *isl_printer_print_union_pw_multi_aff( |
| __isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma); |
| |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_set( |
| __isl_take isl_union_set *uset); |
| __isl_export |
| __isl_give isl_union_pw_multi_aff *isl_union_map_as_union_pw_multi_aff( |
| __isl_take isl_union_map *umap); |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_map( |
| __isl_take isl_union_map *umap); |
| |
| __isl_constructor |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_read_from_str( |
| isl_ctx *ctx, const char *str); |
| void isl_union_pw_multi_aff_dump(__isl_keep isl_union_pw_multi_aff *upma); |
| __isl_give char *isl_union_pw_multi_aff_to_str( |
| __isl_keep isl_union_pw_multi_aff *upma); |
| |
| uint32_t isl_multi_pw_aff_get_hash(__isl_keep isl_multi_pw_aff *mpa); |
| |
| __isl_constructor |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_aff(__isl_take isl_aff *aff); |
| __isl_export |
| __isl_give isl_multi_pw_aff *isl_multi_aff_to_multi_pw_aff( |
| __isl_take isl_multi_aff *ma); |
| __isl_constructor |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_multi_aff( |
| __isl_take isl_multi_aff *ma); |
| __isl_constructor |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff( |
| __isl_take isl_pw_aff *pa); |
| __isl_export |
| __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa); |
| __isl_export |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_params( |
| __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set); |
| __isl_export |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_domain( |
| __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain); |
| |
| __isl_export |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_coalesce( |
| __isl_take isl_multi_pw_aff *mpa); |
| __isl_export |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist( |
| __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set); |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist_params( |
| __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set); |
| |
| isl_bool isl_multi_pw_aff_is_cst(__isl_keep isl_multi_pw_aff *mpa); |
| isl_bool isl_multi_pw_aff_is_equal(__isl_keep isl_multi_pw_aff *mpa1, |
| __isl_keep isl_multi_pw_aff *mpa2); |
| |
| __isl_overload |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_aff( |
| __isl_take isl_multi_pw_aff *mpa, __isl_take isl_multi_aff *ma); |
| __isl_overload |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_pw_multi_aff( |
| __isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_multi_aff *pma); |
| __isl_overload |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_pw_aff( |
| __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2); |
| |
| __isl_export |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_union_add( |
| __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2); |
| |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_move_dims( |
| __isl_take isl_multi_pw_aff *pma, |
| enum isl_dim_type dst_type, unsigned dst_pos, |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); |
| |
| __isl_export |
| isl_bool isl_multi_pw_aff_isa_multi_aff(__isl_keep isl_multi_pw_aff *mpa); |
| __isl_export |
| __isl_give isl_multi_aff *isl_multi_pw_aff_as_multi_aff( |
| __isl_take isl_multi_pw_aff *mpa); |
| |
| __isl_export |
| __isl_give isl_set *isl_multi_pw_aff_as_set(__isl_take isl_multi_pw_aff *mpa); |
| __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa); |
| __isl_export |
| __isl_give isl_map *isl_multi_pw_aff_as_map(__isl_take isl_multi_pw_aff *mpa); |
| __isl_give isl_map *isl_map_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa); |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_pw_aff( |
| __isl_take isl_multi_pw_aff *mpa); |
| __isl_export |
| __isl_give isl_multi_pw_aff *isl_pw_multi_aff_to_multi_pw_aff( |
| __isl_take isl_pw_multi_aff *pma); |
| __isl_constructor |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_multi_aff( |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_give isl_map *isl_multi_pw_aff_eq_map(__isl_take isl_multi_pw_aff *mpa1, |
| __isl_take isl_multi_pw_aff *mpa2); |
| __isl_give isl_map *isl_multi_pw_aff_lex_le_map( |
| __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2); |
| __isl_give isl_map *isl_multi_pw_aff_lex_lt_map( |
| __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2); |
| __isl_give isl_map *isl_multi_pw_aff_lex_ge_map( |
| __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2); |
| __isl_give isl_map *isl_multi_pw_aff_lex_gt_map( |
| __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2); |
| |
| __isl_export |
| __isl_give isl_set *isl_multi_pw_aff_bind(__isl_take isl_multi_pw_aff *mpa, |
| __isl_take isl_multi_id *tuple); |
| |
| __isl_constructor |
| __isl_give isl_multi_pw_aff *isl_multi_pw_aff_read_from_str(isl_ctx *ctx, |
| const char *str); |
| __isl_give char *isl_multi_pw_aff_to_str(__isl_keep isl_multi_pw_aff *mpa); |
| __isl_give isl_printer *isl_printer_print_multi_pw_aff( |
| __isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa); |
| void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_copy( |
| __isl_keep isl_union_pw_aff *upa); |
| __isl_null isl_union_pw_aff *isl_union_pw_aff_free( |
| __isl_take isl_union_pw_aff *upa); |
| |
| isl_ctx *isl_union_pw_aff_get_ctx(__isl_keep isl_union_pw_aff *upa); |
| __isl_export |
| __isl_give isl_space *isl_union_pw_aff_get_space( |
| __isl_keep isl_union_pw_aff *upa); |
| __isl_give isl_pw_aff_list *isl_union_pw_aff_get_pw_aff_list( |
| __isl_keep isl_union_pw_aff *upa); |
| |
| isl_size isl_union_pw_aff_dim(__isl_keep isl_union_pw_aff *upa, |
| enum isl_dim_type type); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name( |
| __isl_take isl_union_pw_aff *upa, enum isl_dim_type type, |
| unsigned pos, const char *s); |
| |
| int isl_union_pw_aff_find_dim_by_name(__isl_keep isl_union_pw_aff *upa, |
| enum isl_dim_type type, const char *name); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_drop_dims( |
| __isl_take isl_union_pw_aff *upa, |
| enum isl_dim_type type, unsigned first, unsigned n); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_reset_user( |
| __isl_take isl_union_pw_aff *upa); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_ctx(isl_ctx *ctx); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_space( |
| __isl_take isl_space *space); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_empty( |
| __isl_take isl_space *space); |
| __isl_constructor |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_from_aff(__isl_take isl_aff *aff); |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_pw_aff_to_union_pw_aff( |
| __isl_take isl_pw_aff *pa); |
| __isl_constructor |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_from_pw_aff( |
| __isl_take isl_pw_aff *pa); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_val_on_domain( |
| __isl_take isl_union_set *domain, __isl_take isl_val *v); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_aff_on_domain( |
| __isl_take isl_union_set *domain, __isl_take isl_aff *aff); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_pw_aff_on_domain( |
| __isl_take isl_union_set *domain, __isl_take isl_pw_aff *pa); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_add_pw_aff( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_pw_aff *pa); |
| |
| __isl_constructor |
| __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_pw_aff( |
| __isl_take isl_union_pw_aff *upa); |
| |
| isl_size isl_union_pw_aff_n_pw_aff(__isl_keep isl_union_pw_aff *upa); |
| |
| isl_stat isl_union_pw_aff_foreach_pw_aff(__isl_keep isl_union_pw_aff *upa, |
| isl_stat (*fn)(__isl_take isl_pw_aff *pa, void *user), void *user); |
| isl_bool isl_union_pw_aff_every_pw_aff(__isl_keep isl_union_pw_aff *upa, |
| isl_bool (*test)(__isl_keep isl_pw_aff *pa, void *user), void *user); |
| __isl_give isl_pw_aff *isl_union_pw_aff_extract_pw_aff( |
| __isl_keep isl_union_pw_aff *upa, __isl_take isl_space *space); |
| |
| isl_bool isl_union_pw_aff_involves_nan(__isl_keep isl_union_pw_aff *upa); |
| isl_bool isl_union_pw_aff_plain_is_equal(__isl_keep isl_union_pw_aff *upa1, |
| __isl_keep isl_union_pw_aff *upa2); |
| |
| __isl_export |
| __isl_give isl_union_set *isl_union_pw_aff_domain( |
| __isl_take isl_union_pw_aff *upa); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_neg( |
| __isl_take isl_union_pw_aff *upa); |
| |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_add( |
| __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2); |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_union_add( |
| __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2); |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_sub( |
| __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2); |
| |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_coalesce( |
| __isl_take isl_union_pw_aff *upa); |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_gist( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *context); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_gist_params( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_set *context); |
| |
| __isl_overload |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_pullback_union_pw_multi_aff( |
| __isl_take isl_union_pw_aff *upa, |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_floor( |
| __isl_take isl_union_pw_aff *upa); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_val( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_down_val( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_mod_val( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_val *f); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_align_params( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_space *model); |
| |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_params( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_set *set); |
| __isl_overload |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_space( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space); |
| __isl_overload |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_union_set( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset); |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_domain( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset); |
| __isl_export |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_range( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset); |
| __isl_overload |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_union_set( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset); |
| __isl_overload |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_space( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space); |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset); |
| |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name( |
| __isl_take isl_union_pw_aff *upa, |
| enum isl_dim_type type, unsigned pos, const char *s); |
| |
| __isl_give isl_union_set *isl_union_pw_aff_zero_union_set( |
| __isl_take isl_union_pw_aff *upa); |
| |
| __isl_give isl_union_map *isl_union_map_from_union_pw_aff( |
| __isl_take isl_union_pw_aff *upa); |
| |
| __isl_overload |
| __isl_give isl_union_set *isl_union_pw_aff_bind_id( |
| __isl_take isl_union_pw_aff *upa, __isl_take isl_id *id); |
| |
| __isl_constructor |
| __isl_give isl_union_pw_aff *isl_union_pw_aff_read_from_str(isl_ctx *ctx, |
| const char *str); |
| __isl_give char *isl_union_pw_aff_to_str(__isl_keep isl_union_pw_aff *upa); |
| __isl_give isl_printer *isl_printer_print_union_pw_aff( |
| __isl_take isl_printer *p, __isl_keep isl_union_pw_aff *upa); |
| void isl_union_pw_aff_dump(__isl_keep isl_union_pw_aff *upa); |
| |
| ISL_DECLARE_MULTI(union_pw_aff) |
| ISL_DECLARE_MULTI_ARITH(union_pw_aff) |
| ISL_DECLARE_MULTI_ZERO(union_pw_aff) |
| ISL_DECLARE_MULTI_NAN(union_pw_aff) |
| ISL_DECLARE_MULTI_DROP_DIMS(union_pw_aff) |
| ISL_DECLARE_MULTI_DIM_ID(union_pw_aff) |
| ISL_DECLARE_MULTI_TUPLE_ID(union_pw_aff) |
| |
| __isl_export |
| __isl_give isl_multi_union_pw_aff *isl_multi_aff_to_multi_union_pw_aff( |
| __isl_take isl_multi_aff *ma); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_aff( |
| __isl_take isl_multi_aff *ma); |
| __isl_constructor |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_pw_aff( |
| __isl_take isl_union_pw_aff *upa); |
| __isl_constructor |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_pw_aff( |
| __isl_take isl_multi_pw_aff *mpa); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_val_on_domain( |
| __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_aff_on_domain( |
| __isl_take isl_union_set *domain, __isl_take isl_multi_aff *ma); |
| __isl_give isl_multi_union_pw_aff * |
| isl_multi_union_pw_aff_pw_multi_aff_on_domain(__isl_take isl_union_set *domain, |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_floor( |
| __isl_take isl_multi_union_pw_aff *mupa); |
| |
| __isl_export |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_domain( |
| __isl_take isl_multi_union_pw_aff *mupa, |
| __isl_take isl_union_set *uset); |
| __isl_export |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_params( |
| __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *params); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_range( |
| __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *set); |
| |
| __isl_export |
| __isl_give isl_union_set *isl_multi_union_pw_aff_domain( |
| __isl_take isl_multi_union_pw_aff *mupa); |
| |
| __isl_export |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_coalesce( |
| __isl_take isl_multi_union_pw_aff *mupa); |
| __isl_export |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist( |
| __isl_take isl_multi_union_pw_aff *mupa, |
| __isl_take isl_union_set *context); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist_params( |
| __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *context); |
| |
| __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_aff( |
| __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_aff *aff); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_multi_aff( |
| __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_multi_aff *ma); |
| __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_pw_aff( |
| __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_pw_aff *pa); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_pw_multi_aff( |
| __isl_take isl_multi_union_pw_aff *mupa, |
| __isl_take isl_pw_multi_aff *pma); |
| |
| __isl_overload |
| __isl_give isl_multi_union_pw_aff * |
| isl_multi_union_pw_aff_pullback_union_pw_multi_aff( |
| __isl_take isl_multi_union_pw_aff *mupa, |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_give isl_union_pw_multi_aff * |
| isl_union_pw_multi_aff_from_multi_union_pw_aff( |
| __isl_take isl_multi_union_pw_aff *mupa); |
| |
| __isl_export |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_union_add( |
| __isl_take isl_multi_union_pw_aff *mupa1, |
| __isl_take isl_multi_union_pw_aff *mupa2); |
| |
| __isl_export |
| __isl_give isl_multi_union_pw_aff * |
| isl_union_pw_multi_aff_as_multi_union_pw_aff( |
| __isl_take isl_union_pw_multi_aff *upma); |
| __isl_give isl_multi_union_pw_aff * |
| isl_multi_union_pw_aff_from_union_pw_multi_aff( |
| __isl_take isl_union_pw_multi_aff *upma); |
| |
| __isl_export |
| __isl_give isl_multi_union_pw_aff *isl_union_map_as_multi_union_pw_aff( |
| __isl_take isl_union_map *umap); |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_map( |
| __isl_take isl_union_map *umap); |
| __isl_overload |
| __isl_give isl_union_map *isl_union_map_from_multi_union_pw_aff( |
| __isl_take isl_multi_union_pw_aff *mupa); |
| |
| __isl_give isl_union_set *isl_multi_union_pw_aff_zero_union_set( |
| __isl_take isl_multi_union_pw_aff *mupa); |
| __isl_export |
| __isl_give isl_union_set *isl_multi_union_pw_aff_bind( |
| __isl_take isl_multi_union_pw_aff *mupa, |
| __isl_take isl_multi_id *tuple); |
| |
| __isl_give isl_multi_pw_aff *isl_multi_union_pw_aff_extract_multi_pw_aff( |
| __isl_keep isl_multi_union_pw_aff *mupa, __isl_take isl_space *space); |
| |
| __isl_constructor |
| __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_read_from_str( |
| isl_ctx *ctx, const char *str); |
| __isl_give char *isl_multi_union_pw_aff_to_str( |
| __isl_keep isl_multi_union_pw_aff *mupa); |
| __isl_give isl_printer *isl_printer_print_multi_union_pw_aff( |
| __isl_take isl_printer *p, __isl_keep isl_multi_union_pw_aff *mupa); |
| void isl_multi_union_pw_aff_dump(__isl_keep isl_multi_union_pw_aff *mupa); |
| |
| ISL_DECLARE_EXPORTED_LIST_FN(aff) |
| ISL_DECLARE_EXPORTED_LIST_FN_READ(aff) |
| ISL_DECLARE_EXPORTED_LIST_FN(pw_aff) |
| ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_aff) |
| ISL_DECLARE_EXPORTED_LIST_FN(pw_multi_aff) |
| ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_multi_aff) |
| ISL_DECLARE_EXPORTED_LIST_FN(union_pw_aff) |
| ISL_DECLARE_EXPORTED_LIST_FN_READ(union_pw_aff) |
| ISL_DECLARE_LIST_FN(union_pw_multi_aff) |
| |
| #if defined(__cplusplus) |
| } |
| #endif |
| |
| #endif |