| aff.h | | aff.h | |
| #ifndef ISL_AFF_H | | #ifndef ISL_AFF_H | |
| #define ISL_AFF_H | | #define ISL_AFF_H | |
| | | | |
|
| #include <isl/div.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/multi.h> | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| extern "C" { | | extern "C" { | |
| #endif | | #endif | |
| | | | |
|
| __isl_give isl_aff *isl_aff_zero(__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_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); | |
| | | | |
|
| __isl_give isl_dim *isl_aff_get_dim(__isl_keep isl_aff *aff); | | __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff); | |
| | | __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff); | |
| | | __isl_give isl_local_space *isl_aff_get_domain_local_space( | |
| | | __isl_keep isl_aff *aff); | |
| __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff
); | | __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff
); | |
| | | | |
| const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff, | | const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v); | | int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v); | |
| int isl_aff_get_coefficient(__isl_keep isl_aff *aff, | | int isl_aff_get_coefficient(__isl_keep isl_aff *aff, | |
| enum isl_dim_type type, int pos, isl_int *v); | | enum isl_dim_type type, int pos, isl_int *v); | |
| 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)
; | |
| | | | |
| skipping to change at line 48 | | skipping to change at line 52 | |
| __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_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); | |
| | | | |
| __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, | |
| | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | | |
| int isl_aff_plain_is_equal(__isl_keep isl_aff *aff1, __isl_keep isl_aff *af
f2); | | int isl_aff_plain_is_equal(__isl_keep isl_aff *aff1, __isl_keep isl_aff *af
f2); | |
| int isl_aff_plain_is_zero(__isl_keep isl_aff *aff); | | int isl_aff_plain_is_zero(__isl_keep isl_aff *aff); | |
| | | | |
|
| __isl_give isl_div *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_mul(__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_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_take isl_set *context); | |
| | | | |
|
| | | __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1, | |
| | | __isl_take isl_aff *aff2); | |
| __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1, | | __isl_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_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_dim *isl_pw_aff_get_dim(__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_space(__isl_keep isl_pw_aff *pwaff); | |
| | | | |
|
| __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_dim *dim); | | __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_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); | |
| | | | |
|
| | | const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | int isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma, | |
| | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | | |
| int isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff); | | int isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff); | |
|
| | | int isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1, | |
| | | __isl_keep 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_union_min(__isl_take isl_pw_aff *pwaff1, | |
| | | __isl_take isl_pw_aff *pwaff2); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1, | |
| | | __isl_take isl_pw_aff *pwaff2); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_union_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_copy(__isl_keep isl_pw_aff *pwaff); | | __isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff); | |
| void *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff); | | void *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff); | |
| | | | |
| 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); | |
| | | | |
| __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_dim *model); | | __isl_take isl_space *model); | |
| | | | |
| | | __isl_give isl_pw_aff *isl_pw_aff_set_tuple_id(__isl_take isl_pw_aff *pwaff | |
| | | , | |
| | | enum isl_dim_type type, __isl_take isl_id *id); | |
| | | | |
| __isl_give isl_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_take isl_pw_aff *pwaff2); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1, | |
| | | __isl_take isl_pw_aff *pwaff2); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1, | |
| | | __isl_take isl_pw_aff *pwaff2); | |
| __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_int mod); | |
| | | | |
| | | __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *p | |
| | | a, | |
| | | __isl_take isl_set *set); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *p | |
| | | a, | |
| | | __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_set *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_take isl_set *context); | |
| | | | |
|
| | | int isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff, | |
| | | int (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff, | |
| | | void *user), void *user); | |
| | | | |
| | | __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_non_zero_set(__isl_take isl_pw_aff *pwaff); | |
| | | | |
| __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
|
| | | __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1, | |
| | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1, | |
| __isl_take isl_pw_aff *pwaff2); | | __isl_take isl_pw_aff *pwaff2); | |
| __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1, | | __isl_give isl_set *isl_pw_aff_gt_set(__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_read_from_str(isl_ctx *ctx, const char *s
tr); | |
| __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p, | | __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p, | |
| __isl_keep isl_pw_aff *pwaff); | | __isl_keep isl_pw_aff *pwaff); | |
| void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff); | | void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff); | |
| | | | |
|
| | | __isl_give isl_pw_aff *isl_pw_aff_list_min(__isl_take isl_pw_aff_list *list | |
| | | ); | |
| | | __isl_give isl_pw_aff *isl_pw_aff_list_max(__isl_take isl_pw_aff_list *list | |
| | | ); | |
| | | | |
| | | __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list | |
| | | 1, | |
| | | __isl_take isl_pw_aff_list *list2); | |
| | | __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list | |
| | | 1, | |
| | | __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_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_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_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_take isl_pw_aff_list *list2); | |
| | | | |
| | | 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_multi_aff *isl_multi_aff_copy(__isl_keep 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, | |
| | | enum isl_dim_type type); | |
| | | __isl_give isl_aff *isl_multi_aff_get_aff(__isl_keep isl_multi_aff *multi, | |
| | | int pos); | |
| | | | |
| | | __isl_give isl_multi_aff *isl_multi_aff_set_dim_name( | |
| | | __isl_take isl_multi_aff *maff, | |
| | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
| | | int isl_multi_aff_plain_is_equal(__isl_keep isl_multi_aff *maff1, | |
| | | __isl_keep isl_multi_aff *maff2); | |
| | | | |
| | | __isl_give isl_multi_aff *isl_multi_aff_add(__isl_take isl_multi_aff *maff1 | |
| | | , | |
| | | __isl_take isl_multi_aff *maff2); | |
| | | | |
| | | __isl_give isl_multi_aff *isl_multi_aff_scale(__isl_take isl_multi_aff *maf | |
| | | f, | |
| | | isl_int f); | |
| | | | |
| | | __isl_give isl_multi_aff *isl_multi_aff_gist_params( | |
| | | __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_take isl_set *context); | |
| | | | |
| | | __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff | |
| | | , | |
| | | __isl_give isl_local_space **ls); | |
| | | | |
| | | __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer | |
| | | *p, | |
| | | __isl_keep isl_multi_aff *maff); | |
| | | | |
| | | __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx, | |
| | | const char *str); | |
| | | void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff); | |
| | | | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set | |
| | | , | |
| | | __isl_take isl_multi_aff *maff); | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy( | |
| | | __isl_keep isl_pw_multi_aff *pma); | |
| | | 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, | |
| | | enum isl_dim_type type); | |
| | | | |
| | | isl_ctx *isl_pw_multi_aff_get_ctx(__isl_keep isl_pw_multi_aff *pma); | |
| | | __isl_give isl_space *isl_pw_multi_aff_get_domain_space( | |
| | | __isl_keep isl_pw_multi_aff *pma); | |
| | | __isl_give isl_space *isl_pw_multi_aff_get_space( | |
| | | __isl_keep isl_pw_multi_aff *pma); | |
| | | const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pm | |
| | | a, | |
| | | enum isl_dim_type type); | |
| | | __isl_give isl_id *isl_pw_multi_aff_get_tuple_id( | |
| | | __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, | |
| | | enum isl_dim_type type); | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id( | |
| | | __isl_take isl_pw_multi_aff *pma, | |
| | | enum isl_dim_type type, __isl_take isl_id *id); | |
| | | | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *s | |
| | | pace); | |
| | | | |
| | | const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | __isl_give isl_id *isl_pw_multi_aff_get_dim_id( | |
| | | __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type, | |
| | | unsigned pos); | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id( | |
| | | __isl_take isl_pw_multi_aff *pma, | |
| | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | | |
| | | int isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1, | |
| | | __isl_keep isl_pw_multi_aff *pma2); | |
| | | | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add( | |
| | | __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 | |
| | | ); | |
| | | | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add( | |
| | | __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 | |
| | | ); | |
| | | | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params( | |
| | | __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_take isl_pw_multi_aff *pma, __isl_take isl_set *set); | |
| | | | |
| | | __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_give isl_pw_multi_aff *isl_pw_multi_aff_gist( | |
| | | __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set); | |
| | | | |
| | | 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, | |
| | | void *user), void *user); | |
| | | | |
| | | __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_printer *isl_printer_print_pw_multi_aff(__isl_take isl_print | |
| | | er *p, | |
| | | __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_map(__isl_take isl_map * | |
| | | map); | |
| | | | |
| | | __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx, | |
| | | const char *str); | |
| | | void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
|
| | | #include <isl/dim.h> | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 28 change blocks. |
| 8 lines changed or deleted | | 227 lines changed or added | |
|
| map.h | | map.h | |
| | | | |
| skipping to change at line 18 | | skipping to change at line 18 | |
| */ | | */ | |
| | | | |
| #ifndef ISL_MAP_H | | #ifndef ISL_MAP_H | |
| #define ISL_MAP_H | | #define ISL_MAP_H | |
| | | | |
| #include <stdio.h> | | #include <stdio.h> | |
| | | | |
| #include <isl/int.h> | | #include <isl/int.h> | |
| #include <isl/ctx.h> | | #include <isl/ctx.h> | |
| #include <isl/blk.h> | | #include <isl/blk.h> | |
|
| #include <isl/dim.h> | | #include <isl/space.h> | |
| #include <isl/div.h> | | | |
| #include <isl/vec.h> | | #include <isl/vec.h> | |
| #include <isl/mat.h> | | #include <isl/mat.h> | |
| #include <isl/printer.h> | | #include <isl/printer.h> | |
| #include <isl/local_space.h> | | #include <isl/local_space.h> | |
| #include <isl/aff_type.h> | | #include <isl/aff_type.h> | |
| #include <isl/list.h> | | #include <isl/list.h> | |
| #include <isl/map_type.h> | | #include <isl/map_type.h> | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| extern "C" { | | extern "C" { | |
| | | | |
| skipping to change at line 51 | | skipping to change at line 50 | |
| * functions). A pointer passed to such a function may therefore | | * functions). A pointer passed to such a function may therefore | |
| * never be used after the function call. If you want to keep a | | * never be used after the function call. If you want to keep a | |
| * reference to the old structure(s), use the appropriate _copy function. | | * reference to the old structure(s), use the appropriate _copy function. | |
| */ | | */ | |
| | | | |
| unsigned isl_basic_map_n_in(const struct isl_basic_map *bmap); | | unsigned isl_basic_map_n_in(const struct isl_basic_map *bmap); | |
| unsigned isl_basic_map_n_out(const struct isl_basic_map *bmap); | | unsigned isl_basic_map_n_out(const struct isl_basic_map *bmap); | |
| unsigned isl_basic_map_n_param(const struct isl_basic_map *bmap); | | unsigned isl_basic_map_n_param(const struct isl_basic_map *bmap); | |
| unsigned isl_basic_map_n_div(const struct isl_basic_map *bmap); | | unsigned isl_basic_map_n_div(const struct isl_basic_map *bmap); | |
| unsigned isl_basic_map_total_dim(const struct isl_basic_map *bmap); | | unsigned isl_basic_map_total_dim(const struct isl_basic_map *bmap); | |
|
| unsigned isl_basic_map_dim(const struct isl_basic_map *bmap, | | unsigned isl_basic_map_dim(__isl_keep isl_basic_map *bmap, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| | | | |
| unsigned isl_map_n_in(const struct isl_map *map); | | unsigned isl_map_n_in(const struct isl_map *map); | |
| unsigned isl_map_n_out(const struct isl_map *map); | | unsigned isl_map_n_out(const struct isl_map *map); | |
| unsigned isl_map_n_param(const struct isl_map *map); | | unsigned isl_map_n_param(const struct isl_map *map); | |
|
| unsigned isl_map_dim(const struct isl_map *map, enum isl_dim_type type); | | unsigned isl_map_dim(__isl_keep isl_map *map, enum isl_dim_type type); | |
| | | | |
| isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap); | | isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap); | |
| isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map); | | isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map); | |
|
| __isl_give isl_dim *isl_basic_map_get_dim(__isl_keep isl_basic_map *bmap); | | __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bma | |
| __isl_give isl_dim *isl_map_get_dim(__isl_keep isl_map *map); | | p); | |
| | | __isl_give isl_space *isl_map_get_space(__isl_keep isl_map *map); | |
| | | | |
|
| struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, int pos); | | __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, | |
| | | 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); | |
| 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); | |
| | | | |
| skipping to change at line 87 | | skipping to change at line 87 | |
| 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); | |
| 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, | |
| | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | int isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | int isl_map_has_dim_id(__isl_keep isl_map *map, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | __isl_give isl_id *isl_map_get_dim_id(__isl_keep isl_map *map, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | __isl_give isl_map *isl_map_set_tuple_id(__isl_take isl_map *map, | |
| | | enum isl_dim_type type, __isl_take isl_id *id); | |
| | | __isl_give isl_map *isl_map_reset_tuple_id(__isl_take isl_map *map, | |
| | | enum isl_dim_type type); | |
| | | int isl_map_has_tuple_id(__isl_keep isl_map *map, enum isl_dim_type type); | |
| | | __isl_give isl_id *isl_map_get_tuple_id(__isl_keep isl_map *map, | |
| | | enum isl_dim_type type); | |
| | | | |
| | | int isl_map_find_dim_by_id(__isl_keep isl_map *map, enum isl_dim_type type, | |
| | | __isl_keep isl_id *id); | |
| | | int isl_map_find_dim_by_name(__isl_keep isl_map *map, enum isl_dim_type typ | |
| | | e, | |
| | | 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_dim *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); | |
|
| struct isl_basic_map *isl_basic_map_equal( | | __isl_give isl_basic_map *isl_basic_map_equal( | |
| struct isl_dim *dim, unsigned n_equal); | | __isl_take isl_space *dim, unsigned n_equal); | |
| struct isl_basic_map *isl_basic_map_less_at(struct isl_dim *dim, unsigned p | | __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *dim, | |
| os); | | unsigned pos); | |
| struct isl_basic_map *isl_basic_map_more_at(struct isl_dim *dim, unsigned p | | __isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *dim, | |
| os); | | unsigned pos); | |
| __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_dim *dim); | | __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *dim); | |
| 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_dim *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_dim *di | | ; | |
| m); | | __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_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_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_give isl_basic_map *isl_basic_map_intersect( | | __isl_give isl_basic_map *isl_basic_map_intersect( | |
| __isl_take isl_basic_map *bmap1, | | __isl_take isl_basic_map *bmap1, | |
| __isl_take isl_basic_map *bmap2); | | __isl_take isl_basic_map *bmap2); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_basic_map_union( | | __isl_give isl_map *isl_basic_map_union( | |
| __isl_take isl_basic_map *bmap1, | | __isl_take isl_basic_map *bmap1, | |
| __isl_take isl_basic_map *bmap2); | | __isl_take isl_basic_map *bmap2); | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_apply_domain( | | __isl_give isl_basic_map *isl_basic_map_apply_domain( | |
| __isl_take isl_basic_map *bmap1, | | __isl_take isl_basic_map *bmap1, | |
| __isl_take isl_basic_map *bmap2); | | __isl_take isl_basic_map *bmap2); | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_apply_range( | | __isl_give isl_basic_map *isl_basic_map_apply_range( | |
| __isl_take isl_basic_map *bmap1, | | __isl_take isl_basic_map *bmap1, | |
| __isl_take isl_basic_map *bmap2); | | __isl_take isl_basic_map *bmap2); | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_affine_hull( | | __isl_give isl_basic_map *isl_basic_map_affine_hull( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *b
map); | | __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *b
map); | |
| __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bm
ap); | | __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bm
ap); | |
| __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bma
p); | | __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bma
p); | |
| __isl_give isl_basic_map *isl_basic_map_domain_map( | | __isl_give isl_basic_map *isl_basic_map_domain_map( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
| __isl_give isl_basic_map *isl_basic_map_range_map( | | __isl_give isl_basic_map *isl_basic_map_range_map( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
| __isl_give isl_basic_map *isl_basic_map_remove_dims( | | __isl_give isl_basic_map *isl_basic_map_remove_dims( | |
| __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); | |
|
| struct isl_basic_map *isl_basic_map_from_basic_set(struct isl_basic_set *bs | | __isl_give isl_basic_map *isl_basic_map_eliminate( | |
| et, | | __isl_take isl_basic_map *bmap, | |
| struct isl_dim *dim); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | __isl_give isl_basic_map *isl_basic_map_from_basic_set( | |
| | | __isl_take isl_basic_set *bset, __isl_take isl_space *dim); | |
| struct isl_basic_set *isl_basic_set_from_basic_map(struct isl_basic_map *bm
ap); | | struct isl_basic_set *isl_basic_set_from_basic_map(struct isl_basic_map *bm
ap); | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bm
ap); | | __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bm
ap); | |
| struct isl_basic_map *isl_basic_map_simplify(struct isl_basic_map *bmap); | | struct isl_basic_map *isl_basic_map_simplify(struct isl_basic_map *bmap); | |
|
| struct isl_basic_map *isl_basic_map_detect_equalities( | | __isl_export | |
| struct isl_basic_map *bmap); | | __isl_give isl_basic_map *isl_basic_map_detect_equalities( | |
| | | __isl_take isl_basic_map *bm | |
| | | ap); | |
| __isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx, | | __isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx, | |
|
| FILE *input, int nparam); | | FILE *input); | |
| | | __isl_constructor | |
| __isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx, | | __isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx, | |
|
| const char *str, int nparam); | | const char *str); | |
| __isl_give isl_map *isl_map_read_from_file(struct isl_ctx *ctx, | | __isl_give isl_map *isl_map_read_from_file(isl_ctx *ctx, FILE *input); | |
| FILE *input, int nparam); | | __isl_constructor | |
| __isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx, | | __isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx, const char *str); | |
| const char *str, int nparam); | | | |
| void isl_basic_map_dump(__isl_keep isl_basic_map *bmap); | | void isl_basic_map_dump(__isl_keep isl_basic_map *bmap); | |
| void isl_basic_map_print(__isl_keep isl_basic_map *bmap, FILE *out, int ind
ent, | | void isl_basic_map_print(__isl_keep isl_basic_map *bmap, FILE *out, int ind
ent, | |
| const char *prefix, const char *suffix, unsigned output_format); | | const char *prefix, const char *suffix, unsigned output_format); | |
| void isl_map_dump(__isl_keep isl_map *map); | | void isl_map_dump(__isl_keep isl_map *map); | |
| void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent, | | void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent, | |
| 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); | |
| | | | |
| skipping to change at line 189 | | skipping to change at line 225 | |
| 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); | |
| | | | |
|
| | | __isl_export | |
| int isl_basic_map_is_equal( | | int isl_basic_map_is_equal( | |
| __isl_keep isl_basic_map *bmap1, | | __isl_keep isl_basic_map *bmap1, | |
| __isl_keep isl_basic_map *bmap2); | | __isl_keep isl_basic_map *bmap2); | |
| | | | |
| __isl_give isl_map *isl_basic_map_partial_lexmax( | | __isl_give isl_map *isl_basic_map_partial_lexmax( | |
| __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *do
m, | | __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *do
m, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_map *isl_basic_map_partial_lexmin( | | __isl_give isl_map *isl_basic_map_partial_lexmin( | |
| __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *do
m, | | __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *do
m, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_map *isl_map_partial_lexmax( | | __isl_give isl_map *isl_map_partial_lexmax( | |
| __isl_take isl_map *map, __isl_take isl_set *dom, | | __isl_take isl_map *map, __isl_take isl_set *dom, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_map *isl_map_partial_lexmin( | | __isl_give isl_map *isl_map_partial_lexmin( | |
| __isl_take isl_map *map, __isl_take isl_set *dom, | | __isl_take isl_map *map, __isl_take isl_set *dom, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_basic_map_lexmin(__isl_take isl_basic_map *bmap); | | __isl_give isl_map *isl_basic_map_lexmin(__isl_take isl_basic_map *bmap); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap); | | __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_map_lexmin(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_lexmin(__isl_take isl_map *map); | |
|
| | | __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); | |
|
| int isl_basic_map_foreach_lexmin(__isl_keep isl_basic_map *bmap, | | __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmin_pw_multi_aff( | |
| int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *li | | __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, | |
| st, | | __isl_give isl_set **empty); | |
| void *user), | | __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmax_pw_multi_aff( | |
| void *user); | | __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, | |
| int isl_basic_map_foreach_lexmax(__isl_keep isl_basic_map *bmap, | | __isl_give isl_set **empty); | |
| int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *li | | __isl_give isl_pw_multi_aff *isl_basic_map_lexmin_pw_multi_aff( | |
| st, | | __isl_take isl_basic_map *bmap); | |
| void *user), | | | |
| void *user); | | | |
| | | | |
| 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(struct 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 | |
| int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap); | | int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap); | |
| 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_dim *dim); | | __isl_give isl_map *isl_map_universe(__isl_take isl_space *dim); | |
| __isl_give isl_map *isl_map_nat_universe(__isl_take isl_dim *dim); | | __isl_give isl_map *isl_map_nat_universe(__isl_take isl_space *dim); | |
| __isl_give isl_map *isl_map_empty(__isl_take isl_dim *dim); | | __isl_give isl_map *isl_map_empty(__isl_take isl_space *dim); | |
| struct isl_map *isl_map_empty_like(struct isl_map *model); | | struct isl_map *isl_map_empty_like(struct isl_map *model); | |
| struct isl_map *isl_map_empty_like_basic_map(struct isl_basic_map *model); | | struct isl_map *isl_map_empty_like_basic_map(struct isl_basic_map *model); | |
| struct isl_map *isl_map_dup(struct isl_map *map); | | struct isl_map *isl_map_dup(struct isl_map *map); | |
| __isl_give isl_map *isl_map_add_basic_map(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_add_basic_map(__isl_take isl_map *map, | |
| __isl_take isl_basic_map *bm
ap); | | __isl_take isl_basic_map *bm
ap); | |
|
| __isl_give isl_map *isl_map_identity(__isl_take isl_dim *dim); | | __isl_give isl_map *isl_map_identity(__isl_take isl_space *dim); | |
| struct isl_map *isl_map_identity_like(struct isl_map *model); | | struct isl_map *isl_map_identity_like(struct isl_map *model); | |
| 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_dim *dim, unsigned | | __isl_give isl_map *isl_map_lex_lt_first(__isl_take isl_space *dim, unsigne | |
| n); | | d n); | |
| __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_dim *dim, unsigned | | __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_space *dim, unsigne | |
| n); | | d n); | |
| __isl_give isl_map *isl_map_lex_lt(__isl_take isl_dim *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_dim *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_dim *dim, unsigned | | __isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_space *dim, unsigne | |
| n); | | d n); | |
| __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_dim *dim, unsigned | | __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_space *dim, unsigne | |
| n); | | d n); | |
| __isl_give isl_map *isl_map_lex_gt(__isl_take isl_dim *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_dim *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_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_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( | |
| struct isl_map *map1, struct isl_map *map2); | | struct isl_map *map1, struct isl_map *map2); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_map_intersect_domain( | | __isl_give isl_map *isl_map_intersect_domain( | |
| __isl_take isl_map *map, | | __isl_take isl_map *map, | |
| __isl_take isl_set *set); | | __isl_take isl_set *set); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_map_intersect_range( | | __isl_give isl_map *isl_map_intersect_range( | |
| __isl_take isl_map *map, | | __isl_take isl_map *map, | |
| __isl_take isl_set *set); | | __isl_take isl_set *set); | |
|
| | | __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_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_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_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_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); | |
| __isl_give isl_basic_map *isl_basic_map_flat_product( | | __isl_give isl_basic_map *isl_basic_map_flat_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_flat_product(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_flat_product(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_basic_map *isl_basic_map_flat_range_product( | | __isl_give isl_basic_map *isl_basic_map_flat_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_flat_domain_product(__isl_take isl_map *map1, | |
| | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_flat_range_product(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_flat_range_product(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_map_intersect(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_intersect(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
|
| | | __isl_export | |
| __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_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_take isl_set *dom); | |
| | | __isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map, | |
| | | __isl_take isl_set *dom); | |
| 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_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, | |
| | | enum isl_dim_type type, unsigned pos, int value); | |
| | | __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_give isl_set *isl_map_deltas(__isl_take isl_map *map); | | __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map); | |
| __isl_give isl_basic_map *isl_basic_map_deltas_map( | | __isl_give isl_basic_map *isl_basic_map_deltas_map( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
| __isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map); | |
|
| struct isl_map *isl_map_detect_equalities(struct isl_map *map); | | __isl_export | |
| | | __isl_give isl_map *isl_map_detect_equalities(__isl_take isl_map *map); | |
| | | __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_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_map *isl_map_insert(__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_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, | |
| | | 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); | |
| 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_map *isl_map_equate(__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_oppose(__isl_take isl_map *map, | |
| | | enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 | |
| | | ); | |
| | | | |
| | | __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 | |
| 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 | |
| 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); | |
| __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bs
et); | | __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bs
et); | |
| __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set); | | __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set); | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *b
map); | | __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *b
map); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_map_flatten(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_flatten(__isl_take isl_map *map); | |
|
| | | __isl_export | |
| | | __isl_give isl_basic_map *isl_basic_map_flatten_domain( | |
| | | __isl_take isl_basic_map *bmap); | |
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_flatten_range( | | __isl_give isl_basic_map *isl_basic_map_flatten_range( | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
|
| | | __isl_export | |
| | | __isl_give isl_map *isl_map_flatten_domain(__isl_take isl_map *map); | |
| | | __isl_export | |
| __isl_give isl_map *isl_map_flatten_range(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_flatten_range(__isl_take isl_map *map); | |
|
| | | __isl_export | |
| __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *b
set); | | __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *b
set); | |
|
| | | __isl_export | |
| __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set); | |
| __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set); | | __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set); | |
|
| | | __isl_give isl_set *isl_map_params(__isl_take isl_map *map); | |
| __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap); | | __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap); | |
| __isl_give isl_set *isl_map_range(__isl_take isl_map *map); | | __isl_give isl_set *isl_map_range(__isl_take isl_map *map); | |
| __isl_give isl_map *isl_map_domain_map(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_domain_map(__isl_take isl_map *map); | |
| __isl_give isl_map *isl_map_range_map(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_range_map(__isl_take isl_map *map); | |
|
| | | __isl_constructor | |
| __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap); | | __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap); | |
| __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set); | | __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set); | |
| __isl_give isl_basic_map *isl_basic_map_from_domain( | | __isl_give isl_basic_map *isl_basic_map_from_domain( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| __isl_give isl_basic_map *isl_basic_map_from_range( | | __isl_give isl_basic_map *isl_basic_map_from_range( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| struct isl_map *isl_map_from_range(struct isl_set *set); | | struct isl_map *isl_map_from_range(struct isl_set *set); | |
| __isl_give isl_basic_map *isl_basic_map_from_domain_and_range( | | __isl_give isl_basic_map *isl_basic_map_from_domain_and_range( | |
| __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range); | | __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range); | |
| __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domai
n, | | __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domai
n, | |
| __isl_take isl_set *range); | | __isl_take isl_set *range); | |
|
| struct isl_map *isl_map_from_set(struct isl_set *set, struct isl_dim *dim); | | __isl_give isl_map *isl_map_from_set(__isl_take isl_set *set, | |
| | | __isl_take isl_space *dim); | |
| struct isl_set *isl_set_from_map(struct isl_map *map); | | struct isl_set *isl_set_from_map(struct isl_map *map); | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map); | | __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map); | |
| | | | |
| int isl_map_plain_is_empty(__isl_keep isl_map *map); | | int isl_map_plain_is_empty(__isl_keep isl_map *map); | |
| int isl_map_fast_is_empty(__isl_keep isl_map *map); | | int isl_map_fast_is_empty(__isl_keep isl_map *map); | |
| int isl_map_plain_is_universe(__isl_keep isl_map *map); | | int isl_map_plain_is_universe(__isl_keep isl_map *map); | |
|
| | | __isl_export | |
| int isl_map_is_empty(__isl_keep isl_map *map); | | int isl_map_is_empty(__isl_keep isl_map *map); | |
|
| | | __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 | |
| 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 | |
| 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 | |
| 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 | |
| int isl_map_is_injective(__isl_keep isl_map *map); | | int isl_map_is_injective(__isl_keep isl_map *map); | |
|
| | | __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_dim(__isl_keep isl_map *map1, __isl_keep isl_map *map
2); | | 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); | |
| | | | |
| __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); | |
| | | | |
|
| | | int isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, | |
| | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | int isl_map_involves_dims(__isl_keep isl_map *map, | |
| | | 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(struct isl_map *map, | | int isl_map_plain_is_fixed(__isl_keep isl_map *map, | |
| enum isl_dim_type type, unsigned pos, isl_int *val); | | enum isl_dim_type type, unsigned pos, isl_int *val); | |
| int isl_map_fast_is_fixed(__isl_keep isl_map *map, | | int isl_map_fast_is_fixed(__isl_keep isl_map *map, | |
| enum isl_dim_type type, unsigned pos, isl_int *val); | | enum isl_dim_type type, unsigned pos, isl_int *val); | |
| | | | |
|
| | | __isl_export | |
| __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap
, | | __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap
, | |
| __isl_take isl_basic_map *context); | | __isl_take isl_basic_map *context); | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_map_gist(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_gist(__isl_take isl_map *map, | |
| __isl_take isl_map *context); | | __isl_take isl_map *context); | |
|
| | | __isl_export | |
| | | __isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map, | |
| | | __isl_take isl_set *context); | |
| | | __isl_give isl_map *isl_map_gist_range(__isl_take isl_map *map, | |
| | | __isl_take isl_set *context); | |
| | | __isl_give isl_map *isl_map_gist_params(__isl_take isl_map *map, | |
| | | __isl_take isl_set *context); | |
| __isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map, | |
| __isl_take isl_basic_map *context); | | __isl_take isl_basic_map *context); | |
| | | | |
|
| | | __isl_export | |
| __isl_give isl_map *isl_map_coalesce(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_coalesce(__isl_take isl_map *map); | |
| | | | |
| int isl_map_plain_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *ma
p2); | | int isl_map_plain_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *ma
p2); | |
| 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 | |
| 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_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); | |
| | | | |
| skipping to change at line 448 | | skipping to change at line 564 | |
| __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_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_dim *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, | |
| 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_constraint_matrices( | | __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices( | |
|
| __isl_take isl_dim *dim, | | __isl_take isl_space *dim, | |
| __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_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_dim *domain_dim, __isl_take isl_aff_list *list); | | __isl_take isl_space *domain_dim, __isl_take isl_aff_list *list); | |
| | | | |
| | | __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> | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 85 change blocks. |
| 64 lines changed or deleted | | 187 lines changed or added | |
|
| polynomial.h | | polynomial.h | |
| #ifndef ISL_POLYNOMIAL_H | | #ifndef ISL_POLYNOMIAL_H | |
| #define ISL_POLYNOMIAL_H | | #define ISL_POLYNOMIAL_H | |
| | | | |
| #include <isl/ctx.h> | | #include <isl/ctx.h> | |
| #include <isl/constraint.h> | | #include <isl/constraint.h> | |
|
| #include <isl/dim.h> | | #include <isl/space.h> | |
| #include <isl/div.h> | | | |
| #include <isl/set_type.h> | | #include <isl/set_type.h> | |
| #include <isl/point.h> | | #include <isl/point.h> | |
| #include <isl/printer.h> | | #include <isl/printer.h> | |
| #include <isl/union_set.h> | | #include <isl/union_set.h> | |
| #include <isl/aff_type.h> | | #include <isl/aff_type.h> | |
|
| | | #include <isl/polynomial_type.h> | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| extern "C" { | | extern "C" { | |
| #endif | | #endif | |
| | | | |
|
| struct isl_qpolynomial; | | | |
| typedef struct isl_qpolynomial isl_qpolynomial; | | | |
| | | | |
| isl_ctx *isl_qpolynomial_get_ctx(__isl_keep isl_qpolynomial *qp); | | isl_ctx *isl_qpolynomial_get_ctx(__isl_keep isl_qpolynomial *qp); | |
|
| __isl_give isl_dim *isl_qpolynomial_get_dim(__isl_keep isl_qpolynomial *qp) | | __isl_give isl_space *isl_qpolynomial_get_domain_space( | |
| ; | | __isl_keep isl_qpolynomial *qp); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_reset_dim( | | __isl_give isl_space *isl_qpolynomial_get_space(__isl_keep isl_qpolynomial | |
| __isl_take isl_qpolynomial *qp, __isl_take isl_dim *dim); | | *qp); | |
| unsigned isl_qpolynomial_dim(__isl_keep isl_qpolynomial *qp, | | unsigned isl_qpolynomial_dim(__isl_keep isl_qpolynomial *qp, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| int isl_qpolynomial_involves_dims(__isl_keep isl_qpolynomial *qp, | | int isl_qpolynomial_involves_dims(__isl_keep isl_qpolynomial *qp, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_set_dim_name( | | __isl_give isl_qpolynomial *isl_qpolynomial_set_dim_name( | |
| __isl_take isl_qpolynomial *qp, | | __isl_take isl_qpolynomial *qp, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
|
| __isl_give isl_qpolynomial *isl_qpolynomial_zero(__isl_take isl_dim *dim); | | __isl_give isl_qpolynomial *isl_qpolynomial_zero_on_domain(__isl_take isl_s | |
| __isl_give isl_qpolynomial *isl_qpolynomial_one(__isl_take isl_dim *dim); | | pace *dim); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_infty(__isl_take isl_dim *dim); | | __isl_give isl_qpolynomial *isl_qpolynomial_one_on_domain(__isl_take isl_sp | |
| __isl_give isl_qpolynomial *isl_qpolynomial_neginfty(__isl_take isl_dim *di | | ace *dim); | |
| m); | | __isl_give isl_qpolynomial *isl_qpolynomial_infty_on_domain(__isl_take isl_ | |
| __isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim); | | space *dim); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim | | __isl_give isl_qpolynomial *isl_qpolynomial_neginfty_on_domain(__isl_take i | |
| , | | sl_space *dim); | |
| | | __isl_give isl_qpolynomial *isl_qpolynomial_nan_on_domain(__isl_take isl_sp | |
| | | ace *dim); | |
| | | __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst_on_domain(__isl_take is | |
| | | l_space *dim, | |
| const isl_int n, const isl_int d); | | const isl_int n, const isl_int d); | |
|
| __isl_give isl_qpolynomial *isl_qpolynomial_div(__isl_take isl_div *div); | | __isl_give isl_qpolynomial *isl_qpolynomial_var_on_domain(__isl_take isl_sp | |
| __isl_give isl_qpolynomial *isl_qpolynomial_var(__isl_take isl_dim *dim, | | ace *dim, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial
*qp); | | __isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial
*qp); | |
|
| void isl_qpolynomial_free(__isl_take isl_qpolynomial *qp); | | void *isl_qpolynomial_free(__isl_take isl_qpolynomial *qp); | |
| | | | |
| int isl_qpolynomial_plain_is_equal(__isl_keep isl_qpolynomial *qp1, | | int isl_qpolynomial_plain_is_equal(__isl_keep isl_qpolynomial *qp1, | |
| __isl_keep isl_qpolynomial *qp2); | | __isl_keep isl_qpolynomial *qp2); | |
| int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp); | | int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp); | |
| int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp); | | int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp); | |
| int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp); | | int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp); | |
| int isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial *qp); | | int isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial *qp); | |
| int isl_qpolynomial_sgn(__isl_keep isl_qpolynomial *qp); | | int isl_qpolynomial_sgn(__isl_keep isl_qpolynomial *qp); | |
| int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp, | | int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp, | |
| isl_int *n, isl_int *d); | | isl_int *n, isl_int *d); | |
| | | | |
| skipping to change at line 83 | | skipping to change at line 79 | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_insert_dims( | | __isl_give isl_qpolynomial *isl_qpolynomial_insert_dims( | |
| __isl_take isl_qpolynomial *qp, enum isl_dim_type type, | | __isl_take isl_qpolynomial *qp, enum isl_dim_type type, | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_add_dims( | | __isl_give isl_qpolynomial *isl_qpolynomial_add_dims( | |
| __isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned n); | | __isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned n); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_move_dims( | | __isl_give isl_qpolynomial *isl_qpolynomial_move_dims( | |
| __isl_take isl_qpolynomial *qp, | | __isl_take isl_qpolynomial *qp, | |
| 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_qpolynomial *isl_qpolynomial_project_domain_on_params( | |
| | | __isl_take isl_qpolynomial *qp); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_drop_dims( | | __isl_give isl_qpolynomial *isl_qpolynomial_drop_dims( | |
| __isl_take isl_qpolynomial *qp, | | __isl_take isl_qpolynomial *qp, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_substitute( | | __isl_give isl_qpolynomial *isl_qpolynomial_substitute( | |
| __isl_take isl_qpolynomial *qp, | | __isl_take isl_qpolynomial *qp, | |
| enum isl_dim_type type, unsigned first, unsigned n, | | enum isl_dim_type type, unsigned first, unsigned n, | |
| __isl_keep isl_qpolynomial **subs); | | __isl_keep isl_qpolynomial **subs); | |
| | | | |
| int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial *qp, | | int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial *qp, | |
| __isl_keep isl_basic_set *bset, | | __isl_keep isl_basic_set *bset, | |
| int (*fn)(__isl_take isl_basic_set *bset, | | int (*fn)(__isl_take isl_basic_set *bset, | |
| __isl_take isl_qpolynomial *poly, void *user), void *user)
; | | __isl_take isl_qpolynomial *poly, void *user), void *user)
; | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_homogenize( | | __isl_give isl_qpolynomial *isl_qpolynomial_homogenize( | |
| __isl_take isl_qpolynomial *poly); | | __isl_take isl_qpolynomial *poly); | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_align_params( | | __isl_give isl_qpolynomial *isl_qpolynomial_align_params( | |
|
| __isl_take isl_qpolynomial *qp, __isl_take isl_dim *model); | | __isl_take isl_qpolynomial *qp, __isl_take isl_space *model); | |
| | | | |
| struct isl_term; | | | |
| typedef struct isl_term isl_term; | | | |
| | | | |
| isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term); | | isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term); | |
| | | | |
|
| | | __isl_give isl_term *isl_term_copy(__isl_keep isl_term *term); | |
| void isl_term_free(__isl_take isl_term *term); | | void isl_term_free(__isl_take isl_term *term); | |
| | | | |
| unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type); | | unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type); | |
| void isl_term_get_num(__isl_keep isl_term *term, isl_int *n); | | void isl_term_get_num(__isl_keep isl_term *term, isl_int *n); | |
| void isl_term_get_den(__isl_keep isl_term *term, isl_int *d); | | void isl_term_get_den(__isl_keep isl_term *term, isl_int *d); | |
| int isl_term_get_exp(__isl_keep isl_term *term, | | int isl_term_get_exp(__isl_keep isl_term *term, | |
| enum isl_dim_type type, unsigned pos); | | enum isl_dim_type type, unsigned pos); | |
|
| __isl_give isl_div *isl_term_get_div(__isl_keep isl_term *term, unsigned po
s); | | __isl_give isl_aff *isl_term_get_div(__isl_keep isl_term *term, unsigned po
s); | |
| | | | |
| int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp, | | int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp, | |
| int (*fn)(__isl_take isl_term *term, void *user), void *user); | | int (*fn)(__isl_take isl_term *term, void *user), void *user); | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_eval( | | __isl_give isl_qpolynomial *isl_qpolynomial_eval( | |
| __isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt); | | __isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt); | |
| | | | |
|
| | | __isl_give isl_qpolynomial *isl_qpolynomial_gist_params( | |
| | | __isl_take isl_qpolynomial *qp, __isl_take isl_set *context); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_gist( | | __isl_give isl_qpolynomial *isl_qpolynomial_gist( | |
| __isl_take isl_qpolynomial *qp, __isl_take isl_set *context); | | __isl_take isl_qpolynomial *qp, __isl_take isl_set *context); | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_from_constraint( | | __isl_give isl_qpolynomial *isl_qpolynomial_from_constraint( | |
| __isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos); | | __isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_from_term(__isl_take isl_term *
term); | | __isl_give isl_qpolynomial *isl_qpolynomial_from_term(__isl_take isl_term *
term); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_from_aff(__isl_take isl_aff *af
f); | | __isl_give isl_qpolynomial *isl_qpolynomial_from_aff(__isl_take isl_aff *af
f); | |
| __isl_give isl_basic_map *isl_basic_map_from_qpolynomial( | | __isl_give isl_basic_map *isl_basic_map_from_qpolynomial( | |
| __isl_take isl_qpolynomial *qp); | | __isl_take isl_qpolynomial *qp); | |
| | | | |
| __isl_give isl_printer *isl_printer_print_qpolynomial( | | __isl_give isl_printer *isl_printer_print_qpolynomial( | |
| __isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp); | | __isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp); | |
| void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out, | | void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out, | |
| unsigned output_format); | | unsigned output_format); | |
| void isl_qpolynomial_dump(__isl_keep isl_qpolynomial *qp); | | void isl_qpolynomial_dump(__isl_keep isl_qpolynomial *qp); | |
| | | | |
|
| struct isl_pw_qpolynomial; | | | |
| typedef struct isl_pw_qpolynomial isl_pw_qpolynomial; | | | |
| | | | |
| isl_ctx *isl_pw_qpolynomial_get_ctx(__isl_keep isl_pw_qpolynomial *pwqp); | | isl_ctx *isl_pw_qpolynomial_get_ctx(__isl_keep isl_pw_qpolynomial *pwqp); | |
| | | | |
|
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_zero(__isl_take isl_dim * | | int isl_pw_qpolynomial_plain_is_equal(__isl_keep isl_pw_qpolynomial *pwqp1, | |
| dim); | | __isl_keep isl_pw_qpolynomial *pwqp2); | |
| | | | |
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_zero(__isl_take isl_space | |
| | | *dim); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set
*set, | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set
*set, | |
| __isl_take isl_qpolynomial *qp); | | __isl_take isl_qpolynomial *qp); | |
|
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_from_qpolynomial( | |
| | | __isl_take isl_qpolynomial *qp); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_copy( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_copy( | |
| __isl_keep isl_pw_qpolynomial *pwqp); | | __isl_keep isl_pw_qpolynomial *pwqp); | |
| void *isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp); | | void *isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp); | |
| | | | |
| int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp); | | int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp); | |
| | | | |
|
| __isl_give isl_dim *isl_pw_qpolynomial_get_dim( | | __isl_give isl_space *isl_pw_qpolynomial_get_domain_space( | |
| __isl_keep isl_pw_qpolynomial *pwqp); | | __isl_keep isl_pw_qpolynomial *pwqp); | |
|
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_reset_dim( | | __isl_give isl_space *isl_pw_qpolynomial_get_space( | |
| __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_dim *dim); | | __isl_keep isl_pw_qpolynomial *pwqp); | |
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_reset_domain_space( | |
| | | __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_space *dim); | |
| unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp, | | unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| int isl_pw_qpolynomial_involves_dims(__isl_keep isl_pw_qpolynomial *pwqp, | | int isl_pw_qpolynomial_involves_dims(__isl_keep isl_pw_qpolynomial *pwqp, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
|
| int isl_pw_qpolynomial_has_equal_dim(__isl_keep isl_pw_qpolynomial *pwqp1, | | int isl_pw_qpolynomial_has_equal_space(__isl_keep isl_pw_qpolynomial *pwqp1
, | |
| __isl_keep isl_pw_qpolynomial *pwqp2); | | __isl_keep isl_pw_qpolynomial *pwqp2); | |
| | | | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_set_dim_name( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_set_dim_name( | |
| __isl_take isl_pw_qpolynomial *pwqp, | | __isl_take isl_pw_qpolynomial *pwqp, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
| __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial
*pwqp); | | __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial
*pwqp); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_intersect_domain( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_intersect_domain( | |
| __isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set); | | __isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set); | |
|
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_intersect_params( | |
| | | __isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set); | |
| | | | |
|
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_project_domain_on_params( | |
| | | __isl_take isl_pw_qpolynomial *pwqp); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_drop_dims( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_drop_dims( | |
| __isl_take isl_pw_qpolynomial *pwqp, | | __isl_take isl_pw_qpolynomial *pwqp, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_split_dims( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_split_dims( | |
| __isl_take isl_pw_qpolynomial *pwqp, | | __isl_take isl_pw_qpolynomial *pwqp, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add( | |
| __isl_take isl_pw_qpolynomial *pwqp1, | | __isl_take isl_pw_qpolynomial *pwqp1, | |
| __isl_take isl_pw_qpolynomial *pwqp2); | | __isl_take isl_pw_qpolynomial *pwqp2); | |
| | | | |
| skipping to change at line 195 | | skipping to change at line 201 | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint( | |
| __isl_take isl_pw_qpolynomial *pwqp1, | | __isl_take isl_pw_qpolynomial *pwqp1, | |
| __isl_take isl_pw_qpolynomial *pwqp2); | | __isl_take isl_pw_qpolynomial *pwqp2); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg( | |
| __isl_take isl_pw_qpolynomial *pwqp); | | __isl_take isl_pw_qpolynomial *pwqp); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul( | |
| __isl_take isl_pw_qpolynomial *pwqp1, | | __isl_take isl_pw_qpolynomial *pwqp1, | |
| __isl_take isl_pw_qpolynomial *pwqp2); | | __isl_take isl_pw_qpolynomial *pwqp2); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul_isl_int( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul_isl_int( | |
| __isl_take isl_pw_qpolynomial *pwqp, isl_int v); | | __isl_take isl_pw_qpolynomial *pwqp, isl_int v); | |
|
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_pow( | |
| | | __isl_take isl_pw_qpolynomial *pwqp, unsigned exponent); | |
| | | | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_insert_dims( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_insert_dims( | |
| __isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, | | __isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_dims( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_dims( | |
| __isl_take isl_pw_qpolynomial *pwqp, | | __isl_take isl_pw_qpolynomial *pwqp, | |
| enum isl_dim_type type, unsigned n); | | enum isl_dim_type type, unsigned n); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move_dims( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move_dims( | |
| __isl_take isl_pw_qpolynomial *pwqp, | | __isl_take isl_pw_qpolynomial *pwqp, | |
| enum isl_dim_type dst_type, unsigned dst_pos, | | enum isl_dim_type dst_type, unsigned dst_pos, | |
| | | | |
| skipping to change at line 226 | | skipping to change at line 234 | |
| __isl_give isl_qpolynomial *isl_pw_qpolynomial_min( | | __isl_give isl_qpolynomial *isl_pw_qpolynomial_min( | |
| __isl_take isl_pw_qpolynomial *pwqp); | | __isl_take isl_pw_qpolynomial *pwqp); | |
| | | | |
| int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp, | | int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp, | |
| int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, | | int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, | |
| void *user), void *user); | | void *user), void *user); | |
| int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *
pwqp, | | int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *
pwqp, | |
| int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, | | int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, | |
| void *user), void *user); | | void *user), void *user); | |
| | | | |
|
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_from_pw_aff( | |
| | | __isl_take isl_pw_aff *pwaff); | |
| | | | |
| | | __isl_constructor | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ct
x, | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ct
x, | |
| const char *str); | | const char *str); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_file(isl_ctx *c
tx, | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_file(isl_ctx *c
tx, | |
| FILE *input); | | FILE *input); | |
| __isl_give isl_printer *isl_printer_print_pw_qpolynomial( | | __isl_give isl_printer *isl_printer_print_pw_qpolynomial( | |
| __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp); | | __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp); | |
| void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *ou
t, | | void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *ou
t, | |
| unsigned output_format); | | unsigned output_format); | |
| void isl_pw_qpolynomial_dump(__isl_keep isl_pw_qpolynomial *pwqp); | | void isl_pw_qpolynomial_dump(__isl_keep isl_pw_qpolynomial *pwqp); | |
| | | | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_coalesce( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_coalesce( | |
| __isl_take isl_pw_qpolynomial *pwqp); | | __isl_take isl_pw_qpolynomial *pwqp); | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist( | |
| __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context); | | __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context); | |
|
| | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist_params( | |
| | | __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context); | |
| | | | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_split_periods( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_split_periods( | |
| __isl_take isl_pw_qpolynomial *pwqp, int max_periods); | | __isl_take isl_pw_qpolynomial *pwqp, int max_periods); | |
| | | | |
| __isl_give isl_pw_qpolynomial *isl_basic_set_multiplicative_call( | | __isl_give isl_pw_qpolynomial *isl_basic_set_multiplicative_call( | |
| __isl_take isl_basic_set *bset, | | __isl_take isl_basic_set *bset, | |
| __isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset)
); | | __isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset)
); | |
| | | | |
|
| enum isl_fold { | | | |
| isl_fold_min, | | | |
| isl_fold_max, | | | |
| isl_fold_list | | | |
| }; | | | |
| | | | |
| struct isl_qpolynomial_fold; | | | |
| typedef struct isl_qpolynomial_fold isl_qpolynomial_fold; | | | |
| | | | |
| isl_ctx *isl_qpolynomial_fold_get_ctx(__isl_keep isl_qpolynomial_fold *fold
); | | isl_ctx *isl_qpolynomial_fold_get_ctx(__isl_keep isl_qpolynomial_fold *fold
); | |
| enum isl_fold isl_qpolynomial_fold_get_type(__isl_keep isl_qpolynomial_fold
*fold); | | enum isl_fold isl_qpolynomial_fold_get_type(__isl_keep isl_qpolynomial_fold
*fold); | |
| | | | |
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold t
ype, | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold t
ype, | |
|
| __isl_take isl_dim *dim); | | __isl_take isl_space *dim); | |
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc( | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc( | |
| enum isl_fold type, __isl_take isl_qpolynomial *qp); | | enum isl_fold type, __isl_take isl_qpolynomial *qp); | |
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy( | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy( | |
| __isl_keep isl_qpolynomial_fold *fold); | | __isl_keep isl_qpolynomial_fold *fold); | |
| void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold); | | void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold); | |
| | | | |
|
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_reset_dim( | | | |
| __isl_take isl_qpolynomial_fold *fold, __isl_take isl_dim *dim); | | | |
| | | | |
| int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold); | | int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold); | |
| int isl_qpolynomial_fold_plain_is_equal(__isl_keep isl_qpolynomial_fold *fo
ld1, | | int isl_qpolynomial_fold_plain_is_equal(__isl_keep isl_qpolynomial_fold *fo
ld1, | |
| __isl_keep isl_qpolynomial_fold *fold2); | | __isl_keep isl_qpolynomial_fold *fold2); | |
| | | | |
|
| __isl_give isl_dim *isl_qpolynomial_fold_get_dim( | | __isl_give isl_space *isl_qpolynomial_fold_get_space( | |
| __isl_keep isl_qpolynomial_fold *fold); | | __isl_keep isl_qpolynomial_fold *fold); | |
| | | | |
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold( | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold( | |
| __isl_take isl_qpolynomial_fold *fold1, | | __isl_take isl_qpolynomial_fold *fold1, | |
| __isl_take isl_qpolynomial_fold *fold2); | | __isl_take isl_qpolynomial_fold *fold2); | |
| | | | |
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int( | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int( | |
| __isl_take isl_qpolynomial_fold *fold, isl_int v); | | __isl_take isl_qpolynomial_fold *fold, isl_int v); | |
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale( | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale( | |
| __isl_take isl_qpolynomial_fold *fold, isl_int v); | | __isl_take isl_qpolynomial_fold *fold, isl_int v); | |
| | | | |
| skipping to change at line 300 | | skipping to change at line 302 | |
| 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_qpolynomial_fold *isl_qpolynomial_fold_substitute( | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute( | |
| __isl_take isl_qpolynomial_fold *fold, | | __isl_take isl_qpolynomial_fold *fold, | |
| enum isl_dim_type type, unsigned first, unsigned n, | | enum isl_dim_type type, unsigned first, unsigned n, | |
| __isl_keep isl_qpolynomial **subs); | | __isl_keep isl_qpolynomial **subs); | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval( | | __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval( | |
| __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt); | | __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt); | |
| | | | |
|
| | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params( | |
| | | __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context); | |
| | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist( | |
| | | __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context); | |
| | | | |
| int isl_qpolynomial_fold_foreach_qpolynomial( | | int isl_qpolynomial_fold_foreach_qpolynomial( | |
| __isl_keep isl_qpolynomial_fold *fold, | | __isl_keep isl_qpolynomial_fold *fold, | |
| int (*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user); | | int (*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user); | |
| | | | |
| __isl_give isl_printer *isl_printer_print_qpolynomial_fold( | | __isl_give isl_printer *isl_printer_print_qpolynomial_fold( | |
| __isl_take isl_printer *p, __isl_keep isl_qpolynomial_fold *fold); | | __isl_take isl_printer *p, __isl_keep isl_qpolynomial_fold *fold); | |
| void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold *fold, FILE
*out, | | void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold *fold, FILE
*out, | |
| unsigned output_format); | | unsigned output_format); | |
| void isl_qpolynomial_fold_dump(__isl_keep isl_qpolynomial_fold *fold); | | void isl_qpolynomial_fold_dump(__isl_keep isl_qpolynomial_fold *fold); | |
| | | | |
|
| struct isl_pw_qpolynomial_fold; | | | |
| typedef struct isl_pw_qpolynomial_fold isl_pw_qpolynomial_fold; | | | |
| | | | |
| isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold
*pwf); | | isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold
*pwf); | |
| | | | |
|
| | | int isl_pw_qpolynomial_fold_plain_is_equal( | |
| | | __isl_keep isl_pw_qpolynomial_fold *pwf1, | |
| | | __isl_keep isl_pw_qpolynomial_fold *pwf2); | |
| | | | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolyno
mial( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolyno
mial( | |
| enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp); | | enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp); | |
| | | | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_alloc( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_alloc( | |
| enum isl_fold type, | | enum isl_fold type, | |
| __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold); | | __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy( | |
| __isl_keep isl_pw_qpolynomial_fold *pwf); | | __isl_keep isl_pw_qpolynomial_fold *pwf); | |
| void *isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf)
; | | void *isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf)
; | |
| | | | |
| int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold *pwf
); | | int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold *pwf
); | |
| | | | |
|
| __isl_give isl_dim *isl_pw_qpolynomial_fold_get_dim( | | __isl_give isl_space *isl_pw_qpolynomial_fold_get_domain_space( | |
| __isl_keep isl_pw_qpolynomial_fold *pwf); | | __isl_keep isl_pw_qpolynomial_fold *pwf); | |
|
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_reset_dim( | | __isl_give isl_space *isl_pw_qpolynomial_fold_get_space( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_dim *dim); | | __isl_keep isl_pw_qpolynomial_fold *pwf); | |
| | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_reset_space( | |
| | | __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_space *dim); | |
| unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pw
f, | | unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pw
f, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
|
| int isl_pw_qpolynomial_fold_has_equal_dim( | | int isl_pw_qpolynomial_fold_has_equal_space( | |
| __isl_keep isl_pw_qpolynomial_fold *pwf1, | | __isl_keep isl_pw_qpolynomial_fold *pwf1, | |
| __isl_keep isl_pw_qpolynomial_fold *pwf2); | | __isl_keep isl_pw_qpolynomial_fold *pwf2); | |
| | | | |
| size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf
); | | size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf
); | |
| | | | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero( | |
|
| __isl_take isl_dim *dim, enum isl_fold type); | | __isl_take isl_space *dim, enum isl_fold type); | |
| | | | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_set_dim_name( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_set_dim_name( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, | | __isl_take isl_pw_qpolynomial_fold *pwf, | |
| enum isl_dim_type type, unsigned pos, const char *s); | | enum isl_dim_type type, unsigned pos, const char *s); | |
| | | | |
| __isl_give isl_set *isl_pw_qpolynomial_fold_domain( | | __isl_give isl_set *isl_pw_qpolynomial_fold_domain( | |
| __isl_take isl_pw_qpolynomial_fold *pwf); | | __isl_take isl_pw_qpolynomial_fold *pwf); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_intersect_domai
n( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_intersect_domai
n( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set); | | __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set); | |
|
| | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_intersect_param | |
| | | s( | |
| | | __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set); | |
| | | | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add( | |
| __isl_take isl_pw_qpolynomial_fold *pwf1, | | __isl_take isl_pw_qpolynomial_fold *pwf1, | |
| __isl_take isl_pw_qpolynomial_fold *pwf2); | | __isl_take isl_pw_qpolynomial_fold *pwf2); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fold( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fold( | |
| __isl_take isl_pw_qpolynomial_fold *pwf1, | | __isl_take isl_pw_qpolynomial_fold *pwf1, | |
| __isl_take isl_pw_qpolynomial_fold *pwf2); | | __isl_take isl_pw_qpolynomial_fold *pwf2); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint( | |
| __isl_take isl_pw_qpolynomial_fold *pwf1, | | __isl_take isl_pw_qpolynomial_fold *pwf1, | |
| __isl_take isl_pw_qpolynomial_fold *pwf2); | | __isl_take isl_pw_qpolynomial_fold *pwf2); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_mul_isl_int( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_mul_isl_int( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, isl_int v); | | __isl_take isl_pw_qpolynomial_fold *pwf, isl_int v); | |
| | | | |
|
| | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_project_domain_ | |
| | | on_params( | |
| | | __isl_take isl_pw_qpolynomial_fold *pwf); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_drop_dims( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_drop_dims( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, | | __isl_take isl_pw_qpolynomial_fold *pwf, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_move_dims( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_move_dims( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, | | __isl_take isl_pw_qpolynomial_fold *pwf, | |
| 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_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fix_dim( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fix_dim( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, | | __isl_take isl_pw_qpolynomial_fold *pwf, | |
| | | | |
| skipping to change at line 397 | | skipping to change at line 411 | |
| __isl_give isl_printer *isl_printer_print_pw_qpolynomial_fold( | | __isl_give isl_printer *isl_printer_print_pw_qpolynomial_fold( | |
| __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf); | | __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf); | |
| void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf, | | void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf, | |
| FILE *out, unsigned output_format); | | FILE *out, unsigned output_format); | |
| void isl_pw_qpolynomial_fold_dump(__isl_keep isl_pw_qpolynomial_fold *pwf); | | void isl_pw_qpolynomial_fold_dump(__isl_keep isl_pw_qpolynomial_fold *pwf); | |
| | | | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_coalesce( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_coalesce( | |
| __isl_take isl_pw_qpolynomial_fold *pwf); | | __isl_take isl_pw_qpolynomial_fold *pwf); | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_gist( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_gist( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context
); | | __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context
); | |
|
| | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_gist_params( | |
| | | __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context | |
| | | ); | |
| | | | |
| __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_max( | | __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_max( | |
| __isl_take isl_pw_qpolynomial_fold *pwf); | | __isl_take isl_pw_qpolynomial_fold *pwf); | |
| __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_min( | | __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_min( | |
| __isl_take isl_pw_qpolynomial_fold *pwf); | | __isl_take isl_pw_qpolynomial_fold *pwf); | |
| | | | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound( | |
| __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int *tight)
; | | __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int *tight)
; | |
| __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_bound( | | __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_bound( | |
| __isl_take isl_pw_qpolynomial_fold *pwf, int *tight); | | __isl_take isl_pw_qpolynomial_fold *pwf, int *tight); | |
| __isl_give isl_pw_qpolynomial_fold *isl_set_apply_pw_qpolynomial_fold( | | __isl_give isl_pw_qpolynomial_fold *isl_set_apply_pw_qpolynomial_fold( | |
| __isl_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf, | | __isl_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf, | |
| int *tight); | | int *tight); | |
| __isl_give isl_pw_qpolynomial_fold *isl_map_apply_pw_qpolynomial_fold( | | __isl_give isl_pw_qpolynomial_fold *isl_map_apply_pw_qpolynomial_fold( | |
| __isl_take isl_map *map, __isl_take isl_pw_qpolynomial_fold *pwf, | | __isl_take isl_map *map, __isl_take isl_pw_qpolynomial_fold *pwf, | |
| int *tight); | | int *tight); | |
| | | | |
| __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_to_polynomial( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_to_polynomial( | |
| __isl_take isl_pw_qpolynomial *pwqp, int sign); | | __isl_take isl_pw_qpolynomial *pwqp, int sign); | |
| | | | |
|
| struct isl_union_pw_qpolynomial; | | | |
| typedef struct isl_union_pw_qpolynomial isl_union_pw_qpolynomial; | | | |
| | | | |
| isl_ctx *isl_union_pw_qpolynomial_get_ctx( | | isl_ctx *isl_union_pw_qpolynomial_get_ctx( | |
| __isl_keep isl_union_pw_qpolynomial *upwqp); | | __isl_keep isl_union_pw_qpolynomial *upwqp); | |
| | | | |
|
| | | int isl_union_pw_qpolynomial_plain_is_equal( | |
| | | __isl_keep isl_union_pw_qpolynomial *upwqp1, | |
| | | __isl_keep isl_union_pw_qpolynomial *upwqp2); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_from_pw_qpoly
nomial(__isl_take isl_pw_qpolynomial *pwqp); | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_from_pw_qpoly
nomial(__isl_take isl_pw_qpolynomial *pwqp); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_zero( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_zero( | |
|
| __isl_take isl_dim *dim); | | __isl_take isl_space *dim); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add_pw_qpolyn
omial( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add_pw_qpolyn
omial( | |
| __isl_take isl_union_pw_qpolynomial *upwqp, | | __isl_take isl_union_pw_qpolynomial *upwqp, | |
| __isl_take isl_pw_qpolynomial *pwqp); | | __isl_take isl_pw_qpolynomial *pwqp); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_copy( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_copy( | |
| __isl_keep isl_union_pw_qpolynomial *upwqp); | | __isl_keep isl_union_pw_qpolynomial *upwqp); | |
| void isl_union_pw_qpolynomial_free(__isl_take isl_union_pw_qpolynomial *upw
qp); | | void isl_union_pw_qpolynomial_free(__isl_take isl_union_pw_qpolynomial *upw
qp); | |
| | | | |
|
| | | __isl_constructor | |
| | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_read_from_str | |
| | | ( | |
| | | isl_ctx *ctx, const char *str); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_add( | |
| __isl_take isl_union_pw_qpolynomial *upwqp1, | | __isl_take isl_union_pw_qpolynomial *upwqp1, | |
| __isl_take isl_union_pw_qpolynomial *upwqp2); | | __isl_take isl_union_pw_qpolynomial *upwqp2); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sub( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sub( | |
| __isl_take isl_union_pw_qpolynomial *upwqp1, | | __isl_take isl_union_pw_qpolynomial *upwqp1, | |
| __isl_take isl_union_pw_qpolynomial *upwqp2); | | __isl_take isl_union_pw_qpolynomial *upwqp2); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul( | |
| __isl_take isl_union_pw_qpolynomial *upwqp1, | | __isl_take isl_union_pw_qpolynomial *upwqp1, | |
| __isl_take isl_union_pw_qpolynomial *upwqp2); | | __isl_take isl_union_pw_qpolynomial *upwqp2); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul_isl_int( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul_isl_int( | |
| __isl_take isl_union_pw_qpolynomial *upwqp, isl_int v); | | __isl_take isl_union_pw_qpolynomial *upwqp, isl_int v); | |
| | | | |
| __isl_give isl_union_set *isl_union_pw_qpolynomial_domain( | | __isl_give isl_union_set *isl_union_pw_qpolynomial_domain( | |
| __isl_take isl_union_pw_qpolynomial *upwqp); | | __isl_take isl_union_pw_qpolynomial *upwqp); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_dom
ain( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_dom
ain( | |
| __isl_take isl_union_pw_qpolynomial *upwpq, | | __isl_take isl_union_pw_qpolynomial *upwpq, | |
| __isl_take isl_union_set *uset); | | __isl_take isl_union_set *uset); | |
|
| | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_par | |
| | | ams( | |
| | | __isl_take isl_union_pw_qpolynomial *upwpq, | |
| | | __isl_take isl_set *set); | |
| | | | |
|
| __isl_give isl_dim *isl_union_pw_qpolynomial_get_dim( | | __isl_give isl_space *isl_union_pw_qpolynomial_get_space( | |
| __isl_keep isl_union_pw_qpolynomial *upwqp); | | __isl_keep isl_union_pw_qpolynomial *upwqp); | |
| | | | |
| __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_eval( | | __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_eval( | |
| __isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_point *pn
t); | | __isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_point *pn
t); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_coalesce( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_coalesce( | |
| __isl_take isl_union_pw_qpolynomial *upwqp); | | __isl_take isl_union_pw_qpolynomial *upwqp); | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist( | |
| __isl_take isl_union_pw_qpolynomial *upwqp, | | __isl_take isl_union_pw_qpolynomial *upwqp, | |
| __isl_take isl_union_set *context); | | __isl_take isl_union_set *context); | |
|
| | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist_params( | |
| | | __isl_take isl_union_pw_qpolynomial *upwqp, | |
| | | __isl_take isl_set *context); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_align_params( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_align_params( | |
| __isl_take isl_union_pw_qpolynomial *upwqp, | | __isl_take isl_union_pw_qpolynomial *upwqp, | |
|
| __isl_take isl_dim *model); | | __isl_take isl_space *model); | |
| | | | |
| int isl_union_pw_qpolynomial_foreach_pw_qpolynomial( | | int isl_union_pw_qpolynomial_foreach_pw_qpolynomial( | |
| __isl_keep isl_union_pw_qpolynomial *upwqp, | | __isl_keep isl_union_pw_qpolynomial *upwqp, | |
| int (*fn)(__isl_take isl_pw_qpolynomial *pwqp, void *user), void *us
er); | | int (*fn)(__isl_take isl_pw_qpolynomial *pwqp, void *user), void *us
er); | |
| __isl_give isl_pw_qpolynomial *isl_union_pw_qpolynomial_extract_pw_qpolynom
ial( | | __isl_give isl_pw_qpolynomial *isl_union_pw_qpolynomial_extract_pw_qpolynom
ial( | |
|
| __isl_keep isl_union_pw_qpolynomial *upwqp, __isl_take isl_dim *dim)
; | | __isl_keep isl_union_pw_qpolynomial *upwqp, __isl_take isl_space *di
m); | |
| | | | |
| __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial( | | __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial( | |
| __isl_take isl_printer *p, __isl_keep isl_union_pw_qpolynomial *upwq
p); | | __isl_take isl_printer *p, __isl_keep isl_union_pw_qpolynomial *upwq
p); | |
| | | | |
|
| struct isl_union_pw_qpolynomial_fold; | | | |
| typedef struct isl_union_pw_qpolynomial_fold isl_union_pw_qpolynomial_fold; | | | |
| | | | |
| isl_ctx *isl_union_pw_qpolynomial_fold_get_ctx( | | isl_ctx *isl_union_pw_qpolynomial_fold_get_ctx( | |
| __isl_keep isl_union_pw_qpolynomial_fold *upwf); | | __isl_keep isl_union_pw_qpolynomial_fold *upwf); | |
| | | | |
|
| | | int isl_union_pw_qpolynomial_fold_plain_is_equal( | |
| | | __isl_keep isl_union_pw_qpolynomial_fold *upwf1, | |
| | | __isl_keep isl_union_pw_qpolynomial_fold *upwf2); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fro
m_pw_qpolynomial_fold(__isl_take isl_pw_qpolynomial_fold *pwf); | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fro
m_pw_qpolynomial_fold(__isl_take isl_pw_qpolynomial_fold *pwf); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_zer
o( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_zer
o( | |
|
| __isl_take isl_dim *dim, enum isl_fold type); | | __isl_take isl_space *dim, enum isl_fold type); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fol
d_pw_qpolynomial_fold( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fol
d_pw_qpolynomial_fold( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwqp, | | __isl_take isl_union_pw_qpolynomial_fold *upwqp, | |
| __isl_take isl_pw_qpolynomial_fold *pwqp); | | __isl_take isl_pw_qpolynomial_fold *pwqp); | |
| void isl_union_pw_qpolynomial_fold_free( | | void isl_union_pw_qpolynomial_fold_free( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf); | | __isl_take isl_union_pw_qpolynomial_fold *upwf); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_cop
y( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_cop
y( | |
| __isl_keep isl_union_pw_qpolynomial_fold *upwf); | | __isl_keep isl_union_pw_qpolynomial_fold *upwf); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fol
d( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fol
d( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf1, | | __isl_take isl_union_pw_qpolynomial_fold *upwf1, | |
| | | | |
| skipping to change at line 507 | | skipping to change at line 535 | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf, | | __isl_take isl_union_pw_qpolynomial_fold *upwf, | |
| __isl_take isl_union_pw_qpolynomial *upwqp); | | __isl_take isl_union_pw_qpolynomial *upwqp); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_mul
_isl_int( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_mul
_isl_int( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf, isl_int v); | | __isl_take isl_union_pw_qpolynomial_fold *upwf, isl_int v); | |
| | | | |
| __isl_give isl_union_set *isl_union_pw_qpolynomial_fold_domain( | | __isl_give isl_union_set *isl_union_pw_qpolynomial_fold_domain( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf); | | __isl_take isl_union_pw_qpolynomial_fold *upwf); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_int
ersect_domain( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_int
ersect_domain( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf, | | __isl_take isl_union_pw_qpolynomial_fold *upwf, | |
| __isl_take isl_union_set *uset); | | __isl_take isl_union_set *uset); | |
|
| | | __isl_give isl_union_pw_qpolynomial_fold * | |
| | | isl_union_pw_qpolynomial_fold_intersect_params( | |
| | | __isl_take isl_union_pw_qpolynomial_fold *upwf, | |
| | | __isl_take isl_set *set); | |
| | | | |
| enum isl_fold isl_union_pw_qpolynomial_fold_get_type( | | enum isl_fold isl_union_pw_qpolynomial_fold_get_type( | |
| __isl_keep isl_union_pw_qpolynomial_fold *upwf); | | __isl_keep isl_union_pw_qpolynomial_fold *upwf); | |
|
| __isl_give isl_dim *isl_union_pw_qpolynomial_fold_get_dim( | | __isl_give isl_space *isl_union_pw_qpolynomial_fold_get_space( | |
| __isl_keep isl_union_pw_qpolynomial_fold *upwf); | | __isl_keep isl_union_pw_qpolynomial_fold *upwf); | |
| | | | |
| __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_fold_eval( | | __isl_give isl_qpolynomial *isl_union_pw_qpolynomial_fold_eval( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf, | | __isl_take isl_union_pw_qpolynomial_fold *upwf, | |
| __isl_take isl_point *pnt); | | __isl_take isl_point *pnt); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_coa
lesce( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_coa
lesce( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf); | | __isl_take isl_union_pw_qpolynomial_fold *upwf); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_gis
t( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_gis
t( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf, | | __isl_take isl_union_pw_qpolynomial_fold *upwf, | |
| __isl_take isl_union_set *context); | | __isl_take isl_union_set *context); | |
|
| | | __isl_give isl_union_pw_qpolynomial_fold * | |
| | | isl_union_pw_qpolynomial_fold_gist_params( | |
| | | __isl_take isl_union_pw_qpolynomial_fold *upwf, | |
| | | __isl_take isl_set *context); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_ali
gn_params( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_ali
gn_params( | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf, | | __isl_take isl_union_pw_qpolynomial_fold *upwf, | |
|
| __isl_take isl_dim *model); | | __isl_take isl_space *model); | |
| | | | |
| int isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold( | | int isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold( | |
| __isl_keep isl_union_pw_qpolynomial_fold *upwf, | | __isl_keep isl_union_pw_qpolynomial_fold *upwf, | |
| int (*fn)(__isl_take isl_pw_qpolynomial_fold *pwf, | | int (*fn)(__isl_take isl_pw_qpolynomial_fold *pwf, | |
| void *user), void *user); | | void *user), void *user); | |
| __isl_give isl_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_extract_p
w_qpolynomial_fold( | | __isl_give isl_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_extract_p
w_qpolynomial_fold( | |
|
| __isl_keep isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_dim *
dim); | | __isl_keep isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_space
*dim); | |
| | | | |
| __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial_fold( | | __isl_give isl_printer *isl_printer_print_union_pw_qpolynomial_fold( | |
| __isl_take isl_printer *p, | | __isl_take isl_printer *p, | |
| __isl_keep isl_union_pw_qpolynomial_fold *upwf); | | __isl_keep isl_union_pw_qpolynomial_fold *upwf); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_bound( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_bound( | |
| __isl_take isl_union_pw_qpolynomial *upwqp, | | __isl_take isl_union_pw_qpolynomial *upwqp, | |
| enum isl_fold type, int *tight); | | enum isl_fold type, int *tight); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_set_apply_union_pw_qpol
ynomial_fold( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_set_apply_union_pw_qpol
ynomial_fold( | |
| __isl_take isl_union_set *uset, | | __isl_take isl_union_set *uset, | |
| | | | |
| skipping to change at line 555 | | skipping to change at line 591 | |
| __isl_take isl_union_map *umap, | | __isl_take isl_union_map *umap, | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf, int *tight); | | __isl_take isl_union_pw_qpolynomial_fold *upwf, int *tight); | |
| | | | |
| __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_to_polynomial
( | | __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_to_polynomial
( | |
| __isl_take isl_union_pw_qpolynomial *upwqp, int sign); | | __isl_take isl_union_pw_qpolynomial *upwqp, int sign); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
|
| | | #include <isl/dim.h> | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 55 change blocks. |
| 70 lines changed or deleted | | 118 lines changed or added | |
|
| set.h | | set.h | |
| | | | |
| skipping to change at line 24 | | skipping to change at line 24 | |
| #include <isl/aff_type.h> | | #include <isl/aff_type.h> | |
| #include <isl/list.h> | | #include <isl/list.h> | |
| #include <isl/mat.h> | | #include <isl/mat.h> | |
| #include <isl/point.h> | | #include <isl/point.h> | |
| #include <isl/local_space.h> | | #include <isl/local_space.h> | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| extern "C" { | | extern "C" { | |
| #endif | | #endif | |
| | | | |
|
| unsigned isl_basic_set_n_dim(const struct isl_basic_set *bset); | | unsigned isl_basic_set_n_dim(__isl_keep isl_basic_set *bset); | |
| unsigned isl_basic_set_n_param(const struct isl_basic_set *bset); | | unsigned isl_basic_set_n_param(__isl_keep isl_basic_set *bset); | |
| unsigned isl_basic_set_total_dim(const struct isl_basic_set *bset); | | unsigned isl_basic_set_total_dim(const struct isl_basic_set *bset); | |
|
| unsigned isl_basic_set_dim(const struct isl_basic_set *bset, | | unsigned isl_basic_set_dim(__isl_keep isl_basic_set *bset, | |
| enum isl_dim_type type); | | enum isl_dim_type type); | |
| | | | |
|
| unsigned isl_set_n_dim(const struct isl_set *set); | | unsigned isl_set_n_dim(__isl_keep isl_set *set); | |
| unsigned isl_set_n_param(const struct isl_set *set); | | unsigned isl_set_n_param(__isl_keep isl_set *set); | |
| unsigned isl_set_dim(const struct isl_set *set, enum isl_dim_type type); | | unsigned isl_set_dim(__isl_keep isl_set *set, enum isl_dim_type type); | |
| | | | |
| isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset); | | isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset); | |
| isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set); | | isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set); | |
|
| __isl_give isl_dim *isl_basic_set_get_dim(__isl_keep isl_basic_set *bset); | | __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bse | |
| __isl_give isl_dim *isl_set_get_dim(__isl_keep isl_set *set); | | t); | |
| __isl_give isl_set *isl_set_reset_dim(__isl_take isl_set *set, | | __isl_give isl_space *isl_set_get_space(__isl_keep isl_set *set); | |
| __isl_take isl_dim *dim); | | __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set, | |
| | | __isl_take isl_space *dim); | |
| | | | |
|
| struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos); | | __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset, | |
| | | 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); | |
| 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); | |
| 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_set *isl_set_set_dim_id(__isl_take isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); | |
| | | int isl_set_has_dim_id(__isl_keep isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set, | |
| | | __isl_take isl_id *id); | |
| | | __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); | |
| | | __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set); | |
| | | | |
| | | int isl_set_find_dim_by_id(__isl_keep isl_set *set, enum isl_dim_type type, | |
| | | __isl_keep isl_id *id); | |
| | | int isl_set_find_dim_by_name(__isl_keep isl_set *set, enum isl_dim_type typ | |
| | | e, | |
| | | const char *name); | |
| | | | |
| int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset); | | int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset); | |
| | | | |
| 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_dim *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_dim *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_dim *di | | ; | |
| m); | | __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, | |
| isl_int min, isl_int max); | | isl_int min, isl_int max); | |
|
| struct isl_basic_set *isl_basic_set_positive_orthant(struct isl_dim *dims); | | __isl_give isl_basic_set *isl_basic_set_positive_orthant( | |
| | | __isl_take isl_space *space); | |
| void isl_basic_set_print_internal(__isl_keep isl_basic_set *bset, | | void isl_basic_set_print_internal(__isl_keep isl_basic_set *bset, | |
| FILE *out, int indent); | | FILE *out, int indent); | |
|
| | | __isl_export | |
| __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_give isl_basic_set *isl_basic_set_intersect_params( | |
| | | __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2); | |
| | | __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_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); | |
| 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_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); | |
| | | | |
| __isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx, | | __isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx, | |
|
| FILE *input, int nparam); | | FILE *input); | |
| | | __isl_constructor | |
| __isl_give isl_basic_set *isl_basic_set_read_from_str(isl_ctx *ctx, | | __isl_give isl_basic_set *isl_basic_set_read_from_str(isl_ctx *ctx, | |
|
| const char *str, int nparam); | | const char *str); | |
| __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx, | | __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx, FILE *input); | |
| FILE *input, int nparam); | | __isl_constructor | |
| __isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx, | | __isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx, const char *str); | |
| const char *str, int nparam); | | | |
| void isl_basic_set_dump(__isl_keep isl_basic_set *bset); | | void isl_basic_set_dump(__isl_keep isl_basic_set *bset); | |
| void isl_set_dump(__isl_keep isl_set *set); | | void isl_set_dump(__isl_keep isl_set *set); | |
| __isl_give isl_printer *isl_printer_print_basic_set( | | __isl_give isl_printer *isl_printer_print_basic_set( | |
| __isl_take isl_printer *printer, __isl_keep isl_basic_set *bset); | | __isl_take isl_printer *printer, __isl_keep isl_basic_set *bset); | |
| __isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *print
er, | | __isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *print
er, | |
| __isl_keep isl_set *map); | | __isl_keep isl_set *map); | |
| void isl_basic_set_print(__isl_keep isl_basic_set *bset, FILE *out, int ind
ent, | | void isl_basic_set_print(__isl_keep isl_basic_set *bset, FILE *out, int ind
ent, | |
| const char *prefix, const char *suffix, unsigned output_format); | | const char *prefix, const char *suffix, unsigned output_format); | |
| 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_upper_bound_si(__isl_take isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos, int value); | |
| | | | |
| | | __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 | |
| | | ); | |
| | | | |
| 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); | |
| | | | |
|
| | | __isl_export | |
| int isl_basic_set_is_equal( | | int isl_basic_set_is_equal( | |
| struct isl_basic_set *bset1, struct isl_basic_set *bset2); | | struct isl_basic_set *bset1, struct isl_basic_set *bset2); | |
| | | | |
| __isl_give isl_set *isl_basic_set_partial_lexmin( | | __isl_give isl_set *isl_basic_set_partial_lexmin( | |
| __isl_take isl_basic_set *bset, __isl_take isl_basic_set *do
m, | | __isl_take isl_basic_set *bset, __isl_take isl_basic_set *do
m, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_set *isl_basic_set_partial_lexmax( | | __isl_give isl_set *isl_basic_set_partial_lexmax( | |
| __isl_take isl_basic_set *bset, __isl_take isl_basic_set *do
m, | | __isl_take isl_basic_set *bset, __isl_take isl_basic_set *do
m, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_set *isl_set_partial_lexmin( | | __isl_give isl_set *isl_set_partial_lexmin( | |
| __isl_take isl_set *set, __isl_take isl_set *dom, | | __isl_take isl_set *set, __isl_take isl_set *dom, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __isl_give isl_set *isl_set_partial_lexmax( | | __isl_give isl_set *isl_set_partial_lexmax( | |
| __isl_take isl_set *set, __isl_take isl_set *dom, | | __isl_take isl_set *set, __isl_take isl_set *dom, | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
|
| | | __isl_export | |
| __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset); | | __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset); | |
|
| | | __isl_export | |
| __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset); | | __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset); | |
|
| | | __isl_export | |
| __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set); | |
|
| | | __isl_export | |
| __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set); | |
|
| int isl_basic_set_foreach_lexmax(__isl_keep isl_basic_set *bset, | | __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmin_pw_multi_aff( | |
| int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *li | | __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, | |
| st, | | __isl_give isl_set **empty); | |
| void *user), | | __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmax_pw_multi_aff( | |
| void *user); | | __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, | |
| | | __isl_give isl_set **empty); | |
| | | | |
|
| | | __isl_export | |
| __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_set *isl_set_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 | |
| 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); | |
| | | | |
| 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_dim *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_dim *dim); | | __isl_give isl_set *isl_set_universe(__isl_take isl_space *dim); | |
| __isl_give isl_set *isl_set_nat_universe(__isl_take isl_dim *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_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_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_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_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_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); | |
| 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_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, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
| __isl_give isl_basic_set *isl_basic_set_flat_product( | | __isl_give isl_basic_set *isl_basic_set_flat_product( | |
| __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_give isl_set *isl_set_flat_product(__isl_take isl_set *set1, | | __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
|
| | | __isl_export | |
| __isl_give isl_set *isl_set_intersect( | | __isl_give isl_set *isl_set_intersect( | |
| __isl_take isl_set *set1, | | __isl_take isl_set *set1, | |
| __isl_take isl_set *set2); | | __isl_take isl_set *set2); | |
|
| | | __isl_export | |
| __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set, | |
| __isl_take isl_set *params); | | __isl_take isl_set *params); | |
|
| | | __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_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_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_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_set *isl_set_insert(__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(__isl_take isl_basic_set *bset, | |
| enum isl_dim_type type, unsigned n); | | 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, | |
| | | | |
| skipping to change at line 281 | | skipping to change at line 335 | |
| 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); | |
| | | __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 | |
| 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 | |
| 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 | |
| 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); | |
| 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_dim(__isl_keep isl_set *set1, __isl_keep isl_set *set
2); | | 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); | |
| struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset); | | struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset); | |
| __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set); | |
| __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set); | |
| | | | |
| struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set); | | struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set); | |
| struct isl_set *isl_set_drop_basic_set(struct isl_set *set, | | struct isl_set *isl_set_drop_basic_set(struct isl_set *set, | |
| struct isl_basic_set *bset); | | struct isl_basic_set *bset); | |
| | | | |
| int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset, | | int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset, | |
| unsigned dim, isl_int *val); | | unsigned dim, isl_int *val); | |
| | | | |
|
| | | int isl_set_plain_is_fixed(__isl_keep isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos, isl_int *val); | |
| int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set, | | int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set, | |
| unsigned dim, isl_int *val); | | unsigned dim, isl_int *val); | |
| 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, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | int isl_set_dim_has_upper_bound(__isl_keep isl_set *set, | |
| | | enum isl_dim_type type, unsigned pos); | |
| | | | |
|
| | | __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_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_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_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_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); | |
| | | | |
| int isl_set_n_basic_set(__isl_keep isl_set *set); | | int isl_set_n_basic_set(__isl_keep isl_set *set); | |
|
| | | __isl_export | |
| int isl_set_foreach_basic_set(__isl_keep isl_set *set, | | int isl_set_foreach_basic_set(__isl_keep isl_set *set, | |
| int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user); | | int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user); | |
| | | | |
| int isl_set_foreach_point(__isl_keep isl_set *set, | | int isl_set_foreach_point(__isl_keep isl_set *set, | |
| int (*fn)(__isl_take isl_point *pnt, void *user), void *user); | | int (*fn)(__isl_take isl_point *pnt, void *user), void *user); | |
| int isl_set_count(__isl_keep isl_set *set, isl_int *count); | | int isl_set_count(__isl_keep isl_set *set, isl_int *count); | |
| int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, | | int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, | |
| isl_int max, isl_int *count); | | isl_int max, isl_int *count); | |
| int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count
); | | int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count
); | |
| | | | |
| | | | |
| skipping to change at line 373 | | skipping to change at line 444 | |
| __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_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_dim *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( | |
|
| __isl_take isl_dim *dim, | | __isl_take isl_space *dim, | |
| __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 c4); | | enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); | |
| | | | |
| __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *b
set); | | __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *b
set); | |
| | | | |
| __isl_give isl_basic_set *isl_basic_set_coefficients( | | __isl_give isl_basic_set *isl_basic_set_coefficients( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set); | | __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set); | |
| __isl_give isl_basic_set *isl_basic_set_solutions( | | __isl_give isl_basic_set *isl_basic_set_solutions( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set); | | __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set); | |
| | | | |
| __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos); | | __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos); | |
|
| | | __isl_give isl_pw_aff *isl_set_dim_min(__isl_take isl_set *set, int pos); | |
| | | | |
| | | __isl_give char *isl_set_to_str(__isl_keep isl_set *set); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
|
| | | #include <isl/dim.h> | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 54 change blocks. |
| 34 lines changed or deleted | | 114 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/dim.h> | | #include <isl/space.h> | |
| #include <isl/map_type.h> | | #include <isl/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 | |
| struct isl_union_map; | | struct isl_union_map; | |
| typedef struct isl_union_map isl_union_map; | | typedef struct isl_union_map isl_union_map; | |
| #ifndef isl_union_set | | #ifndef isl_union_set | |
|
| | | __isl_export | |
| struct isl_union_set; | | struct isl_union_set; | |
| typedef struct isl_union_set isl_union_set; | | typedef struct isl_union_set isl_union_set; | |
| #endif | | #endif | |
| | | | |
|
| | | __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_dim *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_dim *isl_union_map_get_dim(__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_union_map *isl_union_map_universe( | | __isl_give isl_union_map *isl_union_map_universe( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
|
| | | __isl_give isl_set *isl_union_map_params(__isl_take isl_union_map *umap); | |
| __isl_give isl_union_set *isl_union_map_domain(__isl_take isl_union_map *um
ap); | | __isl_give isl_union_set *isl_union_map_domain(__isl_take isl_union_map *um
ap); | |
| __isl_give isl_union_set *isl_union_map_range(__isl_take isl_union_map *uma
p); | | __isl_give isl_union_set *isl_union_map_range(__isl_take isl_union_map *uma
p); | |
| __isl_give isl_union_map *isl_union_map_domain_map( | | __isl_give isl_union_map *isl_union_map_domain_map( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
| __isl_give isl_union_map *isl_union_map_range_map( | | __isl_give isl_union_map *isl_union_map_range_map( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
| __isl_give isl_union_map *isl_union_map_from_domain( | | __isl_give isl_union_map *isl_union_map_from_domain( | |
| __isl_take isl_union_set *uset); | | __isl_take isl_union_set *uset); | |
| __isl_give isl_union_map *isl_union_map_from_range( | | __isl_give isl_union_map *isl_union_map_from_range( | |
| __isl_take isl_union_set *uset); | | __isl_take isl_union_set *uset); | |
| | | | |
|
| | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_affine_hull( | | __isl_give isl_union_map *isl_union_map_affine_hull( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
|
| | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_polyhedral_hull( | | __isl_give isl_union_map *isl_union_map_polyhedral_hull( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
| __isl_give isl_union_map *isl_union_map_simple_hull( | | __isl_give isl_union_map *isl_union_map_simple_hull( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
|
| | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_coalesce( | | __isl_give isl_union_map *isl_union_map_coalesce( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
| __isl_give isl_union_map *isl_union_map_compute_divs( | | __isl_give isl_union_map *isl_union_map_compute_divs( | |
| __isl_take isl_union_map *umap); | | __isl_take isl_union_map *umap); | |
|
| | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_lexmin(__isl_take isl_union_map *um
ap); | | __isl_give isl_union_map *isl_union_map_lexmin(__isl_take isl_union_map *um
ap); | |
|
| | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_lexmax(__isl_take isl_union_map *um
ap); | | __isl_give isl_union_map *isl_union_map_lexmax(__isl_take isl_union_map *um
ap); | |
| | | | |
| __isl_give isl_union_map *isl_union_map_add_map(__isl_take isl_union_map *u
map, | | __isl_give isl_union_map *isl_union_map_add_map(__isl_take isl_union_map *u
map, | |
| __isl_take isl_map *map); | | __isl_take isl_map *map); | |
|
| | | __isl_export | |
| __isl_give isl_union_map *isl_union_map_union(__isl_take isl_union_map *uma
p1, | | __isl_give isl_union_map *isl_union_map_union(__isl_take isl_union_map *uma
p1, | |
| __isl_take isl_union_map *umap2); | | __isl_take isl_union_map *umap2); | |
|
| | | __isl_export | |
| __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_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_give isl_union_map *isl_union_map_intersect_params( | |
| | | __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_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_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_give isl_union_map *isl_union_map_gist_params( | |
| | | __isl_take isl_union_map *umap, __isl_take isl_set *set); | |
| | | __isl_export | |
| | | __isl_give isl_union_map *isl_union_map_gist_domain( | |
| | | __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); | |
| | | | |
|
| | | __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_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_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_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_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_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_keep isl_union_map *umap); | |
|
| | | __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_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 | |
| 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 | |
| int isl_union_map_is_single_valued(__isl_keep isl_union_map *umap); | | int isl_union_map_is_single_valued(__isl_keep isl_union_map *umap); | |
| int isl_union_map_plain_is_injective(__isl_keep isl_union_map *umap); | | int isl_union_map_plain_is_injective(__isl_keep isl_union_map *umap); | |
|
| | | __isl_export | |
| int isl_union_map_is_injective(__isl_keep isl_union_map *umap); | | int isl_union_map_is_injective(__isl_keep isl_union_map *umap); | |
|
| | | __isl_export | |
| int isl_union_map_is_bijective(__isl_keep isl_union_map *umap); | | int isl_union_map_is_bijective(__isl_keep isl_union_map *umap); | |
| | | | |
|
| | | __isl_export | |
| int isl_union_map_is_subset(__isl_keep isl_union_map *umap1, | | int isl_union_map_is_subset(__isl_keep isl_union_map *umap1, | |
| __isl_keep isl_union_map *umap2); | | __isl_keep isl_union_map *umap2); | |
|
| | | __isl_export | |
| int isl_union_map_is_equal(__isl_keep isl_union_map *umap1, | | int isl_union_map_is_equal(__isl_keep isl_union_map *umap1, | |
| __isl_keep isl_union_map *umap2); | | __isl_keep isl_union_map *umap2); | |
|
| | | __isl_export | |
| int isl_union_map_is_strict_subset(__isl_keep isl_union_map *umap1, | | int isl_union_map_is_strict_subset(__isl_keep isl_union_map *umap1, | |
| __isl_keep isl_union_map *umap2); | | __isl_keep isl_union_map *umap2); | |
| | | | |
| int isl_union_map_n_map(__isl_keep isl_union_map *umap); | | int isl_union_map_n_map(__isl_keep isl_union_map *umap); | |
|
| | | __isl_export | |
| 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_dim *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_dim *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_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( | |
| __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_ge_union_map( | | __isl_give isl_union_map *isl_union_map_lex_ge_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_read_from_file(isl_ctx *ctx, | | __isl_give isl_union_map *isl_union_map_read_from_file(isl_ctx *ctx, | |
| FILE *input); | | FILE *input); | |
|
| __isl_give isl_union_map *isl_union_map_read_from_str(struct isl_ctx *ctx, | | __isl_constructor | |
| | | __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_align_params( | | __isl_give isl_union_map *isl_union_map_align_params( | |
|
| __isl_take isl_union_map *umap, __isl_take isl_dim *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_dim *model); | | __isl_take isl_union_set *uset, __isl_take isl_space *model); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
|
| | | #include <isl/dim.h> | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 40 change blocks. |
| 8 lines changed or deleted | | 49 lines changed or added | |
|