| ctx.h | | ctx.h | |
| | | | |
| skipping to change at line 65 | | skipping to change at line 65 | |
| * a NULL argument as a failure, resulting in the function freeing | | * a NULL argument as a failure, resulting in the function freeing | |
| * the remaining structures (if any) and returning NULL itself | | * the remaining structures (if any) and returning NULL itself | |
| * (in case of pointer return type). | | * (in case of pointer return type). | |
| * The only exception is the isl_ctx argument, which shoud never be NULL. | | * The only exception is the isl_ctx argument, which shoud never be NULL. | |
| */ | | */ | |
| struct isl_stats { | | struct isl_stats { | |
| long gbr_solved_lps; | | long gbr_solved_lps; | |
| }; | | }; | |
| enum isl_error { | | enum isl_error { | |
| isl_error_none = 0, | | isl_error_none = 0, | |
|
| | | isl_error_abort, | |
| isl_error_unknown, | | isl_error_unknown, | |
|
| isl_error_invalid | | isl_error_internal, | |
| }; | | isl_error_invalid, | |
| struct isl_ctx { | | isl_error_unsupported | |
| int ref; | | | |
| | | | |
| struct isl_stats *stats; | | | |
| | | | |
| int opt_allocated; | | | |
| struct isl_options *opt; | | | |
| void *user_opt; | | | |
| struct isl_arg *user_arg; | | | |
| | | | |
| isl_int zero; | | | |
| isl_int one; | | | |
| isl_int two; | | | |
| isl_int negone; | | | |
| | | | |
| isl_int normalize_gcd; | | | |
| | | | |
| int n_cached; | | | |
| struct isl_blk cache[ISL_BLK_CACHE_SIZE]; | | | |
| struct isl_hash_table name_hash; | | | |
| | | | |
| enum isl_error error; | | | |
| }; | | }; | |
|
| | | struct isl_ctx; | |
| typedef struct isl_ctx isl_ctx; | | typedef struct isl_ctx isl_ctx; | |
| | | | |
| /* Some helper macros */ | | /* Some helper macros */ | |
| | | | |
| #define ISL_FL_INIT(l, f) (l) = (f) /* Specific flags locat
ion. */ | | #define ISL_FL_INIT(l, f) (l) = (f) /* Specific flags locat
ion. */ | |
| #define ISL_FL_SET(l, f) ((l) |= (f)) | | #define ISL_FL_SET(l, f) ((l) |= (f)) | |
| #define ISL_FL_CLR(l, f) ((l) &= ~(f)) | | #define ISL_FL_CLR(l, f) ((l) &= ~(f)) | |
| #define ISL_FL_ISSET(l, f) (!!((l) & (f))) | | #define ISL_FL_ISSET(l, f) (!!((l) & (f))) | |
| | | | |
| #define ISL_F_INIT(p, f) ISL_FL_INIT((p)->flags, f) /* Structure elemen
t flags. */ | | #define ISL_F_INIT(p, f) ISL_FL_INIT((p)->flags, f) /* Structure elemen
t flags. */ | |
| | | | |
| skipping to change at line 118 | | skipping to change at line 99 | |
| #define isl_alloc_type(ctx,type) isl_alloc(ctx,type,sizeof(type)) | | #define isl_alloc_type(ctx,type) isl_alloc(ctx,type,sizeof(type)) | |
| #define isl_calloc_type(ctx,type) isl_calloc(ctx,type,sizeof(type)) | | #define isl_calloc_type(ctx,type) isl_calloc(ctx,type,sizeof(type)) | |
| #define isl_realloc_type(ctx,ptr,type) isl_realloc(ctx,ptr,type,sizeof(type
)) | | #define isl_realloc_type(ctx,ptr,type) isl_realloc(ctx,ptr,type,sizeof(type
)) | |
| #define isl_alloc_array(ctx,type,n) isl_alloc(ctx,type,(n)*sizeof(type)) | | #define isl_alloc_array(ctx,type,n) isl_alloc(ctx,type,(n)*sizeof(type)) | |
| #define isl_calloc_array(ctx,type,n) (type *)calloc(n, sizeof(type)) | | #define isl_calloc_array(ctx,type,n) (type *)calloc(n, sizeof(type)) | |
| #define isl_realloc_array(ctx,ptr,type,n) \ | | #define isl_realloc_array(ctx,ptr,type,n) \ | |
| isl_realloc(ctx,ptr,type,(n)*sizeof(type
)) | | isl_realloc(ctx,ptr,type,(n)*sizeof(type
)) | |
| | | | |
| #define isl_die(ctx,errno,msg,code) \ | | #define isl_die(ctx,errno,msg,code) \ | |
| do { \ | | do { \ | |
|
| if (ctx) \ | | isl_ctx_set_error(ctx, errno); \ | |
| ctx->error = errno; \ | | | |
| fprintf(stderr, "%s:%d: %s\n", __FILE__, __LINE__, msg);
\ | | fprintf(stderr, "%s:%d: %s\n", __FILE__, __LINE__, msg);
\ | |
| code; \ | | code; \ | |
| } while (0) | | } while (0) | |
| #define isl_assert4(ctx,test,code,errno) \ | | #define isl_assert4(ctx,test,code,errno) \ | |
| do { \ | | do { \ | |
| if (test) \ | | if (test) \ | |
| break; \ | | break; \ | |
| isl_die(ctx, errno, "Assertion \"" #test "\" failed", code);
\ | | isl_die(ctx, errno, "Assertion \"" #test "\" failed", code);
\ | |
| } while (0) | | } while (0) | |
| #define isl_assert(ctx,test,code) \ | | #define isl_assert(ctx,test,code) \ | |
| | | | |
| skipping to change at line 145 | | skipping to change at line 125 | |
| | | | |
| struct isl_options *isl_ctx_options(isl_ctx *ctx); | | struct isl_options *isl_ctx_options(isl_ctx *ctx); | |
| | | | |
| isl_ctx *isl_ctx_alloc_with_options(struct isl_arg *arg, __isl_take void *o
pt); | | isl_ctx *isl_ctx_alloc_with_options(struct isl_arg *arg, __isl_take void *o
pt); | |
| isl_ctx *isl_ctx_alloc(); | | isl_ctx *isl_ctx_alloc(); | |
| void *isl_ctx_peek_options(isl_ctx *ctx, struct isl_arg *arg); | | void *isl_ctx_peek_options(isl_ctx *ctx, struct isl_arg *arg); | |
| void isl_ctx_ref(struct isl_ctx *ctx); | | void isl_ctx_ref(struct isl_ctx *ctx); | |
| void isl_ctx_deref(struct isl_ctx *ctx); | | void isl_ctx_deref(struct isl_ctx *ctx); | |
| void isl_ctx_free(isl_ctx *ctx); | | void isl_ctx_free(isl_ctx *ctx); | |
| | | | |
|
| | | void isl_ctx_abort(isl_ctx *ctx); | |
| | | void isl_ctx_resume(isl_ctx *ctx); | |
| | | int isl_ctx_aborted(isl_ctx *ctx); | |
| | | | |
| #define ISL_ARG_CTX_DECL(prefix,st,arg)
\ | | #define ISL_ARG_CTX_DECL(prefix,st,arg)
\ | |
| st *isl_ctx_peek_ ## prefix(isl_ctx *ctx); | | st *isl_ctx_peek_ ## prefix(isl_ctx *ctx); | |
| | | | |
| #define ISL_ARG_CTX_DEF(prefix,st,arg) \ | | #define ISL_ARG_CTX_DEF(prefix,st,arg) \ | |
| st *isl_ctx_peek_ ## prefix(isl_ctx *ctx) \ | | st *isl_ctx_peek_ ## prefix(isl_ctx *ctx) \ | |
| { \ | | { \ | |
| return (st *)isl_ctx_peek_options(ctx, arg); \ | | return (st *)isl_ctx_peek_options(ctx, arg); \ | |
| } | | } | |
| | | | |
| enum isl_error isl_ctx_last_error(isl_ctx *ctx); | | enum isl_error isl_ctx_last_error(isl_ctx *ctx); | |
| void isl_ctx_reset_error(isl_ctx *ctx); | | void isl_ctx_reset_error(isl_ctx *ctx); | |
|
| | | void isl_ctx_set_error(isl_ctx *ctx, enum isl_error error); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 6 change blocks. |
| 26 lines changed or deleted | | 11 lines changed or added | |
|
| map.h | | map.h | |
| | | | |
| skipping to change at line 43 | | skipping to change at line 43 | |
| * | | * | |
| * Functions that return an isa structure will in general _destroy_ | | * Functions that return an isa structure will in general _destroy_ | |
| * all argument isa structures (the obvious execption begin the _copy | | * all argument isa structures (the obvious execption begin the _copy | |
| * 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. | |
| */ | | */ | |
| | | | |
| struct isl_basic_map; | | struct isl_basic_map; | |
| typedef struct isl_basic_map isl_basic_map; | | typedef struct isl_basic_map isl_basic_map; | |
|
| | | #ifndef isl_basic_set | |
| struct isl_basic_set; | | struct isl_basic_set; | |
| typedef struct isl_basic_set isl_basic_set; | | typedef struct isl_basic_set isl_basic_set; | |
|
| | | #endif | |
| struct isl_map; | | struct isl_map; | |
| typedef struct isl_map isl_map; | | typedef struct isl_map isl_map; | |
|
| | | #ifndef isl_set | |
| struct isl_set; | | struct isl_set; | |
| typedef struct isl_set isl_set; | | typedef struct isl_set isl_set; | |
|
| | | #endif | |
| | | | |
| 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(const struct 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); | |
| | | | |
| skipping to change at line 91 | | skipping to change at line 95 | |
| __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); | |
| | | | |
| 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 *set_di
m); | | __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_dim *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( | | struct isl_basic_map *isl_basic_map_equal( | |
| struct isl_dim *dim, unsigned n_equal); | | struct isl_dim *dim, unsigned n_equal); | |
| struct isl_basic_map *isl_basic_map_less_at(struct isl_dim *dim, unsigned p
os); | | struct isl_basic_map *isl_basic_map_less_at(struct isl_dim *dim, unsigned p
os); | |
| struct isl_basic_map *isl_basic_map_more_at(struct isl_dim *dim, unsigned p
os); | | struct isl_basic_map *isl_basic_map_more_at(struct isl_dim *dim, unsigned p
os); | |
| __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_dim *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_dim *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_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_basic_map *isl_map_simple_hull(__isl_take isl_map *map); | | __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map); | |
| | | | |
| __isl_give isl_basic_map *isl_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_give isl_basic_map *isl_basic_map_intersect_range( | | __isl_give isl_basic_map *isl_basic_map_intersect_range( | |
| | | | |
| skipping to change at line 160 | | skipping to change at line 165 | |
| struct isl_basic_map *isl_basic_map_detect_equalities( | | struct isl_basic_map *isl_basic_map_detect_equalities( | |
| struct isl_basic_map *bmap); | | struct isl_basic_map *bmap); | |
| __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, int nparam); | |
| __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, int nparam); | |
| __isl_give isl_map *isl_map_read_from_file(struct isl_ctx *ctx, | | __isl_give isl_map *isl_map_read_from_file(struct isl_ctx *ctx, | |
| FILE *input, int nparam); | | FILE *input, int nparam); | |
| __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, int nparam); | | const char *str, int nparam); | |
|
| | | 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_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); | |
| struct isl_basic_map *isl_basic_map_fix_si(struct isl_basic_map *bmap, | | struct isl_basic_map *isl_basic_map_fix_si(struct isl_basic_map *bmap, | |
| enum isl_dim_type type, unsigned pos, int value); | | enum isl_dim_type type, unsigned pos, int value); | |
| __isl_give isl_basic_map *isl_basic_map_lower_bound_si( | | __isl_give isl_basic_map *isl_basic_map_lower_bound_si( | |
| __isl_take isl_basic_map *bmap, | | __isl_take isl_basic_map *bmap, | |
| | | | |
| skipping to change at line 209 | | skipping to change at line 216 | |
| __isl_give isl_set **empty); | | __isl_give isl_set **empty); | |
| __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_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_give isl_map *isl_map_lexmin(__isl_take isl_map *map); | | __isl_give isl_map *isl_map_lexmin(__isl_take isl_map *map); | |
| __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, | | int isl_basic_map_foreach_lexmin(__isl_keep isl_basic_map *bmap, | |
| int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_mat *map, | | int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_mat *map, | |
| void *user), | | void *user), | |
| void *user); | | void *user); | |
| | | | |
|
| void isl_basic_map_dump(__isl_keep isl_basic_map *bmap, FILE *out, int inde | | void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, | |
| nt); | | 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_fast_is_fixed(struct isl_basic_map *bmap, | | int isl_basic_map_fast_is_fixed(struct 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); | |
| | | | |
| skipping to change at line 231 | | skipping to change at line 239 | |
| 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_dim *dim); | |
|
| | | __isl_give isl_map *isl_map_nat_universe(__isl_take isl_dim *dim); | |
| __isl_give isl_map *isl_map_empty(__isl_take isl_dim *dim); | | __isl_give isl_map *isl_map_empty(__isl_take isl_dim *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 *set_dim); | | __isl_give isl_map *isl_map_identity(__isl_take isl_dim *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
n); | | __isl_give isl_map *isl_map_lex_lt_first(__isl_take isl_dim *dim, unsigned
n); | |
| __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_dim *dim, unsigned
n); | | __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_dim *dim, unsigned
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_dim *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_dim *set_dim); | |
| __isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_dim *dim, unsigned
n); | | __isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_dim *dim, unsigned
n); | |
| __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_dim *dim, unsigned
n); | | __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_dim *dim, unsigned
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_dim *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_dim *set_dim); | |
| | | | |
| skipping to change at line 271 | | skipping to change at line 280 | |
| __isl_take isl_set *set); | | __isl_take isl_set *set); | |
| __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_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_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); | |
|
| struct isl_map *isl_map_product(struct isl_map *map1, struct isl_map *map2) | | __isl_give isl_map *isl_map_product(__isl_take isl_map *map1, | |
| ; | | __isl_take isl_map *map2); | |
| | | __isl_give isl_basic_map *isl_basic_map_range_product( | |
| | | __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); | |
| | | __isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1, | |
| | | __isl_take isl_map *map2); | |
| | | __isl_give isl_basic_map *isl_basic_map_flat_product( | |
| | | __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_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_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); | |
| 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); | |
| struct isl_map *isl_map_fix_si(struct isl_map *map, | | struct isl_map *isl_map_fix_si(struct 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_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_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_take isl_basic_map *bmap); | |
| | | __isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map); | |
| struct isl_map *isl_map_detect_equalities(struct isl_map *map); | | struct isl_map *isl_map_detect_equalities(struct isl_map *map); | |
| __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_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(__isl_take isl_map *map, | |
| enum isl_dim_type type, unsigned pos, unsigned n); | | enum isl_dim_type type, unsigned pos, unsigned n); | |
| | | | |
| skipping to change at line 324 | | skipping to change at line 343 | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| | | | |
| __isl_give isl_map *isl_set_identity(__isl_take isl_set *set); | | __isl_give isl_map *isl_set_identity(__isl_take isl_set *set); | |
| | | | |
| int isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset); | | int isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset); | |
| 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_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *b
map); | |
| __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_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *b
set); | |
| __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_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_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_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); | | struct isl_map *isl_map_from_set(struct isl_set *set, struct isl_dim *dim); | |
| struct isl_set *isl_set_from_map(struct isl_map *map); | | struct isl_set *isl_set_from_map(struct isl_map *map); | |
| __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_fast_is_empty(__isl_keep isl_map *map); | | int isl_map_fast_is_empty(__isl_keep isl_map *map); | |
| int isl_map_fast_is_universe(__isl_keep isl_map *map); | | int isl_map_fast_is_universe(__isl_keep isl_map *map); | |
| int isl_map_is_empty(__isl_keep isl_map *map); | | int isl_map_is_empty(__isl_keep isl_map *map); | |
| 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); | |
| 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); | |
| 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); | |
| 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_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_dim(__isl_keep isl_map *map1, __isl_keep isl_map *map
2); | |
| | | | |
|
| | | int isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap); | |
| | | 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_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); | |
| | | | |
|
| void isl_map_dump(__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_fast_input_is_fixed(struct isl_map *map, | | int isl_map_fast_input_is_fixed(struct isl_map *map, | |
| unsigned in, isl_int *val); | | unsigned in, isl_int *val); | |
| int isl_map_fast_is_fixed(struct isl_map *map, | | int isl_map_fast_is_fixed(struct isl_map *map, | |
| enum isl_dim_type type, unsigned pos, isl_int *val); | | enum isl_dim_type type, unsigned pos, isl_int *val); | |
| | | | |
| __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_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); | |
| | | | |
| skipping to change at line 385 | | skipping to change at line 413 | |
| | | | |
| 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); | |
| | | | |
| 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, unsigned param, | | __isl_give isl_map *isl_map_power(__isl_take isl_map *map, int *exact); | |
| int *exact); | | | |
| __isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map, | |
| int *exact); | | int *exact); | |
| __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map, | | __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map, | |
| int *exact); | | int *exact); | |
| | | | |
| __isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1, | |
| __isl_take isl_map *map2); | | __isl_take isl_map *map2); | |
| __isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1, | | __isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1, | |
| | | | |
End of changes. 19 change blocks. |
| 9 lines changed or deleted | | 35 lines changed or added | |
|
| polynomial.h | | polynomial.h | |
| | | | |
| skipping to change at line 66 | | skipping to change at line 66 | |
| | | | |
| __isl_give isl_qpolynomial *isl_qpolynomial_neg(__isl_take isl_qpolynomial
*qp); | | __isl_give isl_qpolynomial *isl_qpolynomial_neg(__isl_take isl_qpolynomial
*qp); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_add(__isl_take isl_qpolynomial
*qp1, | | __isl_give isl_qpolynomial *isl_qpolynomial_add(__isl_take isl_qpolynomial
*qp1, | |
| __isl_take isl_qpolynomial *qp2); | | __isl_take isl_qpolynomial *qp2); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_sub(__isl_take isl_qpolynomial
*qp1, | | __isl_give isl_qpolynomial *isl_qpolynomial_sub(__isl_take isl_qpolynomial
*qp1, | |
| __isl_take isl_qpolynomial *qp2); | | __isl_take isl_qpolynomial *qp2); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_mul(__isl_take isl_qpolynomial
*qp1, | | __isl_give isl_qpolynomial *isl_qpolynomial_mul(__isl_take isl_qpolynomial
*qp1, | |
| __isl_take isl_qpolynomial *qp2); | | __isl_take isl_qpolynomial *qp2); | |
| __isl_give isl_qpolynomial *isl_qpolynomial_pow(__isl_take isl_qpolynomial
*qp, | | __isl_give isl_qpolynomial *isl_qpolynomial_pow(__isl_take isl_qpolynomial
*qp, | |
| unsigned power); | | unsigned power); | |
|
| | | __isl_give isl_qpolynomial *isl_qpolynomial_add_isl_int( | |
| | | __isl_take isl_qpolynomial *qp, isl_int v); | |
| | | __isl_give isl_qpolynomial *isl_qpolynomial_mul_isl_int( | |
| | | __isl_take isl_qpolynomial *qp, isl_int v); | |
| | | | |
| __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); | |
| | | | |
| skipping to change at line 116 | | skipping to change at line 120 | |
| | | | |
| 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_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_basic_map *isl_basic_map_from_qpolynomial( | |
| | | __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); | |
| | | | |
| struct isl_pw_qpolynomial; | | struct isl_pw_qpolynomial; | |
| typedef struct isl_pw_qpolynomial 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 *
dim); | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_zero(__isl_take isl_dim *
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_copy( | | __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_copy( | |
| | | | |
| skipping to change at line 176 | | skipping to change at line 183 | |
| __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_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_take isl_pw_qpolynomial *pwqp, isl_int v); | |
| | | | |
| __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 213 | | skipping to change at line 222 | |
| 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_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_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); | |
| | | | |
| __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_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( | |
| | | | |
| skipping to change at line 235 | | skipping to change at line 245 | |
| | | | |
| enum isl_fold { | | enum isl_fold { | |
| isl_fold_min, | | isl_fold_min, | |
| isl_fold_max, | | isl_fold_max, | |
| isl_fold_list | | isl_fold_list | |
| }; | | }; | |
| | | | |
| struct isl_qpolynomial_fold; | | struct isl_qpolynomial_fold; | |
| typedef struct isl_qpolynomial_fold isl_qpolynomial_fold; | | typedef struct isl_qpolynomial_fold isl_qpolynomial_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_dim *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); | |
| | | | |
| | | | |
| skipping to change at line 256 | | skipping to change at line 267 | |
| __isl_take isl_qpolynomial_fold *fold, __isl_take isl_dim *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_is_equal(__isl_keep isl_qpolynomial_fold *fold1, | | int isl_qpolynomial_fold_is_equal(__isl_keep isl_qpolynomial_fold *fold1, | |
| __isl_keep isl_qpolynomial_fold *fold2); | | __isl_keep isl_qpolynomial_fold *fold2); | |
| | | | |
| __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_take isl_qpolynomial_fold *fold, isl_int v); | |
| | | | |
| __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_move_dims( | | __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_move_dims( | |
| __isl_take isl_qpolynomial_fold *fold, | | __isl_take isl_qpolynomial_fold *fold, | |
| 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_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); | |
| | | | |
| 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_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); | |
| | | | |
| struct isl_pw_qpolynomial_fold; | | struct isl_pw_qpolynomial_fold; | |
| typedef struct isl_pw_qpolynomial_fold 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); | |
| | | | |
| __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( | |
| | | | |
| skipping to change at line 326 | | skipping to change at line 343 | |
| | | | |
| __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_take isl_pw_qpolynomial_fold *pwf, isl_int v); | |
| | | | |
| __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( | |
| | | | |
| skipping to change at line 355 | | skipping to change at line 374 | |
| void *user), void *user); | | void *user), void *user); | |
| int isl_pw_qpolynomial_fold_foreach_lifted_piece( | | int isl_pw_qpolynomial_fold_foreach_lifted_piece( | |
| __isl_keep isl_pw_qpolynomial_fold *pwf, | | __isl_keep isl_pw_qpolynomial_fold *pwf, | |
| int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *
fold, | | int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *
fold, | |
| void *user), void *user); | | void *user), void *user); | |
| | | | |
| __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); | |
| | | | |
| __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_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_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf, | |
| | | 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; | | struct isl_union_pw_qpolynomial; | |
| typedef struct isl_union_pw_qpolynomial isl_union_pw_qpolynomial; | | typedef struct isl_union_pw_qpolynomial isl_union_pw_qpolynomial; | |
| | | | |
| | | | |
| skipping to change at line 402 | | skipping to change at line 425 | |
| | | | |
| __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_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_dim *isl_union_pw_qpolynomial_get_dim( | | __isl_give isl_dim *isl_union_pw_qpolynomial_get_dim( | |
| __isl_keep isl_union_pw_qpolynomial *upwqp); | | __isl_keep isl_union_pw_qpolynomial *upwqp); | |
| | | | |
| | | | |
| skipping to change at line 457 | | skipping to change at line 482 | |
| __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, | |
| __isl_take isl_union_pw_qpolynomial_fold *upwf2); | | __isl_take isl_union_pw_qpolynomial_fold *upwf2); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_add
_union_pw_qpolynomial( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_add
_union_pw_qpolynomial( | |
| __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_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); | |
| | | | |
| 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_dim *isl_union_pw_qpolynomial_fold_get_dim( | |
| | | | |
| skipping to change at line 497 | | skipping to change at line 524 | |
| __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_dim *
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_take isl_union_set *uset, | |
| | | __isl_take isl_union_pw_qpolynomial_fold *upwf, int *tight); | |
| __isl_give isl_union_pw_qpolynomial_fold *isl_union_map_apply_union_pw_qpol
ynomial_fold( | | __isl_give isl_union_pw_qpolynomial_fold *isl_union_map_apply_union_pw_qpol
ynomial_fold( | |
| __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 | |
| | | | |
End of changes. 15 change blocks. |
| 0 lines changed or deleted | | 32 lines changed or added | |
|
| set.h | | set.h | |
| | | | |
| skipping to change at line 38 | | skipping to change at line 38 | |
| unsigned isl_set_n_param(const struct isl_set *set); | | unsigned isl_set_n_param(const struct isl_set *set); | |
| unsigned isl_set_dim(const struct isl_set *set, enum isl_dim_type type); | | unsigned isl_set_dim(const struct 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_dim *isl_basic_set_get_dim(__isl_keep isl_basic_set *bset); | |
| __isl_give isl_dim *isl_set_get_dim(__isl_keep isl_set *set); | | __isl_give isl_dim *isl_set_get_dim(__isl_keep isl_set *set); | |
| __isl_give isl_set *isl_set_reset_dim(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_reset_dim(__isl_take isl_set *set, | |
| __isl_take isl_dim *dim); | | __isl_take isl_dim *dim); | |
| | | | |
|
| | | 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_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, | |
| | | 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); | |
| | | | |
|
| | | 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_dim *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_dim *dim); | |
|
| | | __isl_give isl_basic_set *isl_basic_set_nat_universe(__isl_take isl_dim *di
m); | |
| 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); | | struct isl_basic_set *isl_basic_set_positive_orthant(struct isl_dim *dims); | |
|
| void isl_basic_set_dump(__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); | |
|
| struct isl_basic_set *isl_basic_set_swap_vars( | | | |
| struct isl_basic_set *bset, unsigned n); | | | |
| __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_give isl_basic_set *isl_basic_set_apply( | | __isl_give isl_basic_set *isl_basic_set_apply( | |
| __isl_take isl_basic_set *bset, | | __isl_take isl_basic_set *bset, | |
| __isl_take isl_basic_map *bmap); | | __isl_take isl_basic_map *bmap); | |
| __isl_give isl_basic_set *isl_basic_set_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_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); | |
|
| struct isl_basic_set *isl_basic_set_product(struct isl_basic_set_list *list | | __isl_give isl_basic_set *isl_basic_set_list_product( | |
| ); | | __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, int nparam); | |
| __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, int nparam); | |
| __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, int nparam); | | FILE *input, int nparam); | |
| __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, int nparam); | | const char *str, int nparam); | |
|
| | | void isl_basic_set_dump(__isl_keep isl_basic_set *bset); | |
| | | 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); | |
| | | | |
| skipping to change at line 164 | | skipping to change at line 171 | |
| 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_dim *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_dim *dim); | |
|
| | | __isl_give isl_set *isl_set_nat_universe(__isl_take isl_dim *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_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); | |
| | | | |
| skipping to change at line 188 | | skipping to change at line 196 | |
| __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_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); | |
|
| struct isl_set *isl_set_product(struct isl_set *set1, struct isl_set *set2) | | __isl_give isl_set *isl_set_product(__isl_take isl_set *set1, | |
| ; | | __isl_take isl_set *set2); | |
| | | __isl_give isl_basic_set *isl_basic_set_flat_product( | |
| | | __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_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_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_give isl_set *isl_set_complement(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_complement(__isl_take isl_set *set); | |
| __isl_give isl_set *isl_set_apply( | | __isl_give isl_set *isl_set_apply( | |
| | | | |
| skipping to change at line 232 | | skipping to change at line 243 | |
| __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_basic_set *isl_basic_set_remove_divs( | | __isl_give isl_basic_set *isl_basic_set_remove_divs( | |
| __isl_take isl_basic_set *bset); | | __isl_take isl_basic_set *bset); | |
| struct isl_set *isl_set_eliminate_dims(struct isl_set *set, | | struct isl_set *isl_set_eliminate_dims(struct isl_set *set, | |
| unsigned first, unsigned n); | | unsigned first, unsigned n); | |
| __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset, | | __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *
set, | | __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *
set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
|
| | | __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set); | |
| __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set); | | __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set); | |
| __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set, | | __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set, | |
| enum isl_dim_type type, unsigned first, unsigned n); | | enum isl_dim_type type, unsigned first, unsigned n); | |
| | | | |
|
| void isl_set_dump(__isl_keep isl_set *set, FILE *out, int indent); | | void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent) | |
| struct isl_set *isl_set_swap_vars(struct isl_set *set, unsigned n); | | ; | |
| 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_fast_is_universe(__isl_keep isl_set *set); | | int isl_set_fast_is_universe(__isl_keep isl_set *set); | |
| 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); | |
| 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); | |
| 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); | |
| 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_dim(__isl_keep isl_set *set1, __isl_keep isl_set *set
2); | |
| | | | |
| __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_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); | |
| | | | |
End of changes. 13 change blocks. |
| 9 lines changed or deleted | | 20 lines changed or added | |
|
| union_map.h | | union_map.h | |
| | | | |
| skipping to change at line 33 | | skipping to change at line 33 | |
| | | | |
| 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_dim *isl_union_map_get_dim(__isl_keep 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_take isl_union_set *uset); | |
| | | __isl_give isl_union_map *isl_union_map_from_range( | |
| | | __isl_take isl_union_set *uset); | |
| | | | |
| __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_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_take isl_union_map *umap); | |
| __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_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_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_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_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_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_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_take isl_union_map *umap1, __isl_take isl_union_map *umap2); | |
| __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_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_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_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_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_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_give isl_union_map *isl_union_map_detect_equalities( | |
| | | __isl_keep isl_union_map *umap); | |
| __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_take isl_union_map *umap); | |
| __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); | |
| | | | |
| int isl_union_map_is_empty(__isl_keep isl_union_map *umap); | | int isl_union_map_is_empty(__isl_keep isl_union_map *umap); | |
| | | | |
| 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); | |
| 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); | |
| 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); | |
| 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 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_dim *dim); | |
| | | | |
| __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, | |
| | | 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, | |
| | | FILE *input); | |
| __isl_give isl_union_map *isl_union_map_read_from_str(struct isl_ctx *ctx, | | __isl_give isl_union_map *isl_union_map_read_from_str(struct 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); | |
| | | | |
| __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_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_dim *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_dim *model); | |
| | | | |
| #if defined(__cplusplus) | | #if defined(__cplusplus) | |
| } | | } | |
| #endif | | #endif | |
| | | | |
| #endif | | #endif | |
| | | | |
End of changes. 9 change blocks. |
| 0 lines changed or deleted | | 21 lines changed or added | |
|