| aff.h | | aff.h | |
| #ifndef ISL_AFF_H | | #ifndef ISL_AFF_H | |
| #define ISL_AFF_H | | #define ISL_AFF_H | |
| | | | |
| #include <isl/local_space.h> | | #include <isl/local_space.h> | |
| #include <isl/printer.h> | | #include <isl/printer.h> | |
| #include <isl/set_type.h> | | #include <isl/set_type.h> | |
| #include <isl/aff_type.h> | | #include <isl/aff_type.h> | |
| #include <isl/list.h> | | #include <isl/list.h> | |
| #include <isl/multi.h> | | #include <isl/multi.h> | |
|
| | | #include <isl/union_set_type.h> | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| extern "C" { | | extern "C" { | |
| #endif | | #endif | |
| | | | |
| __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls); | | __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls); | |
|
| | | __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_copy(__isl_keep isl_aff *aff); | | __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff); | |
| void *isl_aff_free(__isl_take isl_aff *aff); | | void *isl_aff_free(__isl_take isl_aff *aff); | |
| | | | |
| isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff); | | isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff); | |
| | | | |
| int isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type); | | int isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type); | |
| int isl_aff_involves_dims(__isl_keep isl_aff *aff, | | int isl_aff_involves_dims(__isl_keep isl_aff *aff, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| | | | |
| skipping to change at line 47 | | skipping to change at line 50 | |
| int isl_aff_get_denominator(__isl_keep isl_aff *aff, isl_int *v); | | int isl_aff_get_denominator(__isl_keep isl_aff *aff, isl_int *v); | |
| __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v
); | | __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v
); | |
| __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v)
; | | __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v)
; | |
| __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, int pos, isl_int v); | | enum isl_dim_type type, int pos, isl_int v); | |
| __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, int pos, int v); | | enum isl_dim_type type, int pos, int v); | |
| __isl_give isl_aff *isl_aff_set_denominator(__isl_take isl_aff *aff, isl_in
t v); | | __isl_give isl_aff *isl_aff_set_denominator(__isl_take isl_aff *aff, isl_in
t v); | |
| __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v
); | | __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v
); | |
| __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v)
; | | __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v)
; | |
|
| | | __isl_give isl_aff *isl_aff_add_constant_num(__isl_take isl_aff *aff, | |
| | | isl_int v); | |
| | | __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, in | |
| | | t v); | |
| __isl_give isl_aff *isl_aff_add_coefficient(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_add_coefficient(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, int pos, isl_int v); | | enum isl_dim_type type, int pos, isl_int v); | |
| __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, int pos, int v); | | enum isl_dim_type type, int pos, int v); | |
| | | | |
| int isl_aff_is_cst(__isl_keep isl_aff *aff); | | int isl_aff_is_cst(__isl_keep isl_aff *aff); | |
| | | | |
| __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff, | |
| | | | |
| skipping to change at line 71 | | skipping to change at line 77 | |
| | | | |
| __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos); | | __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos); | |
| | | | |
| __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff); | | __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff); | |
| __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff); | | __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff); | |
| __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff); | | __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff); | |
| __isl_give isl_aff *isl_aff_mod(__isl_take isl_aff *aff, isl_int mod); | | __isl_give isl_aff *isl_aff_mod(__isl_take isl_aff *aff, isl_int mod); | |
| | | | |
| __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1, | | __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1, | |
| __isl_take isl_aff *aff2); | | __isl_take isl_aff *aff2); | |
|
| | | __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1, | |
| | | __isl_take isl_aff *aff2); | |
| __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1, | | __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1, | |
| __isl_take isl_aff *aff2); | | __isl_take isl_aff *aff2); | |
| __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1, | | __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1, | |
| __isl_take isl_aff *aff2); | | __isl_take isl_aff *aff2); | |
| | | | |
| __isl_give isl_aff *isl_aff_scale(__isl_take isl_aff *aff, isl_int f); | | __isl_give isl_aff *isl_aff_scale(__isl_take isl_aff *aff, isl_int f); | |
| __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f); | | __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f); | |
| __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned
f); | | __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned
f); | |
| | | | |
| __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, unsigned n); | | enum isl_dim_type type, unsigned n); | |
| __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
|
| | | __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *af | |
| | | f); | |
| | | | |
| | | __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff, | |
| | | __isl_take isl_space *model); | |
| | | | |
| __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff, | |
| __isl_take isl_set *context); | | __isl_take isl_set *context); | |
| __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff, | | __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff, | |
| __isl_take isl_set *context); | | __isl_take isl_set *context); | |
| | | | |
|
| | | __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_le_basic_set(__isl_take isl_aff *aff1, | | __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1, | |
| __isl_take isl_aff *aff2); | | __isl_take isl_aff *aff2); | |
| __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1, | | __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1, | |
| __isl_take isl_aff *aff2); | | __isl_take isl_aff *aff2); | |
| | | | |
| __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str); | | __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str); | |
| __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p, | | __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p, | |
| __isl_keep isl_aff *aff); | | __isl_keep isl_aff *aff); | |
| void isl_aff_dump(__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); | | isl_ctx *isl_pw_aff_get_ctx(__isl_keep isl_pw_aff *pwaff); | |
| __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pw
aff); | | __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pw
aff); | |
| __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff); | | __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff); | |
| | | | |
| __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff); | | __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 *dim); | | __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *dim); | |
| __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set, | | __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set, | |
| __isl_take isl_aff *aff); | | __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_set_indicator_function(__isl_take isl_set *set); | |
| | | | |
| const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa, | | const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| int isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa, | | int isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa, | | __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma, | | __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); | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | | |
| | | | |
| skipping to change at line 143 | | skipping to change at line 167 | |
| | | | |
| unsigned isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type typ
e); | | unsigned isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type typ
e); | |
| int isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff, | | int isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| int isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff); | | int isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff); | |
| | | | |
| __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff
, | | __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff
, | |
| __isl_take isl_space *model); | | __isl_take isl_space *model); | |
| | | | |
|
| | | __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
, | | __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); | | enum isl_dim_type type, __isl_take isl_id *id); | |
| | | | |
| __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff); | | __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff); | |
| | | | |
| __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
|
| | | __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1, | |
| | | __isl_take isl_pw_aff *pa2); | |
| __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff); | | __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff); | |
| __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff); | | __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff); | |
| __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff); | | __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff); | |
| __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff, | | __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff, | |
| isl_int mod); | | isl_int mod); | |
|
| | | __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1, | |
| | | __isl_take isl_pw_aff *pa2); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1, | |
| | | __isl_take isl_pw_aff *pa2); | |
| | | | |
| __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *p
a, | | __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *p
a, | |
| __isl_take isl_set *set); | | __isl_take isl_set *set); | |
| __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *p
a, | | __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *p
a, | |
| __isl_take isl_set *set); | | __isl_take isl_set *set); | |
| | | | |
|
| __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_set *cond, | | __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_fals
e); | | __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_fals
e); | |
| | | | |
| __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff, | | __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff, | |
| isl_int f); | | isl_int f); | |
| __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff, | | __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff, | |
| isl_int f); | | isl_int f); | |
| | | | |
| __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff, | | __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); | | 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, | | __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff, | |
| enum isl_dim_type type, unsigned n); | | enum isl_dim_type type, unsigned n); | |
| __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff, | | __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); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pwqp); | | __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pwqp); | |
| __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff, | | __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff, | |
| __isl_take isl_set *context); | | __isl_take isl_set *context); | |
| __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff, | | __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff, | |
| __isl_take isl_set *context); | | __isl_take isl_set *context); | |
| | | | |
|
| | | __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_aff( | |
| | | __isl_take isl_pw_aff *pa, __isl_take isl_multi_aff *ma); | |
| | | __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); | |
| | | | |
| | | int isl_pw_aff_n_piece(__isl_keep isl_pw_aff *pwaff); | |
| int isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff, | | int isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff, | |
| int (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff, | | int (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff, | |
| void *user), void *user); | | void *user), void *user); | |
| | | | |
| __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff); | | __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_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff); | |
| | | | |
| __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff); | | __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_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_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff); | |
| | | | |
| skipping to change at line 235 | | skipping to change at line 273 | |
| __isl_take isl_pw_aff_list *list2); | | __isl_take isl_pw_aff_list *list2); | |
| __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list
1, | | __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list
1, | |
| __isl_take isl_pw_aff_list *list2); | | __isl_take isl_pw_aff_list *list2); | |
| __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list
1, | | __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list
1, | |
| __isl_take isl_pw_aff_list *list2); | | __isl_take isl_pw_aff_list *list2); | |
| __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list
1, | | __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list
1, | |
| __isl_take isl_pw_aff_list *list2); | | __isl_take isl_pw_aff_list *list2); | |
| __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list
1, | | __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list
1, | |
| __isl_take isl_pw_aff_list *list2); | | __isl_take isl_pw_aff_list *list2); | |
| | | | |
|
| | | __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_zero(__isl_take isl_space *space); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_identity(__isl_take isl_space *spac | |
| | | e); | |
| | | | |
| isl_ctx *isl_multi_aff_get_ctx(__isl_keep isl_multi_aff *maff); | | isl_ctx *isl_multi_aff_get_ctx(__isl_keep isl_multi_aff *maff); | |
| __isl_give isl_space *isl_multi_aff_get_space(__isl_keep isl_multi_aff *maf
f); | | __isl_give isl_space *isl_multi_aff_get_space(__isl_keep isl_multi_aff *maf
f); | |
|
| | | __isl_give isl_space *isl_multi_aff_get_domain_space( | |
| | | __isl_keep isl_multi_aff *maff); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_set_tuple_name( | |
| | | __isl_take isl_multi_aff *maff, | |
| | | enum isl_dim_type type, const char *s); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_set_tuple_id( | |
| | | __isl_take isl_multi_aff *maff, | |
| | | enum isl_dim_type type, __isl_take isl_id *id); | |
| __isl_give isl_multi_aff *isl_multi_aff_copy(__isl_keep isl_multi_aff *maff
); | | __isl_give isl_multi_aff *isl_multi_aff_copy(__isl_keep isl_multi_aff *maff
); | |
| void *isl_multi_aff_free(__isl_take isl_multi_aff *maff); | | void *isl_multi_aff_free(__isl_take isl_multi_aff *maff); | |
| | | | |
| unsigned isl_multi_aff_dim(__isl_keep isl_multi_aff *maff, | | unsigned isl_multi_aff_dim(__isl_keep isl_multi_aff *maff, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| __isl_give isl_aff *isl_multi_aff_get_aff(__isl_keep isl_multi_aff *multi, | | __isl_give isl_aff *isl_multi_aff_get_aff(__isl_keep isl_multi_aff *multi, | |
| int pos); | | int pos); | |
| | | | |
|
| | | __isl_give isl_multi_aff *isl_multi_aff_insert_dims( | |
| | | __isl_take isl_multi_aff *ma, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_add_dims(__isl_take isl_multi_aff * | |
| | | ma, | |
| | | enum isl_dim_type type, unsigned n); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_drop_dims( | |
| | | __isl_take isl_multi_aff *maff, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| __isl_give isl_multi_aff *isl_multi_aff_set_dim_name( | | __isl_give isl_multi_aff *isl_multi_aff_set_dim_name( | |
| __isl_take isl_multi_aff *maff, | | __isl_take isl_multi_aff *maff, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
| int isl_multi_aff_plain_is_equal(__isl_keep isl_multi_aff *maff1, | | int isl_multi_aff_plain_is_equal(__isl_keep isl_multi_aff *maff1, | |
| __isl_keep isl_multi_aff *maff2); | | __isl_keep isl_multi_aff *maff2); | |
| | | | |
| __isl_give isl_multi_aff *isl_multi_aff_add(__isl_take isl_multi_aff *maff1
, | | __isl_give isl_multi_aff *isl_multi_aff_add(__isl_take isl_multi_aff *maff1
, | |
| __isl_take isl_multi_aff *maff2); | | __isl_take isl_multi_aff *maff2); | |
| | | | |
| __isl_give isl_multi_aff *isl_multi_aff_scale(__isl_take isl_multi_aff *maf
f, | | __isl_give isl_multi_aff *isl_multi_aff_scale(__isl_take isl_multi_aff *maf
f, | |
| isl_int f); | | isl_int f); | |
| | | | |
|
| | | __isl_give isl_multi_aff *isl_multi_aff_range_splice( | |
| | | __isl_take isl_multi_aff *ma1, unsigned pos, | |
| | | __isl_take isl_multi_aff *ma2); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_splice( | |
| | | __isl_take isl_multi_aff *ma1, unsigned in_pos, unsigned out_pos, | |
| | | __isl_take isl_multi_aff *ma2); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_range_product( | |
| | | __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_flat_range_product( | |
| | | __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2); | |
| | | __isl_give isl_multi_aff *isl_multi_aff_product( | |
| | | __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2); | |
| | | | |
| | | __isl_give isl_multi_aff *isl_multi_aff_align_params( | |
| | | __isl_take isl_multi_aff *multi, __isl_take isl_space *model); | |
| | | | |
| __isl_give isl_multi_aff *isl_multi_aff_gist_params( | | __isl_give isl_multi_aff *isl_multi_aff_gist_params( | |
| __isl_take isl_multi_aff *maff, __isl_take isl_set *context); | | __isl_take isl_multi_aff *maff, __isl_take isl_set *context); | |
| __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff
, | | __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff
, | |
| __isl_take isl_set *context); | | __isl_take isl_set *context); | |
| | | | |
| __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff
, | | __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff
, | |
| __isl_give isl_local_space **ls); | | __isl_give isl_local_space **ls); | |
| | | | |
|
| | | __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_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_ge_set(__isl_take isl_multi_aff *ma1, | |
| | | __isl_take isl_multi_aff *ma2); | |
| | | | |
| __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer
*p, | | __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer
*p, | |
| __isl_keep isl_multi_aff *maff); | | __isl_keep isl_multi_aff *maff); | |
| | | | |
| __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx, | | __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx, | |
| const char *str); | | const char *str); | |
| void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff); | | void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff); | |
| | | | |
|
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity( | |
| | | __isl_take isl_space *space); | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff( | |
| | | __isl_take isl_multi_aff *ma); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set
, | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set
, | |
| __isl_take isl_multi_aff *maff); | | __isl_take isl_multi_aff *maff); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy( | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy( | |
| __isl_keep isl_pw_multi_aff *pma); | | __isl_keep isl_pw_multi_aff *pma); | |
| void *isl_pw_multi_aff_free(__isl_take isl_pw_multi_aff *pma); | | void *isl_pw_multi_aff_free(__isl_take isl_pw_multi_aff *pma); | |
| | | | |
| unsigned isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma, | | unsigned isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
|
| | | __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_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_give isl_space *isl_pw_multi_aff_get_domain_space( | |
| __isl_keep isl_pw_multi_aff *pma); | | __isl_keep isl_pw_multi_aff *pma); | |
| __isl_give isl_space *isl_pw_multi_aff_get_space( | | __isl_give isl_space *isl_pw_multi_aff_get_space( | |
| __isl_keep isl_pw_multi_aff *pma); | | __isl_keep isl_pw_multi_aff *pma); | |
|
| | | int 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 *pm
a, | | const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pm
a, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| __isl_give isl_id *isl_pw_multi_aff_get_tuple_id( | | __isl_give isl_id *isl_pw_multi_aff_get_tuple_id( | |
| __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type); | | __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type); | |
| int isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma, | | int isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id( | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id( | |
| __isl_take isl_pw_multi_aff *pma, | | __isl_take isl_pw_multi_aff *pma, | |
| enum isl_dim_type type, __isl_take isl_id *id); | | enum isl_dim_type type, __isl_take isl_id *id); | |
| | | | |
|
| | | __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_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pm | |
| | | a); | |
| | | | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *s
pace); | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *s
pace); | |
|
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_domain( | |
| | | __isl_take isl_set *set); | |
| | | | |
| const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma, | | const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_id *isl_pw_multi_aff_get_dim_id( | | __isl_give isl_id *isl_pw_multi_aff_get_dim_id( | |
| __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type, | | __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type, | |
| unsigned pos); | | unsigned pos); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id( | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id( | |
| __isl_take isl_pw_multi_aff *pma, | | __isl_take isl_pw_multi_aff *pma, | |
| enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | | |
| int isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1, | | int isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1, | |
| __isl_keep isl_pw_multi_aff *pma2); | | __isl_keep isl_pw_multi_aff *pma2); | |
| | | | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add( | | __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_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2
); | |
| | | | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add( | | __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_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2
); | |
| | | | |
|
| | | __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_pw_multi_aff *isl_pw_multi_aff_range_product( | |
| | | __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 | |
| | | ); | |
| | | __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_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_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params( | | __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_take isl_pw_multi_aff *pma, __isl_take isl_set *set); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain( | | __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_take isl_pw_multi_aff *pma, __isl_take isl_set *set); | |
| | | | |
|
| | | __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_coalesce( | |
| | | __isl_take isl_pw_multi_aff *pma); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist_params( | | __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_take isl_pw_multi_aff *pma, __isl_take isl_set *set); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist( | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist( | |
| __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); | | __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); | |
| | | | |
|
| | | __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_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 | |
| | | ); | |
| | | | |
| int isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma, | | int isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma, | |
| int (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff, | | int (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff, | |
| void *user), void *user); | | void *user), void *user); | |
| | | | |
| __isl_give isl_map *isl_map_from_pw_multi_aff(__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_give isl_set *isl_set_from_pw_multi_aff(__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 isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_print
er *p, | | __isl_give isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_print
er *p, | |
| __isl_keep isl_pw_multi_aff *pma); | | __isl_keep isl_pw_multi_aff *pma); | |
| | | | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *
set); | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *
set); | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *
map); | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *
map); | |
| | | | |
| __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx, | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx, | |
| const char *str); | | const char *str); | |
| void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma); | | void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma); | |
| | | | |
|
| | | __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_domain( | |
| | | __isl_take isl_union_set *uset); | |
| | | __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_copy( | |
| | | __isl_keep isl_union_pw_multi_aff *upma); | |
| | | void *isl_union_pw_multi_aff_free(__isl_take isl_union_pw_multi_aff *upma); | |
| | | | |
| | | __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_give isl_space *isl_union_pw_multi_aff_get_space( | |
| | | __isl_keep isl_union_pw_multi_aff *upma); | |
| | | | |
| | | int isl_union_pw_multi_aff_foreach_pw_multi_aff( | |
| | | __isl_keep isl_union_pw_multi_aff *upma, | |
| | | int (*fn)(__isl_take isl_pw_multi_aff *pma, void *user), void *user) | |
| | | ; | |
| | | | |
| | | __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_add( | |
| | | __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_flat_range_produc | |
| | | t( | |
| | | __isl_take isl_union_pw_multi_aff *upma1, | |
| | | __isl_take isl_union_pw_multi_aff *upma2); | |
| | | | |
| | | __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_multi_pw_aff *isl_multi_pw_aff_zero(__isl_take isl_space *sp | |
| | | ace); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_identity( | |
| | | __isl_take isl_space *space); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff( | |
| | | __isl_take isl_pw_aff *pa); | |
| | | | |
| | | isl_ctx *isl_multi_pw_aff_get_ctx(__isl_keep isl_multi_pw_aff *mpa); | |
| | | __isl_give isl_space *isl_multi_pw_aff_get_space( | |
| | | __isl_keep isl_multi_pw_aff *mpa); | |
| | | __isl_give isl_space *isl_multi_pw_aff_get_domain_space( | |
| | | __isl_keep isl_multi_pw_aff *mpa); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_set_tuple_name( | |
| | | __isl_take isl_multi_pw_aff *mpa, | |
| | | enum isl_dim_type type, const char *s); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_copy( | |
| | | __isl_keep isl_multi_pw_aff *mpa); | |
| | | void *isl_multi_pw_aff_free(__isl_take isl_multi_pw_aff *mpa); | |
| | | | |
| | | unsigned isl_multi_pw_aff_dim(__isl_keep isl_multi_pw_aff *mpa, | |
| | | enum isl_dim_type type); | |
| | | __isl_give isl_pw_aff *isl_multi_pw_aff_get_pw_aff( | |
| | | __isl_keep isl_multi_pw_aff *mpa, int pos); | |
| | | | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_insert_dims( | |
| | | __isl_take isl_multi_pw_aff *mpa, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_add_dims( | |
| | | __isl_take isl_multi_pw_aff *mpa, enum isl_dim_type type, unsigned n | |
| | | ); | |
| | | | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_set_dim_name( | |
| | | __isl_take isl_multi_pw_aff *mpa, | |
| | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_range_splice( | |
| | | __isl_take isl_multi_pw_aff *mpa1, unsigned pos, | |
| | | __isl_take isl_multi_pw_aff *mpa2); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_splice( | |
| | | __isl_take isl_multi_pw_aff *mpa1, unsigned in_pos, unsigned out_pos | |
| | | , | |
| | | __isl_take isl_multi_pw_aff *mpa2); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_flat_range_product( | |
| | | __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2 | |
| | | ); | |
| | | __isl_give isl_multi_pw_aff *isl_multi_pw_aff_range_product( | |
| | | __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2 | |
| | | ); | |
| | | | |
| | | __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); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
| #include <isl/dim.h> | | #include <isl/dim.h> | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 26 change blocks. |
| 1 lines changed or deleted | | 233 lines changed or added | |
|
| ctx.h | | ctx.h | |
| /* | | /* | |
| * Copyright 2008-2009 Katholieke Universiteit Leuven | | * Copyright 2008-2009 Katholieke Universiteit Leuven | |
| * | | * | |
|
| * Use of this software is governed by the GNU LGPLv2.1 license | | * Use of this software is governed by the MIT license | |
| * | | * | |
| * Written by Sven Verdoolaege, K.U.Leuven, Departement | | * Written by Sven Verdoolaege, K.U.Leuven, Departement | |
| * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | | * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | |
| */ | | */ | |
| | | | |
| #ifndef ISL_CTX_H | | #ifndef ISL_CTX_H | |
| #define ISL_CTX_H | | #define ISL_CTX_H | |
| | | | |
| #include <stdio.h> | | #include <stdio.h> | |
| #include <stdlib.h> | | #include <stdlib.h> | |
| | | | |
| skipping to change at line 105 | | skipping to change at line 105 | |
| | | | |
| #define ISL_F_INIT(p, f) ISL_FL_INIT((p)->flags, f) /* Structure elemen
t flags. */ | | #define ISL_F_INIT(p, f) ISL_FL_INIT((p)->flags, f) /* Structure elemen
t flags. */ | |
| #define ISL_F_SET(p, f) ISL_FL_SET((p)->flags, f) | | #define ISL_F_SET(p, f) ISL_FL_SET((p)->flags, f) | |
| #define ISL_F_CLR(p, f) ISL_FL_CLR((p)->flags, f) | | #define ISL_F_CLR(p, f) ISL_FL_CLR((p)->flags, f) | |
| #define ISL_F_ISSET(p, f) ISL_FL_ISSET((p)->flags, f) | | #define ISL_F_ISSET(p, f) ISL_FL_ISSET((p)->flags, f) | |
| | | | |
| /* isl_check_ctx() checks at compile time if 'ctx' is of type 'isl_ctx *' a
nd | | /* isl_check_ctx() checks at compile time if 'ctx' is of type 'isl_ctx *' a
nd | |
| * returns the value of 'expr'. It is used to ensure, that always an isl_ct
x is | | * returns the value of 'expr'. It is used to ensure, that always an isl_ct
x is | |
| * passed to the following macros, even if they currently do not use it. | | * passed to the following macros, even if they currently do not use it. | |
| */ | | */ | |
|
| #define isl_check_ctx(ctx, expr) (ctx != (isl_ctx *) 0) ? expr : expr | | #define isl_check_ctx(ctx, expr) ((ctx != (isl_ctx *) 0) ? expr : exp
r) | |
| | | | |
|
| #define isl_alloc(ctx,type,size) isl_check_ctx(ctx, (type *)malloc(si | | #define isl_alloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\ | |
| ze)) | | malloc(size))) | |
| #define isl_calloc(ctx,type,size) isl_check_ctx(ctx, \ | | #define isl_calloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\ | |
| (type *)calloc(1, size)) | | calloc(1, size))) | |
| #define isl_realloc(ctx,ptr,type,size) isl_check_ctx(ctx, \ | | #define isl_realloc(ctx,ptr,type,size) ((type *)isl_check_ctx(ctx,\ | |
| (type *)realloc(ptr,size)) | | realloc(ptr,size))) | |
| #define isl_alloc_type(ctx,type) isl_alloc(ctx,type,sizeof(type)) | | #define isl_alloc_type(ctx,type) isl_alloc(ctx,type,sizeof(type)) | |
| #define isl_calloc_type(ctx,type) isl_calloc(ctx,type,sizeof(type)) | | #define isl_calloc_type(ctx,type) isl_calloc(ctx,type,sizeof(type)) | |
| #define isl_realloc_type(ctx,ptr,type) isl_realloc(ctx,ptr,type,sizeof(type
)) | | #define isl_realloc_type(ctx,ptr,type) isl_realloc(ctx,ptr,type,sizeof(type
)) | |
| #define isl_alloc_array(ctx,type,n) isl_alloc(ctx,type,(n)*sizeof(type)) | | #define isl_alloc_array(ctx,type,n) isl_alloc(ctx,type,(n)*sizeof(type)) | |
|
| #define isl_calloc_array(ctx,type,n) isl_check_ctx(ctx,\ | | #define isl_calloc_array(ctx,type,n) ((type *)isl_check_ctx(ctx,\ | |
| (type *)calloc(n, sizeof(typ | | calloc(n, sizeof(type)))) | |
| e))) | | | |
| #define isl_realloc_array(ctx,ptr,type,n) \ | | #define isl_realloc_array(ctx,ptr,type,n) \ | |
| isl_realloc(ctx,ptr,type,(n)*sizeof(type
)) | | isl_realloc(ctx,ptr,type,(n)*sizeof(type
)) | |
| | | | |
| #define isl_die(ctx,errno,msg,code) \ | | #define isl_die(ctx,errno,msg,code) \ | |
| do { \ | | do { \ | |
| isl_handle_error(ctx, errno, msg, __FILE__, __LINE__); \ | | isl_handle_error(ctx, errno, msg, __FILE__, __LINE__); \ | |
| code; \ | | code; \ | |
| } while (0) | | } while (0) | |
| | | | |
|
| void isl_handle_error(isl_ctx *ctx, int errno, const char *msg, | | void isl_handle_error(isl_ctx *ctx, enum isl_error error, const char *msg, | |
| const char *file, int line); | | const char *file, int line); | |
| | | | |
| #define isl_assert4(ctx,test,code,errno) \ | | #define isl_assert4(ctx,test,code,errno) \ | |
| do { \ | | do { \ | |
| if (test) \ | | if (test) \ | |
| break; \ | | break; \ | |
| isl_die(ctx, errno, "Assertion \"" #test "\" failed", code);
\ | | isl_die(ctx, errno, "Assertion \"" #test "\" failed", code);
\ | |
| } while (0) | | } while (0) | |
| #define isl_assert(ctx,test,code) \ | | #define isl_assert(ctx,test,code) \ | |
| isl_assert4(ctx,test,code,isl_error_unknown) | | isl_assert4(ctx,test,code,isl_error_unknown) | |
| | | | |
| skipping to change at line 192 | | skipping to change at line 193 | |
| st *options; \ | | st *options; \ | |
| options = isl_ctx_peek_ ## prefix(ctx); \ | | options = isl_ctx_peek_ ## prefix(ctx); \ | |
| if (!options) \ | | if (!options) \ | |
| isl_die(ctx, isl_error_invalid, \ | | isl_die(ctx, isl_error_invalid, \ | |
| "isl_ctx does not reference " #prefix, \ | | "isl_ctx does not reference " #prefix, \ | |
| return -1); \ | | return -1); \ | |
| options->field = val; \ | | options->field = val; \ | |
| return 0; \ | | return 0; \ | |
| } | | } | |
| | | | |
|
| | | #define ISL_CTX_GET_STR_DEF(prefix,st,args,field) \ | |
| | | const char *prefix ## _get_ ## field(isl_ctx *ctx) \ | |
| | | { \ | |
| | | st *options; \ | |
| | | options = isl_ctx_peek_ ## prefix(ctx); \ | |
| | | if (!options) \ | |
| | | isl_die(ctx, isl_error_invalid, \ | |
| | | "isl_ctx does not reference " #prefix, \ | |
| | | return NULL); \ | |
| | | return options->field; \ | |
| | | } | |
| | | | |
| | | #define ISL_CTX_SET_STR_DEF(prefix,st,args,field) \ | |
| | | int prefix ## _set_ ## field(isl_ctx *ctx, const char *val) \ | |
| | | { \ | |
| | | st *options; \ | |
| | | options = isl_ctx_peek_ ## prefix(ctx); \ | |
| | | if (!options) \ | |
| | | isl_die(ctx, isl_error_invalid, \ | |
| | | "isl_ctx does not reference " #prefix, \ | |
| | | return -1); \ | |
| | | if (!val) \ | |
| | | return -1; \ | |
| | | free(options->field); \ | |
| | | options->field = strdup(val); \ | |
| | | if (!options->field) \ | |
| | | return -1; \ | |
| | | return 0; \ | |
| | | } | |
| | | | |
| #define ISL_CTX_GET_BOOL_DEF(prefix,st,args,field) \ | | #define ISL_CTX_GET_BOOL_DEF(prefix,st,args,field) \ | |
| ISL_CTX_GET_INT_DEF(prefix,st,args,field) | | ISL_CTX_GET_INT_DEF(prefix,st,args,field) | |
| | | | |
| #define ISL_CTX_SET_BOOL_DEF(prefix,st,args,field) \ | | #define ISL_CTX_SET_BOOL_DEF(prefix,st,args,field) \ | |
| ISL_CTX_SET_INT_DEF(prefix,st,args,field) | | ISL_CTX_SET_INT_DEF(prefix,st,args,field) | |
| | | | |
| #define ISL_CTX_GET_CHOICE_DEF(prefix,st,args,field) \ | | #define ISL_CTX_GET_CHOICE_DEF(prefix,st,args,field) \ | |
| ISL_CTX_GET_INT_DEF(prefix,st,args,field) | | ISL_CTX_GET_INT_DEF(prefix,st,args,field) | |
| | | | |
| #define ISL_CTX_SET_CHOICE_DEF(prefix,st,args,field) \ | | #define ISL_CTX_SET_CHOICE_DEF(prefix,st,args,field) \ | |
| | | | |
End of changes. 6 change blocks. |
| 12 lines changed or deleted | | 41 lines changed or added | |
|
| int.h | | int.h | |
| /* | | /* | |
| * Copyright 2008-2009 Katholieke Universiteit Leuven | | * Copyright 2008-2009 Katholieke Universiteit Leuven | |
| * | | * | |
|
| * Use of this software is governed by the GNU LGPLv2.1 license | | * Use of this software is governed by the MIT license | |
| * | | * | |
| * Written by Sven Verdoolaege, K.U.Leuven, Departement | | * Written by Sven Verdoolaege, K.U.Leuven, Departement | |
| * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | | * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | |
| */ | | */ | |
| | | | |
| #ifndef ISL_INT_H | | #ifndef ISL_INT_H | |
| #define ISL_INT_H | | #define ISL_INT_H | |
| | | | |
| #include <isl/hash.h> | | #include <isl/hash.h> | |
| #include <string.h> | | #include <string.h> | |
| | | | |
| skipping to change at line 49 | | skipping to change at line 49 | |
| | | | |
| #define isl_int_set(r,i) mpz_set(r,i) | | #define isl_int_set(r,i) mpz_set(r,i) | |
| #define isl_int_set_gmp(r,i) mpz_set(r,i) | | #define isl_int_set_gmp(r,i) mpz_set(r,i) | |
| #define isl_int_set_si(r,i) mpz_set_si(r,i) | | #define isl_int_set_si(r,i) mpz_set_si(r,i) | |
| #define isl_int_set_ui(r,i) mpz_set_ui(r,i) | | #define isl_int_set_ui(r,i) mpz_set_ui(r,i) | |
| #define isl_int_get_gmp(i,g) mpz_set(g,i) | | #define isl_int_get_gmp(i,g) mpz_set(g,i) | |
| #define isl_int_get_si(r) mpz_get_si(r) | | #define isl_int_get_si(r) mpz_get_si(r) | |
| #define isl_int_get_ui(r) mpz_get_ui(r) | | #define isl_int_get_ui(r) mpz_get_ui(r) | |
| #define isl_int_get_d(r) mpz_get_d(r) | | #define isl_int_get_d(r) mpz_get_d(r) | |
| #define isl_int_get_str(r) mpz_get_str(0, 10, r) | | #define isl_int_get_str(r) mpz_get_str(0, 10, r) | |
|
| | | typedef void (*isl_int_print_gmp_free_t)(void *, size_t); | |
| | | #define isl_int_free_str(s) \ | |
| | | do { \ | |
| | | isl_int_print_gmp_free_t gmp_free; \ | |
| | | mp_get_memory_functions(NULL, NULL, &gmp_free); \ | |
| | | (*gmp_free)(s, strlen(s) + 1); \ | |
| | | } while (0) | |
| #define isl_int_abs(r,i) mpz_abs(r,i) | | #define isl_int_abs(r,i) mpz_abs(r,i) | |
| #define isl_int_neg(r,i) mpz_neg(r,i) | | #define isl_int_neg(r,i) mpz_neg(r,i) | |
| #define isl_int_swap(i,j) mpz_swap(i,j) | | #define isl_int_swap(i,j) mpz_swap(i,j) | |
| #define isl_int_swap_or_set(i,j) mpz_swap(i,j) | | #define isl_int_swap_or_set(i,j) mpz_swap(i,j) | |
| #define isl_int_add_ui(r,i,j) mpz_add_ui(r,i,j) | | #define isl_int_add_ui(r,i,j) mpz_add_ui(r,i,j) | |
| #define isl_int_sub_ui(r,i,j) mpz_sub_ui(r,i,j) | | #define isl_int_sub_ui(r,i,j) mpz_sub_ui(r,i,j) | |
| | | | |
| #define isl_int_add(r,i,j) mpz_add(r,i,j) | | #define isl_int_add(r,i,j) mpz_add(r,i,j) | |
| #define isl_int_sub(r,i,j) mpz_sub(r,i,j) | | #define isl_int_sub(r,i,j) mpz_sub(r,i,j) | |
| #define isl_int_mul(r,i,j) mpz_mul(r,i,j) | | #define isl_int_mul(r,i,j) mpz_mul(r,i,j) | |
| | | | |
| skipping to change at line 76 | | skipping to change at line 83 | |
| #define isl_int_lcm(r,i,j) mpz_lcm(r,i,j) | | #define isl_int_lcm(r,i,j) mpz_lcm(r,i,j) | |
| #define isl_int_divexact(r,i,j) mpz_divexact(r,i,j) | | #define isl_int_divexact(r,i,j) mpz_divexact(r,i,j) | |
| #define isl_int_divexact_ui(r,i,j) mpz_divexact_ui(r,i,j) | | #define isl_int_divexact_ui(r,i,j) mpz_divexact_ui(r,i,j) | |
| #define isl_int_tdiv_q(r,i,j) mpz_tdiv_q(r,i,j) | | #define isl_int_tdiv_q(r,i,j) mpz_tdiv_q(r,i,j) | |
| #define isl_int_cdiv_q(r,i,j) mpz_cdiv_q(r,i,j) | | #define isl_int_cdiv_q(r,i,j) mpz_cdiv_q(r,i,j) | |
| #define isl_int_fdiv_q(r,i,j) mpz_fdiv_q(r,i,j) | | #define isl_int_fdiv_q(r,i,j) mpz_fdiv_q(r,i,j) | |
| #define isl_int_fdiv_r(r,i,j) mpz_fdiv_r(r,i,j) | | #define isl_int_fdiv_r(r,i,j) mpz_fdiv_r(r,i,j) | |
| #define isl_int_fdiv_q_ui(r,i,j) mpz_fdiv_q_ui(r,i,j) | | #define isl_int_fdiv_q_ui(r,i,j) mpz_fdiv_q_ui(r,i,j) | |
| | | | |
| #define isl_int_read(r,s) mpz_set_str(r,s,10) | | #define isl_int_read(r,s) mpz_set_str(r,s,10) | |
|
| typedef void (*isl_int_print_gmp_free_t)(void *, size_t); | | | |
| #define isl_int_print(out,i,width) \ | | #define isl_int_print(out,i,width) \ | |
| do { \ | | do { \ | |
| char *s; \ | | char *s; \ | |
|
| isl_int_print_gmp_free_t gmp_free; \ | | | |
| s = mpz_get_str(0, 10, i); \ | | s = mpz_get_str(0, 10, i); \ | |
| fprintf(out, "%*s", width, s); \ | | fprintf(out, "%*s", width, s); \ | |
|
| mp_get_memory_functions(NULL, NULL, &gmp_free); \ | | isl_int_free_str(s); | |
| (*gmp_free)(s, strlen(s)+1); \ | | \ | |
| } while (0) | | } while (0) | |
| | | | |
| #define isl_int_sgn(i) mpz_sgn(i) | | #define isl_int_sgn(i) mpz_sgn(i) | |
| #define isl_int_cmp(i,j) mpz_cmp(i,j) | | #define isl_int_cmp(i,j) mpz_cmp(i,j) | |
| #define isl_int_cmp_si(i,si) mpz_cmp_si(i,si) | | #define isl_int_cmp_si(i,si) mpz_cmp_si(i,si) | |
| #define isl_int_eq(i,j) (mpz_cmp(i,j) == 0) | | #define isl_int_eq(i,j) (mpz_cmp(i,j) == 0) | |
| #define isl_int_ne(i,j) (mpz_cmp(i,j) != 0) | | #define isl_int_ne(i,j) (mpz_cmp(i,j) != 0) | |
| #define isl_int_lt(i,j) (mpz_cmp(i,j) < 0) | | #define isl_int_lt(i,j) (mpz_cmp(i,j) < 0) | |
| #define isl_int_le(i,j) (mpz_cmp(i,j) <= 0) | | #define isl_int_le(i,j) (mpz_cmp(i,j) <= 0) | |
| #define isl_int_gt(i,j) (mpz_cmp(i,j) > 0) | | #define isl_int_gt(i,j) (mpz_cmp(i,j) > 0) | |
| | | | |
| skipping to change at line 124 | | skipping to change at line 128 | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| extern "C" { typedef void (*isl_gmp_free_t)(void *, size_t); } | | extern "C" { typedef void (*isl_gmp_free_t)(void *, size_t); } | |
| | | | |
| static inline std::ostream &operator<<(std::ostream &os, isl_int i) | | static inline std::ostream &operator<<(std::ostream &os, isl_int i) | |
| { | | { | |
| char *s; | | char *s; | |
|
| isl_gmp_free_t gmp_free; | | | |
| s = mpz_get_str(0, 10, i); | | s = mpz_get_str(0, 10, i); | |
| os << s; | | os << s; | |
|
| mp_get_memory_functions(NULL, NULL, &gmp_free); | | isl_int_free_str(s); | |
| (*gmp_free)(s, strlen(s)+1); | | | |
| return os; | | return os; | |
| } | | } | |
| #endif | | #endif | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 7 change blocks. |
| 8 lines changed or deleted | | 11 lines changed or added | |
|
| map.h | | map.h | |
| /* | | /* | |
| * Copyright 2008-2009 Katholieke Universiteit Leuven | | * Copyright 2008-2009 Katholieke Universiteit Leuven | |
| * | | * | |
|
| * Use of this software is governed by the GNU LGPLv2.1 license | | * Use of this software is governed by the MIT license | |
| * | | * | |
| * Written by Sven Verdoolaege, K.U.Leuven, Departement | | * Written by Sven Verdoolaege, K.U.Leuven, Departement | |
| * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | | * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | |
| */ | | */ | |
| | | | |
| #ifndef ISL_MAP_H | | #ifndef ISL_MAP_H | |
| #define ISL_MAP_H | | #define ISL_MAP_H | |
| | | | |
| #include <stdio.h> | | #include <stdio.h> | |
| | | | |
| | | | |
| skipping to change at line 73 | | skipping to change at line 73 | |
| __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, | | __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, | |
| int pos); | | int pos); | |
| | | | |
| __isl_give isl_local_space *isl_basic_map_get_local_space( | | __isl_give isl_local_space *isl_basic_map_get_local_space( | |
| __isl_keep isl_basic_map *bmap); | | __isl_keep isl_basic_map *bmap); | |
| | | | |
| __isl_give isl_basic_map *isl_basic_map_set_tuple_name( | | __isl_give isl_basic_map *isl_basic_map_set_tuple_name( | |
| __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *
s); | | __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *
s); | |
| const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap, | | const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
|
| | | int isl_map_has_tuple_name(__isl_keep isl_map *map, enum isl_dim_type type)
; | |
| const char *isl_map_get_tuple_name(__isl_keep isl_map *map, | | const char *isl_map_get_tuple_name(__isl_keep isl_map *map, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| __isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map, | |
| enum isl_dim_type type, const char *s); | | enum isl_dim_type type, const char *s); | |
| const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap, | | const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
|
| | | int isl_map_has_dim_name(__isl_keep isl_map *map, | |
| | | enum isl_dim_type type, unsigned pos); | |
| const char *isl_map_get_dim_name(__isl_keep isl_map *map, | | const char *isl_map_get_dim_name(__isl_keep isl_map *map, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_basic_map *isl_basic_map_set_dim_name( | | __isl_give isl_basic_map *isl_basic_map_set_dim_name( | |
| __isl_take isl_basic_map *bmap, | | __isl_take isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| __isl_give isl_map *isl_map_set_dim_name(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_set_dim_name(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
| __isl_give isl_map *isl_map_set_dim_id(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_set_dim_id(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | | |
| skipping to change at line 116 | | skipping to change at line 119 | |
| const char *name); | | const char *name); | |
| | | | |
| int isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap); | |
| | | | |
| struct isl_basic_map *isl_basic_map_alloc(struct isl_ctx *ctx, | | struct isl_basic_map *isl_basic_map_alloc(struct isl_ctx *ctx, | |
| unsigned nparam, unsigned in, unsigned out, unsigned extra, | | unsigned nparam, unsigned in, unsigned out, unsigned extra, | |
| unsigned n_eq, unsigned n_ineq); | | unsigned n_eq, unsigned n_ineq); | |
| __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *dim)
; | | __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *dim)
; | |
| struct isl_basic_map *isl_basic_map_identity_like(struct isl_basic_map *mod
el); | | struct isl_basic_map *isl_basic_map_identity_like(struct isl_basic_map *mod
el); | |
| struct isl_basic_map *isl_basic_map_finalize(struct isl_basic_map *bmap); | | struct isl_basic_map *isl_basic_map_finalize(struct isl_basic_map *bmap); | |
|
| void isl_basic_map_free(__isl_take isl_basic_map *bmap); | | void *isl_basic_map_free(__isl_take isl_basic_map *bmap); | |
| __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap
); | | __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap
); | |
| struct isl_basic_map *isl_basic_map_extend(struct isl_basic_map *base, | | struct isl_basic_map *isl_basic_map_extend(struct isl_basic_map *base, | |
| unsigned nparam, unsigned n_in, unsigned n_out, unsigned ext
ra, | | unsigned nparam, unsigned n_in, unsigned n_out, unsigned ext
ra, | |
| unsigned n_eq, unsigned n_ineq); | | unsigned n_eq, unsigned n_ineq); | |
| struct isl_basic_map *isl_basic_map_extend_constraints( | | struct isl_basic_map *isl_basic_map_extend_constraints( | |
| struct isl_basic_map *base, unsigned n_eq, unsigned n_ineq); | | struct isl_basic_map *base, unsigned n_eq, unsigned n_ineq); | |
| __isl_give isl_basic_map *isl_basic_map_equal( | | __isl_give isl_basic_map *isl_basic_map_equal( | |
| __isl_take isl_space *dim, unsigned n_equal); | | __isl_take isl_space *dim, unsigned n_equal); | |
| __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *dim, | | __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *dim, | |
| unsigned pos); | | unsigned pos); | |
| | | | |
| skipping to change at line 140 | | skipping to change at line 143 | |
| struct isl_basic_map *isl_basic_map_empty_like(struct isl_basic_map *model)
; | | struct isl_basic_map *isl_basic_map_empty_like(struct isl_basic_map *model)
; | |
| struct isl_basic_map *isl_basic_map_empty_like_map(struct isl_map *model); | | struct isl_basic_map *isl_basic_map_empty_like_map(struct isl_map *model); | |
| __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *dim)
; | | __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *dim)
; | |
| __isl_give isl_basic_map *isl_basic_map_nat_universe(__isl_take isl_space *
dim); | | __isl_give isl_basic_map *isl_basic_map_nat_universe(__isl_take isl_space *
dim); | |
| __isl_give isl_basic_map *isl_basic_map_universe_like( | | __isl_give isl_basic_map *isl_basic_map_universe_like( | |
| __isl_keep isl_basic_map *bmap); | | __isl_keep isl_basic_map *bmap); | |
| __isl_give isl_basic_map *isl_basic_map_remove_redundancies( | | __isl_give isl_basic_map *isl_basic_map_remove_redundancies( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
| __isl_give isl_map *isl_map_remove_redundancies(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_remove_redundancies(__isl_take isl_map *map); | |
| __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map); | | __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map); | |
|
| | | __isl_give isl_basic_map *isl_map_unshifted_simple_hull( | |
| | | __isl_take isl_map *map); | |
| | | | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_intersect_domain( | | __isl_give isl_basic_map *isl_basic_map_intersect_domain( | |
| __isl_take isl_basic_map *bmap, | | __isl_take isl_basic_map *bmap, | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_intersect_range( | | __isl_give isl_basic_map *isl_basic_map_intersect_range( | |
| __isl_take isl_basic_map *bmap, | | __isl_take isl_basic_map *bmap, | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| __isl_export | | __isl_export | |
| | | | |
| skipping to change at line 214 | | skipping to change at line 219 | |
| unsigned output_format); | | unsigned output_format); | |
| __isl_give isl_printer *isl_printer_print_basic_map( | | __isl_give isl_printer *isl_printer_print_basic_map( | |
| __isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap); | | __isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap); | |
| __isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *print
er, | | __isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *print
er, | |
| __isl_keep isl_map *map); | | __isl_keep isl_map *map); | |
| __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bm
ap, | | __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bm
ap, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
| __isl_give isl_basic_map *isl_basic_map_lower_bound_si( | | __isl_give isl_basic_map *isl_basic_map_lower_bound_si( | |
| __isl_take isl_basic_map *bmap, | | __isl_take isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
|
| | | __isl_give isl_basic_map *isl_basic_map_upper_bound_si( | |
| | | __isl_take isl_basic_map *bmap, | |
| | | enum isl_dim_type type, unsigned pos, int value); | |
| | | | |
| struct isl_basic_map *isl_basic_map_sum( | | struct isl_basic_map *isl_basic_map_sum( | |
| struct isl_basic_map *bmap1, struct isl_basic_map *bmap2); | | struct isl_basic_map *bmap1, struct isl_basic_map *bmap2); | |
| struct isl_basic_map *isl_basic_map_neg(struct isl_basic_map *bmap); | | struct isl_basic_map *isl_basic_map_neg(struct isl_basic_map *bmap); | |
| struct isl_basic_map *isl_basic_map_floordiv(struct isl_basic_map *bmap, | | struct isl_basic_map *isl_basic_map_floordiv(struct isl_basic_map *bmap, | |
| isl_int d); | | isl_int d); | |
| | | | |
| struct isl_map *isl_map_sum(struct isl_map *map1, struct isl_map *map2); | | struct isl_map *isl_map_sum(struct isl_map *map1, struct isl_map *map2); | |
| struct isl_map *isl_map_neg(struct isl_map *map); | | struct isl_map *isl_map_neg(struct isl_map *map); | |
| struct isl_map *isl_map_floordiv(struct isl_map *map, isl_int d); | | struct isl_map *isl_map_floordiv(struct isl_map *map, isl_int d); | |
| | | | |
| skipping to change at line 258 | | skipping to change at line 266 | |
| __isl_export | | __isl_export | |
| __isl_give isl_map *isl_map_lexmax(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_lexmax(__isl_take isl_map *map); | |
| __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmin_pw_multi_aff( | | __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmin_pw_multi_aff( | |
| __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, | | __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmax_pw_multi_aff( | | __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmax_pw_multi_aff( | |
| __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, | | __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_pw_multi_aff *isl_basic_map_lexmin_pw_multi_aff( | | __isl_give isl_pw_multi_aff *isl_basic_map_lexmin_pw_multi_aff( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
|
| | | __isl_give isl_pw_multi_aff *isl_map_lexmin_pw_multi_aff( | |
| | | __isl_take isl_map *map); | |
| | | __isl_give isl_pw_multi_aff *isl_map_lexmax_pw_multi_aff( | |
| | | __isl_take isl_map *map); | |
| | | | |
| void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, | | void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, | |
| FILE *out, int indent); | | FILE *out, int indent); | |
| | | | |
| struct isl_basic_map *isl_map_copy_basic_map(struct isl_map *map); | | struct isl_basic_map *isl_map_copy_basic_map(struct isl_map *map); | |
| __isl_give isl_map *isl_map_drop_basic_map(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_drop_basic_map(__isl_take isl_map *map, | |
| __isl_keep isl_basic_map *bm
ap); | | __isl_keep isl_basic_map *bm
ap); | |
| | | | |
| int isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap, | | int isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned pos, isl_int *val); | | enum isl_dim_type type, unsigned pos, isl_int *val); | |
| | | | |
| int isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap); | |
| int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap); | |
| int isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap); | |
| int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap); | |
| __isl_export | | __isl_export | |
| int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap); | |
|
| | | __isl_export | |
| int isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1, | | int isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1, | |
| __isl_keep isl_basic_map *bmap2); | | __isl_keep isl_basic_map *bmap2); | |
| int isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1, | | int isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1, | |
| __isl_keep isl_basic_map *bmap2); | | __isl_keep isl_basic_map *bmap2); | |
| | | | |
| struct isl_map *isl_map_alloc(struct isl_ctx *ctx, | | struct isl_map *isl_map_alloc(struct isl_ctx *ctx, | |
| unsigned nparam, unsigned in, unsigned out, int n, | | unsigned nparam, unsigned in, unsigned out, int n, | |
| unsigned flags); | | unsigned flags); | |
| __isl_give isl_map *isl_map_universe(__isl_take isl_space *dim); | | __isl_give isl_map *isl_map_universe(__isl_take isl_space *dim); | |
| __isl_give isl_map *isl_map_nat_universe(__isl_take isl_space *dim); | | __isl_give isl_map *isl_map_nat_universe(__isl_take isl_space *dim); | |
| | | | |
| skipping to change at line 303 | | skipping to change at line 316 | |
| struct isl_map *isl_map_identity_like_basic_map(struct isl_basic_map *model
); | | struct isl_map *isl_map_identity_like_basic_map(struct isl_basic_map *model
); | |
| __isl_give isl_map *isl_map_lex_lt_first(__isl_take isl_space *dim, unsigne
d n); | | __isl_give isl_map *isl_map_lex_lt_first(__isl_take isl_space *dim, unsigne
d n); | |
| __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_space *dim, unsigne
d n); | | __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_space *dim, unsigne
d n); | |
| __isl_give isl_map *isl_map_lex_lt(__isl_take isl_space *set_dim); | | __isl_give isl_map *isl_map_lex_lt(__isl_take isl_space *set_dim); | |
| __isl_give isl_map *isl_map_lex_le(__isl_take isl_space *set_dim); | | __isl_give isl_map *isl_map_lex_le(__isl_take isl_space *set_dim); | |
| __isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_space *dim, unsigne
d n); | | __isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_space *dim, unsigne
d n); | |
| __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_space *dim, unsigne
d n); | | __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_space *dim, unsigne
d n); | |
| __isl_give isl_map *isl_map_lex_gt(__isl_take isl_space *set_dim); | | __isl_give isl_map *isl_map_lex_gt(__isl_take isl_space *set_dim); | |
| __isl_give isl_map *isl_map_lex_ge(__isl_take isl_space *set_dim); | | __isl_give isl_map *isl_map_lex_ge(__isl_take isl_space *set_dim); | |
| struct isl_map *isl_map_finalize(struct isl_map *map); | | struct isl_map *isl_map_finalize(struct isl_map *map); | |
|
| void isl_map_free(__isl_take isl_map *map); | | void *isl_map_free(__isl_take isl_map *map); | |
| __isl_give isl_map *isl_map_copy(__isl_keep isl_map *map); | | __isl_give isl_map *isl_map_copy(__isl_keep isl_map *map); | |
| struct isl_map *isl_map_extend(struct isl_map *base, | | struct isl_map *isl_map_extend(struct isl_map *base, | |
| unsigned nparam, unsigned n_in, unsigned n_out); | | unsigned nparam, unsigned n_in, unsigned n_out); | |
| __isl_export | | __isl_export | |
| __isl_give isl_map *isl_map_reverse(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_reverse(__isl_take isl_map *map); | |
| __isl_export | | __isl_export | |
| __isl_give isl_map *isl_map_union( | | __isl_give isl_map *isl_map_union( | |
| __isl_take isl_map *map1, | | __isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| struct isl_map *isl_map_union_disjoint( | | struct isl_map *isl_map_union_disjoint( | |
| | | | |
| skipping to change at line 331 | | skipping to change at line 344 | |
| __isl_take isl_map *map, | | __isl_take isl_map *map, | |
| __isl_take isl_set *set); | | __isl_take isl_set *set); | |
| __isl_export | | __isl_export | |
| __isl_give isl_map *isl_map_apply_domain( | | __isl_give isl_map *isl_map_apply_domain( | |
| __isl_take isl_map *map1, | | __isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_map *isl_map_apply_range( | | __isl_give isl_map *isl_map_apply_range( | |
| __isl_take isl_map *map1, | | __isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
|
| | | __isl_give isl_basic_map *isl_basic_map_product( | |
| | | __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); | |
| __isl_give isl_map *isl_map_product(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_product(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_basic_map *isl_basic_map_domain_product( | | __isl_give isl_basic_map *isl_basic_map_domain_product( | |
| __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); | | __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); | |
| __isl_give isl_basic_map *isl_basic_map_range_product( | | __isl_give isl_basic_map *isl_basic_map_range_product( | |
| __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); | | __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); | |
| __isl_give isl_map *isl_map_domain_product(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_domain_product(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| | | | |
| skipping to change at line 365 | | skipping to change at line 380 | |
| __isl_give isl_map *isl_map_intersect_params(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_intersect_params(__isl_take isl_map *map, | |
| __isl_take isl_set *params); | | __isl_take isl_set *params); | |
| __isl_export | | __isl_export | |
| __isl_give isl_map *isl_map_subtract( | | __isl_give isl_map *isl_map_subtract( | |
| __isl_take isl_map *map1, | | __isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_subtract_domain(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_subtract_domain(__isl_take isl_map *map, | |
| __isl_take isl_set *dom); | | __isl_take isl_set *dom); | |
| __isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map, | |
| __isl_take isl_set *dom); | | __isl_take isl_set *dom); | |
|
| | | __isl_export | |
| | | __isl_give isl_map *isl_map_complement(__isl_take isl_map *map); | |
| struct isl_map *isl_map_fix_input_si(struct isl_map *map, | | struct isl_map *isl_map_fix_input_si(struct isl_map *map, | |
| unsigned input, int value); | | unsigned input, int value); | |
|
| | | __isl_give isl_map *isl_map_fix(__isl_take isl_map *map, | |
| | | enum isl_dim_type type, unsigned pos, isl_int value); | |
| __isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
| __isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
| __isl_give isl_map *isl_map_upper_bound_si(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_upper_bound_si(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bm
ap); | | __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bm
ap); | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map); | | __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map); | |
| | | | |
| skipping to change at line 391 | | skipping to change at line 410 | |
| __isl_give isl_map *isl_map_detect_equalities(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_detect_equalities(__isl_take isl_map *map); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_map *isl_map_affine_hull(__isl_take isl_map *map); | | __isl_give isl_basic_map *isl_map_affine_hull(__isl_take isl_map *map); | |
| __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map); | | __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map); | | __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map); | |
| __isl_give isl_basic_map *isl_basic_map_add(__isl_take isl_basic_map *bmap, | | __isl_give isl_basic_map *isl_basic_map_add(__isl_take isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned n); | | enum isl_dim_type type, unsigned n); | |
| __isl_give isl_map *isl_map_add_dims(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_add_dims(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned n); | | enum isl_dim_type type, unsigned n); | |
|
| | | __isl_give isl_basic_map *isl_basic_map_insert_dims( | |
| | | __isl_take isl_basic_map *bmap, enum isl_dim_type type, | |
| | | unsigned pos, unsigned n); | |
| __isl_give isl_map *isl_map_insert_dims(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_insert_dims(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned pos, unsigned n); | | enum isl_dim_type type, unsigned pos, unsigned n); | |
| __isl_give isl_basic_map *isl_basic_map_move_dims( | | __isl_give isl_basic_map *isl_basic_map_move_dims( | |
| __isl_take isl_basic_map *bmap, | | __isl_take isl_basic_map *bmap, | |
| enum isl_dim_type dst_type, unsigned dst_pos, | | enum isl_dim_type dst_type, unsigned dst_pos, | |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); | | enum isl_dim_type src_type, unsigned src_pos, unsigned n); | |
| __isl_give isl_map *isl_map_move_dims(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_move_dims(__isl_take isl_map *map, | |
| enum isl_dim_type dst_type, unsigned dst_pos, | | enum isl_dim_type dst_type, unsigned dst_pos, | |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); | | enum isl_dim_type src_type, unsigned src_pos, unsigned n); | |
| __isl_give isl_basic_map *isl_basic_map_project_out( | | __isl_give isl_basic_map *isl_basic_map_project_out( | |
| __isl_take isl_basic_map *bmap, | | __isl_take isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_map *isl_map_project_out(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_project_out(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_basic_map *isl_basic_map_remove_divs( | | __isl_give isl_basic_map *isl_basic_map_remove_divs( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
|
| | | __isl_give isl_map *isl_map_remove_unknown_divs(__isl_take isl_map *map); | |
| __isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map); | |
| __isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
|
| | | __isl_give isl_basic_map *isl_basic_map_remove_divs_involving_dims( | |
| | | __isl_take isl_basic_map *bmap, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | __isl_give isl_map *isl_map_remove_divs_involving_dims(__isl_take isl_map * | |
| | | map, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| struct isl_map *isl_map_remove_inputs(struct isl_map *map, | | struct isl_map *isl_map_remove_inputs(struct isl_map *map, | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| | | | |
|
| | | __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bm | |
| | | ap, | |
| | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 | |
| | | ); | |
| | | __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map * | |
| | | bmap, | |
| | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 | |
| | | ); | |
| __isl_give isl_map *isl_map_equate(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_equate(__isl_take isl_map *map, | |
| enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2
); | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2
); | |
| __isl_give isl_map *isl_map_oppose(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_oppose(__isl_take isl_map *map, | |
| enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2
); | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2
); | |
|
| | | __isl_give isl_map *isl_map_order_lt(__isl_take isl_map *map, | |
| | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 | |
| | | ); | |
| | | __isl_give isl_map *isl_map_order_gt(__isl_take isl_map *map, | |
| | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 | |
| | | ); | |
| | | | |
| __isl_export | | __isl_export | |
| __isl_give isl_map *isl_set_identity(__isl_take isl_set *set); | | __isl_give isl_map *isl_set_identity(__isl_take isl_set *set); | |
| | | | |
| __isl_export | | __isl_export | |
| int isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset); | | int isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset); | |
| __isl_export | | __isl_export | |
| int isl_set_is_wrapping(__isl_keep isl_set *set); | | int isl_set_is_wrapping(__isl_keep isl_set *set); | |
| __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap
); | | __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap
); | |
| __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map); | | __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map); | |
| | | | |
| skipping to change at line 485 | | skipping to change at line 521 | |
| int isl_map_plain_is_universe(__isl_keep isl_map *map); | | int isl_map_plain_is_universe(__isl_keep isl_map *map); | |
| __isl_export | | __isl_export | |
| int isl_map_is_empty(__isl_keep isl_map *map); | | int isl_map_is_empty(__isl_keep isl_map *map); | |
| __isl_export | | __isl_export | |
| int isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2); | | int isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2); | |
| __isl_export | | __isl_export | |
| int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *
map2); | | int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *
map2); | |
| __isl_export | | __isl_export | |
| int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2); | | int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2); | |
| __isl_export | | __isl_export | |
|
| | | int isl_map_is_disjoint(__isl_keep isl_map *map1, __isl_keep isl_map *map2) | |
| | | ; | |
| | | int isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap); | |
| | | int isl_map_plain_is_single_valued(__isl_keep isl_map *map); | |
| | | __isl_export | |
| int isl_map_is_single_valued(__isl_keep isl_map *map); | | int isl_map_is_single_valued(__isl_keep isl_map *map); | |
| int isl_map_plain_is_injective(__isl_keep isl_map *map); | | int isl_map_plain_is_injective(__isl_keep isl_map *map); | |
| __isl_export | | __isl_export | |
| int isl_map_is_injective(__isl_keep isl_map *map); | | int isl_map_is_injective(__isl_keep isl_map *map); | |
| __isl_export | | __isl_export | |
| int isl_map_is_bijective(__isl_keep isl_map *map); | | int isl_map_is_bijective(__isl_keep isl_map *map); | |
| int isl_map_is_translation(__isl_keep isl_map *map); | | int isl_map_is_translation(__isl_keep isl_map *map); | |
| int isl_map_has_equal_space(__isl_keep isl_map *map1, __isl_keep isl_map *m
ap2); | | int isl_map_has_equal_space(__isl_keep isl_map *map1, __isl_keep isl_map *m
ap2); | |
| | | | |
| int isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap); | |
| int isl_map_can_zip(__isl_keep isl_map *map); | | int isl_map_can_zip(__isl_keep isl_map *map); | |
| __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap)
; | | __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap)
; | |
| __isl_give isl_map *isl_map_zip(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_zip(__isl_take isl_map *map); | |
| | | | |
|
| | | int isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap); | |
| | | int isl_map_can_curry(__isl_keep isl_map *map); | |
| | | __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bma | |
| | | p); | |
| | | __isl_give isl_map *isl_map_curry(__isl_take isl_map *map); | |
| | | | |
| | | int isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap); | |
| | | int isl_map_can_uncurry(__isl_keep isl_map *map); | |
| | | __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *b | |
| | | map); | |
| | | __isl_give isl_map *isl_map_uncurry(__isl_take isl_map *map); | |
| | | | |
| __isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map); | |
| __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bm
ap); | | __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bm
ap); | |
| __isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map); | |
| __isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map); | |
| | | | |
|
| | | __isl_give isl_map *isl_map_drop_constraints_involving_dims( | |
| | | __isl_take isl_map *map, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| int isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, | | int isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| int isl_map_involves_dims(__isl_keep isl_map *map, | | int isl_map_involves_dims(__isl_keep isl_map *map, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent)
; | | void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent)
; | |
| | | | |
| int isl_map_plain_input_is_fixed(__isl_keep isl_map *map, | | int isl_map_plain_input_is_fixed(__isl_keep isl_map *map, | |
| unsigned in, isl_int *val); | | unsigned in, isl_int *val); | |
| int isl_map_plain_is_fixed(__isl_keep isl_map *map, | | int isl_map_plain_is_fixed(__isl_keep isl_map *map, | |
| | | | |
| skipping to change at line 548 | | skipping to change at line 602 | |
| int isl_map_fast_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map
2); | | int isl_map_fast_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map
2); | |
| | | | |
| uint32_t isl_map_get_hash(__isl_keep isl_map *map); | | uint32_t isl_map_get_hash(__isl_keep isl_map *map); | |
| | | | |
| __isl_export | | __isl_export | |
| int isl_map_foreach_basic_map(__isl_keep isl_map *map, | | int isl_map_foreach_basic_map(__isl_keep isl_map *map, | |
| int (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user); | | int (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user); | |
| | | | |
| __isl_give isl_map *isl_set_lifting(__isl_take isl_set *set); | | __isl_give isl_map *isl_set_lifting(__isl_take isl_set *set); | |
| | | | |
|
| | | __isl_give isl_map *isl_map_fixed_power(__isl_take isl_map *map, isl_int ex
p); | |
| __isl_give isl_map *isl_map_power(__isl_take isl_map *map, int *exact); | | __isl_give isl_map *isl_map_power(__isl_take isl_map *map, int *exact); | |
| __isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map, | |
| int *exact); | | int *exact); | |
| __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map, | |
| int *exact); | | int *exact); | |
| | | | |
| __isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_lex_gt_map(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_lex_gt_map(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| | | | |
|
| | | __isl_give isl_basic_map *isl_basic_map_align_params( | |
| | | __isl_take isl_basic_map *bmap, __isl_take isl_space *model); | |
| __isl_give isl_map *isl_map_align_params(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_align_params(__isl_take isl_map *map, | |
| __isl_take isl_space *model); | | __isl_take isl_space *model); | |
| | | | |
| __isl_give isl_mat *isl_basic_map_equalities_matrix( | | __isl_give isl_mat *isl_basic_map_equalities_matrix( | |
| __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, | | __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, | |
| enum isl_dim_type c2, enum isl_dim_type c3, | | enum isl_dim_type c2, enum isl_dim_type c3, | |
| enum isl_dim_type c4, enum isl_dim_type c5); | | enum isl_dim_type c4, enum isl_dim_type c5); | |
| __isl_give isl_mat *isl_basic_map_inequalities_matrix( | | __isl_give isl_mat *isl_basic_map_inequalities_matrix( | |
| __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, | | __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, | |
| enum isl_dim_type c2, enum isl_dim_type c3, | | enum isl_dim_type c2, enum isl_dim_type c3, | |
| | | | |
| skipping to change at line 586 | | skipping to change at line 643 | |
| __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type
c1, | | __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type
c1, | |
| enum isl_dim_type c2, enum isl_dim_type c3, | | enum isl_dim_type c2, enum isl_dim_type c3, | |
| enum isl_dim_type c4, enum isl_dim_type c5); | | enum isl_dim_type c4, enum isl_dim_type c5); | |
| | | | |
| __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff); | | __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff); | |
| __isl_give isl_basic_map *isl_basic_map_from_multi_aff( | | __isl_give isl_basic_map *isl_basic_map_from_multi_aff( | |
| __isl_take isl_multi_aff *maff); | | __isl_take isl_multi_aff *maff); | |
| __isl_give isl_basic_map *isl_basic_map_from_aff_list( | | __isl_give isl_basic_map *isl_basic_map_from_aff_list( | |
| __isl_take isl_space *domain_dim, __isl_take isl_aff_list *list); | | __isl_take isl_space *domain_dim, __isl_take isl_aff_list *list); | |
| | | | |
|
| | | __isl_give isl_map *isl_map_from_aff(__isl_take isl_aff *aff); | |
| | | __isl_give isl_map *isl_map_from_multi_aff(__isl_take isl_multi_aff *maff); | |
| | | | |
| __isl_give isl_pw_aff *isl_map_dim_max(__isl_take isl_map *map, int pos); | | __isl_give isl_pw_aff *isl_map_dim_max(__isl_take isl_map *map, int pos); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
| #include <isl/dim.h> | | #include <isl/dim.h> | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 23 change blocks. |
| 3 lines changed or deleted | | 73 lines changed or added | |
|
| set.h | | set.h | |
| /* | | /* | |
| * Copyright 2008-2009 Katholieke Universiteit Leuven | | * Copyright 2008-2009 Katholieke Universiteit Leuven | |
| * | | * | |
|
| * Use of this software is governed by the GNU LGPLv2.1 license | | * Use of this software is governed by the MIT license | |
| * | | * | |
| * Written by Sven Verdoolaege, K.U.Leuven, Departement | | * Written by Sven Verdoolaege, K.U.Leuven, Departement | |
| * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | | * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | |
| */ | | */ | |
| | | | |
| #ifndef ISL_SET_H | | #ifndef ISL_SET_H | |
| #define ISL_SET_H | | #define ISL_SET_H | |
| | | | |
| #include <isl/map_type.h> | | #include <isl/map_type.h> | |
| #include <isl/aff_type.h> | | #include <isl/aff_type.h> | |
| | | | |
| skipping to change at line 48 | | skipping to change at line 48 | |
| __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set, | |
| __isl_take isl_space *dim); | | __isl_take isl_space *dim); | |
| | | | |
| __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset, | | __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset, | |
| int pos); | | int pos); | |
| | | | |
| __isl_give isl_local_space *isl_basic_set_get_local_space( | | __isl_give isl_local_space *isl_basic_set_get_local_space( | |
| __isl_keep isl_basic_set *bset); | | __isl_keep isl_basic_set *bset); | |
| | | | |
| const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset); | | const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset); | |
|
| | | int isl_set_has_tuple_name(__isl_keep isl_set *set); | |
| const char *isl_set_get_tuple_name(__isl_keep isl_set *set); | | const char *isl_set_get_tuple_name(__isl_keep isl_set *set); | |
| __isl_give isl_basic_set *isl_basic_set_set_tuple_name( | | __isl_give isl_basic_set *isl_basic_set_set_tuple_name( | |
| __isl_take isl_basic_set *set, const char *s); | | __isl_take isl_basic_set *set, const char *s); | |
| __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set, | |
| const char *s); | | const char *s); | |
| const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset, | | const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_basic_set *isl_basic_set_set_dim_name( | | __isl_give isl_basic_set *isl_basic_set_set_dim_name( | |
| __isl_take isl_basic_set *bset, | | __isl_take isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
|
| | | int isl_set_has_dim_name(__isl_keep isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos); | |
| const char *isl_set_get_dim_name(__isl_keep isl_set *set, | | const char *isl_set_get_dim_name(__isl_keep isl_set *set, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
|
| | | __isl_give isl_id *isl_basic_set_get_dim_id(__isl_keep isl_basic_set *bset, | |
| | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| int isl_set_has_dim_id(__isl_keep isl_set *set, | | int isl_set_has_dim_id(__isl_keep isl_set *set, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set, | | __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set, | |
| __isl_take isl_id *id); | | __isl_take isl_id *id); | |
| __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set); | |
| int isl_set_has_tuple_id(__isl_keep isl_set *set); | | int isl_set_has_tuple_id(__isl_keep isl_set *set); | |
| | | | |
| skipping to change at line 91 | | skipping to change at line 96 | |
| | | | |
| struct isl_basic_set *isl_basic_set_alloc(struct isl_ctx *ctx, | | struct isl_basic_set *isl_basic_set_alloc(struct isl_ctx *ctx, | |
| unsigned nparam, unsigned dim, unsigned extra, | | unsigned nparam, unsigned dim, unsigned extra, | |
| unsigned n_eq, unsigned n_ineq); | | unsigned n_eq, unsigned n_ineq); | |
| struct isl_basic_set *isl_basic_set_extend(struct isl_basic_set *base, | | struct isl_basic_set *isl_basic_set_extend(struct isl_basic_set *base, | |
| unsigned nparam, unsigned dim, unsigned extra, | | unsigned nparam, unsigned dim, unsigned extra, | |
| unsigned n_eq, unsigned n_ineq); | | unsigned n_eq, unsigned n_ineq); | |
| struct isl_basic_set *isl_basic_set_extend_constraints( | | struct isl_basic_set *isl_basic_set_extend_constraints( | |
| struct isl_basic_set *base, unsigned n_eq, unsigned n_ineq); | | struct isl_basic_set *base, unsigned n_eq, unsigned n_ineq); | |
| struct isl_basic_set *isl_basic_set_finalize(struct isl_basic_set *bset); | | struct isl_basic_set *isl_basic_set_finalize(struct isl_basic_set *bset); | |
|
| void isl_basic_set_free(__isl_take isl_basic_set *bset); | | void *isl_basic_set_free(__isl_take isl_basic_set *bset); | |
| __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset
); | | __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset
); | |
| struct isl_basic_set *isl_basic_set_dup(struct isl_basic_set *bset); | | struct isl_basic_set *isl_basic_set_dup(struct isl_basic_set *bset); | |
| __isl_give isl_basic_set *isl_basic_set_empty(__isl_take isl_space *dim); | | __isl_give isl_basic_set *isl_basic_set_empty(__isl_take isl_space *dim); | |
| struct isl_basic_set *isl_basic_set_empty_like(struct isl_basic_set *bset); | | struct isl_basic_set *isl_basic_set_empty_like(struct isl_basic_set *bset); | |
| __isl_give isl_basic_set *isl_basic_set_universe(__isl_take isl_space *dim)
; | | __isl_give isl_basic_set *isl_basic_set_universe(__isl_take isl_space *dim)
; | |
| __isl_give isl_basic_set *isl_basic_set_nat_universe(__isl_take isl_space *
dim); | | __isl_give isl_basic_set *isl_basic_set_nat_universe(__isl_take isl_space *
dim); | |
| struct isl_basic_set *isl_basic_set_universe_like(struct isl_basic_set *bse
t); | | struct isl_basic_set *isl_basic_set_universe_like(struct isl_basic_set *bse
t); | |
| __isl_give isl_basic_set *isl_basic_set_universe_like_set( | | __isl_give isl_basic_set *isl_basic_set_universe_like_set( | |
| __isl_keep isl_set *model); | | __isl_keep isl_set *model); | |
| struct isl_basic_set *isl_basic_set_interval(struct isl_ctx *ctx, | | struct isl_basic_set *isl_basic_set_interval(struct isl_ctx *ctx, | |
| | | | |
| skipping to change at line 118 | | skipping to change at line 123 | |
| __isl_give isl_basic_set *isl_basic_set_intersect( | | __isl_give isl_basic_set *isl_basic_set_intersect( | |
| __isl_take isl_basic_set *bset1, | | __isl_take isl_basic_set *bset1, | |
| __isl_take isl_basic_set *bset2); | | __isl_take isl_basic_set *bset2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_basic_set_intersect_params( | | __isl_give isl_basic_set *isl_basic_set_intersect_params( | |
| __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2); | | __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_basic_set_apply( | | __isl_give isl_basic_set *isl_basic_set_apply( | |
| __isl_take isl_basic_set *bset, | | __isl_take isl_basic_set *bset, | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
|
| | | __isl_give isl_basic_set *isl_basic_set_preimage_multi_aff( | |
| | | __isl_take isl_basic_set *bset, __isl_take isl_multi_aff *ma); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_basic_set_affine_hull( | | __isl_give isl_basic_set *isl_basic_set_affine_hull( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| __isl_give isl_basic_set *isl_basic_set_remove_dims( | | __isl_give isl_basic_set *isl_basic_set_remove_dims( | |
| __isl_take isl_basic_set *bset, | | __isl_take isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
|
| | | __isl_export | |
| | | __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bs | |
| | | et); | |
| struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset); | | struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_basic_set_detect_equalities( | | __isl_give isl_basic_set *isl_basic_set_detect_equalities( | |
| __isl_take isl_basic_set *bs
et); | | __isl_take isl_basic_set *bs
et); | |
| __isl_give isl_basic_set *isl_basic_set_remove_redundancies( | | __isl_give isl_basic_set *isl_basic_set_remove_redundancies( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set); | |
| __isl_give isl_basic_set *isl_basic_set_list_product( | | __isl_give isl_basic_set *isl_basic_set_list_product( | |
| __isl_take struct isl_basic_set_list *list); | | __isl_take struct isl_basic_set_list *list); | |
| | | | |
| | | | |
| skipping to change at line 160 | | skipping to change at line 169 | |
| void isl_set_print(__isl_keep struct isl_set *set, FILE *out, int indent, | | void isl_set_print(__isl_keep struct isl_set *set, FILE *out, int indent, | |
| unsigned output_format); | | unsigned output_format); | |
| __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset, | | __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned pos, isl_int value); | | enum isl_dim_type type, unsigned pos, isl_int value); | |
| __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bs
et, | | __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bs
et, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
| __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
| __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
|
| | | __isl_give isl_set *isl_set_lower_bound(__isl_take isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos, isl_int value); | |
| __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
|
| | | __isl_give isl_set *isl_set_upper_bound(__isl_take isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos, isl_int value); | |
| | | | |
| __isl_give isl_set *isl_set_equate(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_equate(__isl_take isl_set *set, | |
| enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2
); | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2
); | |
| | | | |
| struct isl_basic_set *isl_basic_set_from_underlying_set( | | struct isl_basic_set *isl_basic_set_from_underlying_set( | |
| struct isl_basic_set *bset, struct isl_basic_set *like); | | struct isl_basic_set *bset, struct isl_basic_set *like); | |
| struct isl_set *isl_set_from_underlying_set( | | struct isl_set *isl_set_from_underlying_set( | |
| struct isl_set *set, struct isl_basic_set *like); | | struct isl_set *set, struct isl_basic_set *like); | |
| struct isl_set *isl_set_to_underlying_set(struct isl_set *set); | | struct isl_set *isl_set_to_underlying_set(struct isl_set *set); | |
| | | | |
| | | | |
| skipping to change at line 214 | | skipping to change at line 227 | |
| __isl_give isl_set *isl_basic_set_union( | | __isl_give isl_set *isl_basic_set_union( | |
| __isl_take isl_basic_set *bset1, | | __isl_take isl_basic_set *bset1, | |
| __isl_take isl_basic_set *bset2); | | __isl_take isl_basic_set *bset2); | |
| | | | |
| int isl_basic_set_compare_at(struct isl_basic_set *bset1, | | int isl_basic_set_compare_at(struct isl_basic_set *bset1, | |
| struct isl_basic_set *bset2, int pos); | | struct isl_basic_set *bset2, int pos); | |
| int isl_set_follows_at(__isl_keep isl_set *set1, | | int isl_set_follows_at(__isl_keep isl_set *set1, | |
| __isl_keep isl_set *set2, int pos); | | __isl_keep isl_set *set2, int pos); | |
| | | | |
| __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bs
et); | | __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bs
et); | |
|
| | | __isl_give isl_basic_set *isl_basic_set_from_params( | |
| | | __isl_take isl_basic_set *bset); | |
| __isl_give isl_set *isl_set_params(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_params(__isl_take isl_set *set); | |
| __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set); | |
| | | | |
| int isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset, | | int isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned pos, unsigned n, int *signs); | | enum isl_dim_type type, unsigned pos, unsigned n, int *signs); | |
| | | | |
| int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset); | | int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset); | |
| int isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset); | | int isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset); | |
| int isl_basic_set_fast_is_empty(__isl_keep isl_basic_set *bset); | | int isl_basic_set_fast_is_empty(__isl_keep isl_basic_set *bset); | |
| __isl_export | | __isl_export | |
| int isl_basic_set_is_empty(__isl_keep isl_basic_set *bset); | | int isl_basic_set_is_empty(__isl_keep isl_basic_set *bset); | |
| int isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset); | | int isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset); | |
|
| | | __isl_export | |
| | | int isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1, | |
| | | __isl_keep isl_basic_set *bset2); | |
| | | | |
| struct isl_set *isl_set_alloc(struct isl_ctx *ctx, | | struct isl_set *isl_set_alloc(struct isl_ctx *ctx, | |
| unsigned nparam, unsigned dim, int n, unsigned flags); | | unsigned nparam, unsigned dim, int n, unsigned flags); | |
| struct isl_set *isl_set_extend(struct isl_set *base, | | struct isl_set *isl_set_extend(struct isl_set *base, | |
| unsigned nparam, unsigned dim); | | unsigned nparam, unsigned dim); | |
| __isl_give isl_set *isl_set_empty(__isl_take isl_space *dim); | | __isl_give isl_set *isl_set_empty(__isl_take isl_space *dim); | |
| struct isl_set *isl_set_empty_like(struct isl_set *set); | | struct isl_set *isl_set_empty_like(struct isl_set *set); | |
| __isl_give isl_set *isl_set_universe(__isl_take isl_space *dim); | | __isl_give isl_set *isl_set_universe(__isl_take isl_space *dim); | |
| __isl_give isl_set *isl_set_nat_universe(__isl_take isl_space *dim); | | __isl_give isl_set *isl_set_nat_universe(__isl_take isl_space *dim); | |
| __isl_give isl_set *isl_set_universe_like(__isl_keep isl_set *model); | | __isl_give isl_set *isl_set_universe_like(__isl_keep isl_set *model); | |
| __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set, | |
| __isl_take isl_basic_set *bs
et); | | __isl_take isl_basic_set *bs
et); | |
| struct isl_set *isl_set_finalize(struct isl_set *set); | | struct isl_set *isl_set_finalize(struct isl_set *set); | |
| __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set); | | __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set); | |
|
| void isl_set_free(__isl_take isl_set *set); | | void *isl_set_free(__isl_take isl_set *set); | |
| struct isl_set *isl_set_dup(struct isl_set *set); | | struct isl_set *isl_set_dup(struct isl_set *set); | |
| __isl_constructor | | __isl_constructor | |
| __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset); | | __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset); | |
|
| | | __isl_export | |
| __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set); | | __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set); | |
| __isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *
bset); | | __isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *
bset); | |
| __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set); | | __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set); | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set); | | __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set); | |
| __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set); | | __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set); | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set); | | __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set); | |
| __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set); | | __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set); | |
|
| | | __isl_give isl_basic_set *isl_set_unshifted_simple_hull( | |
| | | __isl_take isl_set *set); | |
| struct isl_basic_set *isl_set_bounded_simple_hull(struct isl_set *set); | | struct isl_basic_set *isl_set_bounded_simple_hull(struct isl_set *set); | |
| __isl_give isl_set *isl_set_recession_cone(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_recession_cone(__isl_take isl_set *set); | |
| | | | |
| struct isl_set *isl_set_union_disjoint( | | struct isl_set *isl_set_union_disjoint( | |
| struct isl_set *set1, struct isl_set *set2); | | struct isl_set *set1, struct isl_set *set2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_set_union( | | __isl_give isl_set *isl_set_union( | |
| __isl_take isl_set *set1, | | __isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| __isl_give isl_set *isl_set_product(__isl_take isl_set *set1, | | __isl_give isl_set *isl_set_product(__isl_take isl_set *set1, | |
| | | | |
| skipping to change at line 287 | | skipping to change at line 308 | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_set_subtract( | | __isl_give isl_set *isl_set_subtract( | |
| __isl_take isl_set *set1, | | __isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_set_complement(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_complement(__isl_take isl_set *set); | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_set_apply( | | __isl_give isl_set *isl_set_apply( | |
| __isl_take isl_set *set, | | __isl_take isl_set *set, | |
| __isl_take isl_map *map); | | __isl_take isl_map *map); | |
|
| | | __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set, | |
| | | __isl_take isl_multi_aff *ma); | |
| | | __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set, | |
| | | __isl_take isl_pw_multi_aff *pma); | |
| __isl_give isl_set *isl_set_fix(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_fix(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned pos, isl_int value); | | enum isl_dim_type type, unsigned pos, isl_int value); | |
| struct isl_set *isl_set_fix_dim_si(struct isl_set *set, | | struct isl_set *isl_set_fix_dim_si(struct isl_set *set, | |
| unsigned dim, int value); | | unsigned dim, int value); | |
| struct isl_set *isl_set_lower_bound_dim(struct isl_set *set, | | struct isl_set *isl_set_lower_bound_dim(struct isl_set *set, | |
| unsigned dim, isl_int value); | | unsigned dim, isl_int value); | |
|
| | | __isl_give isl_basic_set *isl_basic_set_insert_dims( | |
| | | __isl_take isl_basic_set *bset, | |
| | | enum isl_dim_type type, unsigned pos, unsigned n); | |
| __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned pos, unsigned n); | | enum isl_dim_type type, unsigned pos, unsigned n); | |
|
| __isl_give isl_basic_set *isl_basic_set_add(__isl_take isl_basic_set *bset, | | __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *
bset, | |
| enum isl_dim_type type, unsigned n); | | enum isl_dim_type type, unsigned n); | |
|
| | | /* deprecated */ | |
| | | __isl_give isl_basic_set *isl_basic_set_add(__isl_take isl_basic_set *bset, | |
| | | enum isl_dim_type type, unsigned n); | |
| __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned n); | | enum isl_dim_type type, unsigned n); | |
| __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set
*bset, | | __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set
*bset, | |
| enum isl_dim_type dst_type, unsigned dst_pos, | | enum isl_dim_type dst_type, unsigned dst_pos, | |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); | | enum isl_dim_type src_type, unsigned src_pos, unsigned n); | |
| __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set, | |
| enum isl_dim_type dst_type, unsigned dst_pos, | | enum isl_dim_type dst_type, unsigned dst_pos, | |
| enum isl_dim_type src_type, unsigned src_pos, unsigned n); | | enum isl_dim_type src_type, unsigned src_pos, unsigned n); | |
| __isl_give isl_basic_set *isl_basic_set_project_out( | | __isl_give isl_basic_set *isl_basic_set_project_out( | |
| __isl_take isl_basic_set *bset, | | __isl_take isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_basic_set *isl_basic_set_remove_divs( | | __isl_give isl_basic_set *isl_basic_set_remove_divs( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
|
| | | __isl_give isl_basic_set *isl_basic_set_eliminate( | |
| | | __isl_take isl_basic_set *bset, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| struct isl_set *isl_set_eliminate_dims(struct isl_set *set, | | struct isl_set *isl_set_eliminate_dims(struct isl_set *set, | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset, | | __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
|
| | | __isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims( | |
| | | __isl_take isl_basic_set *bset, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *
set, | | __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *
set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
|
| | | __isl_give isl_basic_set *isl_basic_set_remove_unknown_divs( | |
| | | __isl_take isl_basic_set *bset); | |
| __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set); | |
| __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set); | |
| __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
|
| | | __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving_dims( | |
| | | __isl_take isl_basic_set *bset, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | __isl_give isl_basic_set *isl_basic_set_drop_constraints_not_involving_dims | |
| | | ( | |
| | | __isl_take isl_basic_set *bset, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | __isl_give isl_set *isl_set_drop_constraints_involving_dims( | |
| | | __isl_take isl_set *set, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| int isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset, | | int isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| int isl_set_involves_dims(__isl_keep isl_set *set, | | int isl_set_involves_dims(__isl_keep isl_set *set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent)
; | | void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent)
; | |
| int isl_set_plain_is_empty(__isl_keep isl_set *set); | | int isl_set_plain_is_empty(__isl_keep isl_set *set); | |
| int isl_set_fast_is_empty(__isl_keep isl_set *set); | | int isl_set_fast_is_empty(__isl_keep isl_set *set); | |
| int isl_set_plain_is_universe(__isl_keep isl_set *set); | | int isl_set_plain_is_universe(__isl_keep isl_set *set); | |
| int isl_set_fast_is_universe(__isl_keep isl_set *set); | | int isl_set_fast_is_universe(__isl_keep isl_set *set); | |
| int isl_set_is_params(__isl_keep isl_set *set); | | int isl_set_is_params(__isl_keep isl_set *set); | |
| __isl_export | | __isl_export | |
| int isl_set_is_empty(__isl_keep isl_set *set); | | int isl_set_is_empty(__isl_keep isl_set *set); | |
| int isl_set_is_bounded(__isl_keep isl_set *set); | | int isl_set_is_bounded(__isl_keep isl_set *set); | |
| __isl_export | | __isl_export | |
| int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2); | | int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2); | |
| __isl_export | | __isl_export | |
| int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *
set2); | | int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *
set2); | |
| __isl_export | | __isl_export | |
| int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2); | | int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2); | |
|
| | | __isl_export | |
| | | int isl_set_is_disjoint(__isl_keep isl_set *set1, __isl_keep isl_set *set2) | |
| | | ; | |
| int isl_set_is_singleton(__isl_keep isl_set *set); | | int isl_set_is_singleton(__isl_keep isl_set *set); | |
| int isl_set_is_box(__isl_keep isl_set *set); | | int isl_set_is_box(__isl_keep isl_set *set); | |
| int isl_set_has_equal_space(__isl_keep isl_set *set1, __isl_keep isl_set *s
et2); | | int isl_set_has_equal_space(__isl_keep isl_set *set1, __isl_keep isl_set *s
et2); | |
| | | | |
| __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1, | | __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset)
; | | __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset)
; | |
| __isl_give isl_set *isl_set_neg(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_neg(__isl_take isl_set *set); | |
| | | | |
| __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set); | |
| | | | |
| skipping to change at line 380 | | skipping to change at line 431 | |
| int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set, | | int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set, | |
| unsigned dim, isl_int *val); | | unsigned dim, isl_int *val); | |
| int isl_set_plain_dim_has_fixed_lower_bound(__isl_keep isl_set *set, | | int isl_set_plain_dim_has_fixed_lower_bound(__isl_keep isl_set *set, | |
| unsigned dim, isl_int *val); | | unsigned dim, isl_int *val); | |
| int isl_set_dim_is_bounded(__isl_keep isl_set *set, | | int isl_set_dim_is_bounded(__isl_keep isl_set *set, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| int isl_set_dim_has_lower_bound(__isl_keep isl_set *set, | | int isl_set_dim_has_lower_bound(__isl_keep isl_set *set, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| int isl_set_dim_has_upper_bound(__isl_keep isl_set *set, | | int isl_set_dim_has_upper_bound(__isl_keep isl_set *set, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
|
| | | int isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | int isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | | |
| __isl_export | | __isl_export | |
| __isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset
, | | __isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset
, | |
| __isl_take isl_basic_set *contex
t); | | __isl_take isl_basic_set *contex
t); | |
| __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set, | |
| __isl_take isl_basic_set *context); | | __isl_take isl_basic_set *context); | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_set_gist(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_gist(__isl_take isl_set *set, | |
| __isl_take isl_set *context); | | __isl_take isl_set *context); | |
| __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set, | |
| __isl_take isl_set *context); | | __isl_take isl_set *context); | |
| int isl_basic_set_dim_residue_class(struct isl_basic_set *bset, | | int isl_basic_set_dim_residue_class(struct isl_basic_set *bset, | |
| int pos, isl_int *modulo, isl_int *residue); | | int pos, isl_int *modulo, isl_int *residue); | |
| int isl_set_dim_residue_class(struct isl_set *set, | | int isl_set_dim_residue_class(struct isl_set *set, | |
| int pos, isl_int *modulo, isl_int *residue); | | int pos, isl_int *modulo, isl_int *residue); | |
| | | | |
| __isl_export | | __isl_export | |
| __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set); | |
| | | | |
|
| | | int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2); | |
| int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *se
t2); | | int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *se
t2); | |
| int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set
2); | | int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set
2); | |
| int isl_set_plain_is_disjoint(__isl_keep isl_set *set1, | | int isl_set_plain_is_disjoint(__isl_keep isl_set *set1, | |
| __isl_keep isl_set *set2); | | __isl_keep isl_set *set2); | |
| int isl_set_fast_is_disjoint(__isl_keep isl_set *set1, | | int isl_set_fast_is_disjoint(__isl_keep isl_set *set1, | |
| __isl_keep isl_set *set2); | | __isl_keep isl_set *set2); | |
| | | | |
| uint32_t isl_set_get_hash(struct isl_set *set); | | uint32_t isl_set_get_hash(struct isl_set *set); | |
| | | | |
| int isl_set_dim_is_unique(struct isl_set *set, unsigned dim); | | int isl_set_dim_is_unique(struct isl_set *set, unsigned dim); | |
| | | | |
| skipping to change at line 443 | | skipping to change at line 499 | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1, | | __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1, | | __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1, | | __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| | | | |
| int isl_set_size(__isl_keep isl_set *set); | | int isl_set_size(__isl_keep isl_set *set); | |
| | | | |
|
| | | __isl_give isl_basic_set *isl_basic_set_align_params( | |
| | | __isl_take isl_basic_set *bset, __isl_take isl_space *model); | |
| __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set, | |
| __isl_take isl_space *model); | | __isl_take isl_space *model); | |
| | | | |
| __isl_give isl_mat *isl_basic_set_equalities_matrix( | | __isl_give isl_mat *isl_basic_set_equalities_matrix( | |
| __isl_keep isl_basic_set *bset, enum isl_dim_type c1, | | __isl_keep isl_basic_set *bset, enum isl_dim_type c1, | |
| enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); | | enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); | |
| __isl_give isl_mat *isl_basic_set_inequalities_matrix( | | __isl_give isl_mat *isl_basic_set_inequalities_matrix( | |
| __isl_keep isl_basic_set *bset, enum isl_dim_type c1, | | __isl_keep isl_basic_set *bset, enum isl_dim_type c1, | |
| enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); | | enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); | |
| __isl_give isl_basic_set *isl_basic_set_from_constraint_matrices( | | __isl_give isl_basic_set *isl_basic_set_from_constraint_matrices( | |
| | | | |
End of changes. 26 change blocks. |
| 4 lines changed or deleted | | 65 lines changed or added | |
|
| space.h | | space.h | |
| /* | | /* | |
| * Copyright 2008-2009 Katholieke Universiteit Leuven | | * Copyright 2008-2009 Katholieke Universiteit Leuven | |
| * | | * | |
|
| * Use of this software is governed by the GNU LGPLv2.1 license | | * Use of this software is governed by the MIT license | |
| * | | * | |
| * Written by Sven Verdoolaege, K.U.Leuven, Departement | | * Written by Sven Verdoolaege, K.U.Leuven, Departement | |
| * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | | * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium | |
| */ | | */ | |
| | | | |
| #ifndef ISL_SPACE_H | | #ifndef ISL_SPACE_H | |
| #define ISL_SPACE_H | | #define ISL_SPACE_H | |
| | | | |
| #include <isl/ctx.h> | | #include <isl/ctx.h> | |
| #include <isl/id.h> | | #include <isl/id.h> | |
| | | | |
| skipping to change at line 41 | | skipping to change at line 41 | |
| isl_dim_all | | isl_dim_all | |
| }; | | }; | |
| | | | |
| isl_ctx *isl_space_get_ctx(__isl_keep isl_space *dim); | | isl_ctx *isl_space_get_ctx(__isl_keep isl_space *dim); | |
| __isl_give isl_space *isl_space_alloc(isl_ctx *ctx, | | __isl_give isl_space *isl_space_alloc(isl_ctx *ctx, | |
| unsigned nparam, unsigned n_in, unsigned n_out); | | unsigned nparam, unsigned n_in, unsigned n_out); | |
| __isl_give isl_space *isl_space_set_alloc(isl_ctx *ctx, | | __isl_give isl_space *isl_space_set_alloc(isl_ctx *ctx, | |
| unsigned nparam, unsigned dim); | | unsigned nparam, unsigned dim); | |
| __isl_give isl_space *isl_space_params_alloc(isl_ctx *ctx, unsigned nparam)
; | | __isl_give isl_space *isl_space_params_alloc(isl_ctx *ctx, unsigned nparam)
; | |
| __isl_give isl_space *isl_space_copy(__isl_keep isl_space *dim); | | __isl_give isl_space *isl_space_copy(__isl_keep isl_space *dim); | |
|
| void isl_space_free(__isl_take isl_space *dim); | | void *isl_space_free(__isl_take isl_space *dim); | |
| | | | |
| int isl_space_is_params(__isl_keep isl_space *space); | | int isl_space_is_params(__isl_keep isl_space *space); | |
| int isl_space_is_set(__isl_keep isl_space *space); | | int isl_space_is_set(__isl_keep isl_space *space); | |
|
| | | int isl_space_is_map(__isl_keep isl_space *space); | |
| | | | |
| __isl_give isl_space *isl_space_set_tuple_name(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_set_tuple_name(__isl_take isl_space *dim, | |
| enum isl_dim_type type, const char *s); | | enum isl_dim_type type, const char *s); | |
|
| | | int isl_space_has_tuple_name(__isl_keep isl_space *space, | |
| | | enum isl_dim_type type); | |
| const char *isl_space_get_tuple_name(__isl_keep isl_space *dim, | | const char *isl_space_get_tuple_name(__isl_keep isl_space *dim, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| __isl_give isl_space *isl_space_set_tuple_id(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_set_tuple_id(__isl_take isl_space *dim, | |
| enum isl_dim_type type, __isl_take isl_id *id); | | enum isl_dim_type type, __isl_take isl_id *id); | |
| __isl_give isl_space *isl_space_reset_tuple_id(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_reset_tuple_id(__isl_take isl_space *dim, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| int isl_space_has_tuple_id(__isl_keep isl_space *dim, enum isl_dim_type typ
e); | | int isl_space_has_tuple_id(__isl_keep isl_space *dim, enum isl_dim_type typ
e); | |
| __isl_give isl_id *isl_space_get_tuple_id(__isl_keep isl_space *dim, | | __isl_give isl_id *isl_space_get_tuple_id(__isl_keep isl_space *dim, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| | | | |
| | | | |
| skipping to change at line 70 | | skipping to change at line 73 | |
| int isl_space_has_dim_id(__isl_keep isl_space *dim, | | int isl_space_has_dim_id(__isl_keep isl_space *dim, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_id *isl_space_get_dim_id(__isl_keep isl_space *dim, | | __isl_give isl_id *isl_space_get_dim_id(__isl_keep isl_space *dim, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| | | | |
| int isl_space_find_dim_by_id(__isl_keep isl_space *dim, enum isl_dim_type t
ype, | | int isl_space_find_dim_by_id(__isl_keep isl_space *dim, enum isl_dim_type t
ype, | |
| __isl_keep isl_id *id); | | __isl_keep isl_id *id); | |
| int isl_space_find_dim_by_name(__isl_keep isl_space *space, | | int isl_space_find_dim_by_name(__isl_keep isl_space *space, | |
| enum isl_dim_type type, const char *name); | | enum isl_dim_type type, const char *name); | |
| | | | |
|
| | | int isl_space_has_dim_name(__isl_keep isl_space *space, | |
| | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_space *isl_space_set_dim_name(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_set_dim_name(__isl_take isl_space *dim, | |
| enum isl_dim_type type, unsigned pos, | | enum isl_dim_type type, unsigned pos, | |
| __isl_keep const char *name); | | __isl_keep const char *name); | |
| __isl_keep const char *isl_space_get_dim_name(__isl_keep isl_space *dim, | | __isl_keep const char *isl_space_get_dim_name(__isl_keep isl_space *dim, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| | | | |
| __isl_give isl_space *isl_space_extend(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_extend(__isl_take isl_space *dim, | |
| unsigned nparam, unsigned n_in, unsigned n_out); | | unsigned nparam, unsigned n_in, unsigned n_out); | |
| __isl_give isl_space *isl_space_add_dims(__isl_take isl_space *dim, enum is
l_dim_type type, | | __isl_give isl_space *isl_space_add_dims(__isl_take isl_space *dim, enum is
l_dim_type type, | |
| unsigned n); | | unsigned n); | |
| | | | |
| skipping to change at line 94 | | skipping to change at line 99 | |
| enum isl_dim_type type, unsigned pos, unsigned n); | | enum isl_dim_type type, unsigned pos, unsigned n); | |
| __isl_give isl_space *isl_space_join(__isl_take isl_space *left, | | __isl_give isl_space *isl_space_join(__isl_take isl_space *left, | |
| __isl_take isl_space *right); | | __isl_take isl_space *right); | |
| __isl_give isl_space *isl_space_product(__isl_take isl_space *left, | | __isl_give isl_space *isl_space_product(__isl_take isl_space *left, | |
| __isl_take isl_space *right); | | __isl_take isl_space *right); | |
| __isl_give isl_space *isl_space_domain_product(__isl_take isl_space *left, | | __isl_give isl_space *isl_space_domain_product(__isl_take isl_space *left, | |
| __isl_take isl_space *right); | | __isl_take isl_space *right); | |
| __isl_give isl_space *isl_space_range_product(__isl_take isl_space *left, | | __isl_give isl_space *isl_space_range_product(__isl_take isl_space *left, | |
| __isl_take isl_space *right); | | __isl_take isl_space *right); | |
| __isl_give isl_space *isl_space_map_from_set(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_map_from_set(__isl_take isl_space *dim); | |
|
| | | __isl_give isl_space *isl_space_map_from_domain_and_range( | |
| | | __isl_take isl_space *domain, __isl_take isl_space *range); | |
| __isl_give isl_space *isl_space_reverse(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_reverse(__isl_take isl_space *dim); | |
| __isl_give isl_space *isl_space_drop_dims(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_drop_dims(__isl_take isl_space *dim, | |
| enum isl_dim_type type, unsigned first, unsigned num); | | enum isl_dim_type type, unsigned first, unsigned num); | |
| __isl_give isl_space *isl_space_drop_inputs(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_drop_inputs(__isl_take isl_space *dim, | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| __isl_give isl_space *isl_space_drop_outputs(__isl_take isl_space *dim, | | __isl_give isl_space *isl_space_drop_outputs(__isl_take isl_space *dim, | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| __isl_give isl_space *isl_space_domain(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_domain(__isl_take isl_space *dim); | |
| __isl_give isl_space *isl_space_from_domain(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_from_domain(__isl_take isl_space *dim); | |
| __isl_give isl_space *isl_space_range(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_range(__isl_take isl_space *dim); | |
| | | | |
| skipping to change at line 118 | | skipping to change at line 125 | |
| __isl_give isl_space *isl_space_align_params(__isl_take isl_space *dim1, | | __isl_give isl_space *isl_space_align_params(__isl_take isl_space *dim1, | |
| __isl_take isl_space *dim2); | | __isl_take isl_space *dim2); | |
| | | | |
| int isl_space_is_wrapping(__isl_keep isl_space *dim); | | int isl_space_is_wrapping(__isl_keep isl_space *dim); | |
| __isl_give isl_space *isl_space_wrap(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_wrap(__isl_take isl_space *dim); | |
| __isl_give isl_space *isl_space_unwrap(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_unwrap(__isl_take isl_space *dim); | |
| | | | |
| int isl_space_can_zip(__isl_keep isl_space *dim); | | int isl_space_can_zip(__isl_keep isl_space *dim); | |
| __isl_give isl_space *isl_space_zip(__isl_take isl_space *dim); | | __isl_give isl_space *isl_space_zip(__isl_take isl_space *dim); | |
| | | | |
|
| int isl_space_is_equal(__isl_keep isl_space *dim1, __isl_keep isl_space *di | | int isl_space_can_curry(__isl_keep isl_space *space); | |
| m2); | | __isl_give isl_space *isl_space_curry(__isl_take isl_space *space); | |
| | | | |
| | | int isl_space_can_uncurry(__isl_keep isl_space *space); | |
| | | __isl_give isl_space *isl_space_uncurry(__isl_take isl_space *space); | |
| | | | |
| | | int isl_space_is_domain(__isl_keep isl_space *space1, | |
| | | __isl_keep isl_space *space2); | |
| | | int isl_space_is_range(__isl_keep isl_space *space1, | |
| | | __isl_keep isl_space *space2); | |
| | | int isl_space_is_equal(__isl_keep isl_space *space1, | |
| | | __isl_keep isl_space *space2); | |
| int isl_space_match(__isl_keep isl_space *dim1, enum isl_dim_type dim1_type
, | | int isl_space_match(__isl_keep isl_space *dim1, enum isl_dim_type dim1_type
, | |
| __isl_keep isl_space *dim2, enum isl_dim_type dim2_type); | | __isl_keep isl_space *dim2, enum isl_dim_type dim2_type); | |
| int isl_space_tuple_match(__isl_keep isl_space *dim1, enum isl_dim_type dim
1_type, | | int isl_space_tuple_match(__isl_keep isl_space *dim1, enum isl_dim_type dim
1_type, | |
| __isl_keep isl_space *dim2, enum isl_dim_type dim2_t
ype); | | __isl_keep isl_space *dim2, enum isl_dim_type dim2_t
ype); | |
| int isl_space_compatible(__isl_keep isl_space *dim1, | | int isl_space_compatible(__isl_keep isl_space *dim1, | |
| __isl_keep isl_space *dim2); | | __isl_keep isl_space *dim2); | |
| unsigned isl_space_dim(__isl_keep isl_space *dim, enum isl_dim_type type); | | unsigned isl_space_dim(__isl_keep isl_space *dim, enum isl_dim_type type); | |
| | | | |
| __isl_give isl_printer *isl_printer_print_space(__isl_take isl_printer *p, | | __isl_give isl_printer *isl_printer_print_space(__isl_take isl_printer *p, | |
| __isl_keep isl_space *dim); | | __isl_keep isl_space *dim); | |
| | | | |
End of changes. 7 change blocks. |
| 4 lines changed or deleted | | 21 lines changed or added | |
|
| union_map.h | | union_map.h | |
| #ifndef ISL_UNION_MAP_H | | #ifndef ISL_UNION_MAP_H | |
| #define ISL_UNION_MAP_H | | #define ISL_UNION_MAP_H | |
| | | | |
| #include <isl/space.h> | | #include <isl/space.h> | |
| #include <isl/map_type.h> | | #include <isl/map_type.h> | |
|
| | | #include <isl/union_map_type.h> | |
| #include <isl/printer.h> | | #include <isl/printer.h> | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| extern "C" { | | extern "C" { | |
| #endif | | #endif | |
| | | | |
|
| __isl_export | | __isl_constructor | |
| struct isl_union_map; | | __isl_give isl_union_map *isl_union_map_from_basic_map( | |
| typedef struct isl_union_map isl_union_map; | | __isl_take isl_basic_map *bmap); | |
| #ifndef isl_union_set | | | |
| __isl_export | | | |
| struct isl_union_set; | | | |
| typedef struct isl_union_set isl_union_set; | | | |
| #endif | | | |
| | | | |
| __isl_constructor | | __isl_constructor | |
| __isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map); | | __isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map); | |
| __isl_give isl_union_map *isl_union_map_empty(__isl_take isl_space *dim); | | __isl_give isl_union_map *isl_union_map_empty(__isl_take isl_space *dim); | |
| __isl_give isl_union_map *isl_union_map_copy(__isl_keep isl_union_map *umap
); | | __isl_give isl_union_map *isl_union_map_copy(__isl_keep isl_union_map *umap
); | |
| void *isl_union_map_free(__isl_take isl_union_map *umap); | | void *isl_union_map_free(__isl_take isl_union_map *umap); | |
| | | | |
| isl_ctx *isl_union_map_get_ctx(__isl_keep isl_union_map *umap); | | isl_ctx *isl_union_map_get_ctx(__isl_keep isl_union_map *umap); | |
| __isl_give isl_space *isl_union_map_get_space(__isl_keep isl_union_map *uma
p); | | __isl_give isl_space *isl_union_map_get_space(__isl_keep isl_union_map *uma
p); | |
| | | | |
| __isl_give isl_union_map *isl_union_map_universe( | | __isl_give isl_union_map *isl_union_map_universe( | |
| | | | |
| skipping to change at line 78 | | skipping to change at line 73 | |
| __isl_give isl_union_map *isl_union_map_subtract( | | __isl_give isl_union_map *isl_union_map_subtract( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_intersect( | | __isl_give isl_union_map *isl_union_map_intersect( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_intersect_params( | | __isl_give isl_union_map *isl_union_map_intersect_params( | |
| __isl_take isl_union_map *umap, __isl_take isl_set *set); | | __isl_take isl_union_map *umap, __isl_take isl_set *set); | |
| __isl_give isl_union_map *isl_union_map_product(__isl_take isl_union_map *u
map1, | | __isl_give isl_union_map *isl_union_map_product(__isl_take isl_union_map *u
map1, | |
| __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap2); | |
|
| | | __isl_give isl_union_map *isl_union_map_domain_product( | |
| | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_give isl_union_map *isl_union_map_range_product( | | __isl_give isl_union_map *isl_union_map_range_product( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_give isl_union_map *isl_union_map_flat_range_product( | | __isl_give isl_union_map *isl_union_map_flat_range_product( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_gist(__isl_take isl_union_map *umap
, | | __isl_give isl_union_map *isl_union_map_gist(__isl_take isl_union_map *umap
, | |
| __isl_take isl_union_map *context); | | __isl_take isl_union_map *context); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_gist_params( | | __isl_give isl_union_map *isl_union_map_gist_params( | |
| __isl_take isl_union_map *umap, __isl_take isl_set *set); | | __isl_take isl_union_map *umap, __isl_take isl_set *set); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_gist_domain( | | __isl_give isl_union_map *isl_union_map_gist_domain( | |
| __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | | __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | |
|
| | | __isl_export | |
| | | __isl_give isl_union_map *isl_union_map_gist_range( | |
| | | __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | |
| | | | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_intersect_domain( | | __isl_give isl_union_map *isl_union_map_intersect_domain( | |
| __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | | __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_intersect_range( | | __isl_give isl_union_map *isl_union_map_intersect_range( | |
| __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | | __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | |
| | | | |
| __isl_export | | __isl_export | |
|
| | | __isl_give isl_union_map *isl_union_map_subtract_domain( | |
| | | __isl_take isl_union_map *umap, __isl_take isl_union_set *dom); | |
| | | __isl_export | |
| | | __isl_give isl_union_map *isl_union_map_subtract_range( | |
| | | __isl_take isl_union_map *umap, __isl_take isl_union_set *dom); | |
| | | | |
| | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_apply_domain( | | __isl_give isl_union_map *isl_union_map_apply_domain( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_apply_range( | | __isl_give isl_union_map *isl_union_map_apply_range( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_reverse(__isl_take isl_union_map *u
map); | | __isl_give isl_union_map *isl_union_map_reverse(__isl_take isl_union_map *u
map); | |
| __isl_give isl_union_map *isl_union_map_from_domain_and_range( | | __isl_give isl_union_map *isl_union_map_from_domain_and_range( | |
| __isl_take isl_union_set *domain, __isl_take isl_union_set *range); | | __isl_take isl_union_set *domain, __isl_take isl_union_set *range); | |
| | | | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_detect_equalities( | | __isl_give isl_union_map *isl_union_map_detect_equalities( | |
|
| __isl_keep isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_set *isl_union_map_deltas(__isl_take isl_union_map *um
ap); | | __isl_give isl_union_set *isl_union_map_deltas(__isl_take isl_union_map *um
ap); | |
| __isl_give isl_union_map *isl_union_map_deltas_map( | | __isl_give isl_union_map *isl_union_map_deltas_map( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
| __isl_export | | __isl_export | |
| __isl_give isl_union_map *isl_union_set_identity(__isl_take isl_union_set *
uset); | | __isl_give isl_union_map *isl_union_set_identity(__isl_take isl_union_set *
uset); | |
| | | | |
| __isl_export | | __isl_export | |
| int isl_union_map_is_empty(__isl_keep isl_union_map *umap); | | int isl_union_map_is_empty(__isl_keep isl_union_map *umap); | |
| __isl_export | | __isl_export | |
| | | | |
| skipping to change at line 152 | | skipping to change at line 159 | |
| int isl_union_map_foreach_map(__isl_keep isl_union_map *umap, | | int isl_union_map_foreach_map(__isl_keep isl_union_map *umap, | |
| int (*fn)(__isl_take isl_map *map, void *user), void *user); | | int (*fn)(__isl_take isl_map *map, void *user), void *user); | |
| __isl_give int isl_union_map_contains(__isl_keep isl_union_map *umap, | | __isl_give int isl_union_map_contains(__isl_keep isl_union_map *umap, | |
| __isl_keep isl_space *dim); | | __isl_keep isl_space *dim); | |
| __isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *uma
p, | | __isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *uma
p, | |
| __isl_take isl_space *dim); | | __isl_take isl_space *dim); | |
| __isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap); | | __isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap); | |
| | | | |
| __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *um
ap); | | __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *um
ap); | |
| | | | |
|
| | | __isl_give isl_union_map *isl_union_map_fixed_power( | |
| | | __isl_take isl_union_map *umap, isl_int exp); | |
| __isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *uma
p, | | __isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *uma
p, | |
| int *exact); | | int *exact); | |
| __isl_give isl_union_map *isl_union_map_transitive_closure( | | __isl_give isl_union_map *isl_union_map_transitive_closure( | |
| __isl_take isl_union_map *umap, int *exact); | | __isl_take isl_union_map *umap, int *exact); | |
| | | | |
| __isl_give isl_union_map *isl_union_map_lex_lt_union_map( | | __isl_give isl_union_map *isl_union_map_lex_lt_union_map( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_give isl_union_map *isl_union_map_lex_le_union_map( | | __isl_give isl_union_map *isl_union_map_lex_le_union_map( | |
| __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __isl_give isl_union_map *isl_union_map_lex_gt_union_map( | | __isl_give isl_union_map *isl_union_map_lex_gt_union_map( | |
| | | | |
| skipping to change at line 179 | | skipping to change at line 188 | |
| __isl_give isl_union_map *isl_union_map_read_from_str(isl_ctx *ctx, | | __isl_give isl_union_map *isl_union_map_read_from_str(isl_ctx *ctx, | |
| const char *str); | | const char *str); | |
| __isl_give isl_printer *isl_printer_print_union_map(__isl_take isl_printer
*p, | | __isl_give isl_printer *isl_printer_print_union_map(__isl_take isl_printer
*p, | |
| __isl_keep isl_union_map *umap); | | __isl_keep isl_union_map *umap); | |
| void isl_union_map_dump(__isl_keep isl_union_map *umap); | | void isl_union_map_dump(__isl_keep isl_union_map *umap); | |
| | | | |
| __isl_give isl_union_set *isl_union_map_wrap(__isl_take isl_union_map *umap
); | | __isl_give isl_union_set *isl_union_map_wrap(__isl_take isl_union_map *umap
); | |
| __isl_give isl_union_map *isl_union_set_unwrap(__isl_take isl_union_set *us
et); | | __isl_give isl_union_map *isl_union_set_unwrap(__isl_take isl_union_set *us
et); | |
| | | | |
| __isl_give isl_union_map *isl_union_map_zip(__isl_take isl_union_map *umap)
; | | __isl_give isl_union_map *isl_union_map_zip(__isl_take isl_union_map *umap)
; | |
|
| | | __isl_give isl_union_map *isl_union_map_curry(__isl_take isl_union_map *uma | |
| | | p); | |
| | | __isl_give isl_union_map *isl_union_map_uncurry(__isl_take isl_union_map *u | |
| | | map); | |
| | | | |
| __isl_give isl_union_map *isl_union_map_align_params( | | __isl_give isl_union_map *isl_union_map_align_params( | |
| __isl_take isl_union_map *umap, __isl_take isl_space *model); | | __isl_take isl_union_map *umap, __isl_take isl_space *model); | |
| __isl_give isl_union_set *isl_union_set_align_params( | | __isl_give isl_union_set *isl_union_set_align_params( | |
| __isl_take isl_union_set *uset, __isl_take isl_space *model); | | __isl_take isl_union_set *uset, __isl_take isl_space *model); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
| | | | |
End of changes. 8 change blocks. |
| 10 lines changed or deleted | | 23 lines changed or added | |
|