constraint.h   constraint.h 
skipping to change at line 82 skipping to change at line 82
int isl_constraint_dim(struct isl_constraint *constraint, int isl_constraint_dim(struct isl_constraint *constraint,
enum isl_dim_type type); enum isl_dim_type type);
const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constrai nt, const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constrai nt,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
void isl_constraint_get_constant(__isl_keep isl_constraint *constraint, void isl_constraint_get_constant(__isl_keep isl_constraint *constraint,
isl_int *v); isl_int *v);
void isl_constraint_get_coefficient(__isl_keep isl_constraint *constraint, void isl_constraint_get_coefficient(__isl_keep isl_constraint *constraint,
enum isl_dim_type type, int pos, isl_int *v); enum isl_dim_type type, int pos, isl_int *v);
void isl_constraint_set_constant(__isl_keep isl_constraint *constraint, isl _int v); void isl_constraint_set_constant(__isl_keep isl_constraint *constraint, isl _int v);
void isl_constraint_set_constant_si(__isl_keep isl_constraint *constraint,
int v);
void isl_constraint_set_coefficient(__isl_keep isl_constraint *constraint, void isl_constraint_set_coefficient(__isl_keep isl_constraint *constraint,
enum isl_dim_type type, int pos, isl_int v); enum isl_dim_type type, int pos, isl_int v);
void isl_constraint_set_coefficient_si(__isl_keep isl_constraint *constrain
t,
enum isl_dim_type type, int pos, int v);
__isl_give isl_div *isl_constraint_div(__isl_keep isl_constraint *constrain t, __isl_give isl_div *isl_constraint_div(__isl_keep isl_constraint *constrain t,
int pos); int pos);
struct isl_constraint *isl_constraint_add_div(struct isl_constraint *constr aint, struct isl_constraint *isl_constraint_add_div(struct isl_constraint *constr aint,
struct isl_div *div, int *pos); struct isl_div *div, int *pos);
void isl_constraint_clear(struct isl_constraint *constraint); void isl_constraint_clear(struct isl_constraint *constraint);
struct isl_constraint *isl_constraint_negate(struct isl_constraint *constra int); struct isl_constraint *isl_constraint_negate(struct isl_constraint *constra int);
int isl_constraint_is_equality(__isl_keep isl_constraint *constraint); int isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
 End of changes. 2 change blocks. 
0 lines changed or deleted 5 lines changed or added


 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


 dim.h   dim.h 
skipping to change at line 64 skipping to change at line 64
__isl_give isl_dim *isl_dim_add(__isl_take isl_dim *dim, enum isl_dim_type type, __isl_give isl_dim *isl_dim_add(__isl_take isl_dim *dim, enum isl_dim_type type,
unsigned n); unsigned n);
__isl_give isl_dim *isl_dim_move(__isl_take isl_dim *dim, __isl_give isl_dim *isl_dim_move(__isl_take isl_dim *dim,
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_dim *isl_dim_insert(__isl_take isl_dim *dim, __isl_give isl_dim *isl_dim_insert(__isl_take isl_dim *dim,
enum isl_dim_type type, unsigned pos, unsigned n); enum isl_dim_type type, unsigned pos, unsigned n);
__isl_give isl_dim *isl_dim_join(__isl_take isl_dim *left, __isl_give isl_dim *isl_dim_join(__isl_take isl_dim *left,
__isl_take isl_dim *right); __isl_take isl_dim *right);
struct isl_dim *isl_dim_product(struct isl_dim *left, struct isl_dim *right ); struct isl_dim *isl_dim_product(struct isl_dim *left, struct isl_dim *right );
struct isl_dim *isl_dim_map(struct isl_dim *dim); __isl_give isl_dim *isl_dim_range_product(__isl_take isl_dim *left,
__isl_take isl_dim *right);
__isl_give isl_dim *isl_dim_map_from_set(__isl_take isl_dim *dim);
__isl_give isl_dim *isl_dim_reverse(__isl_take isl_dim *dim); __isl_give isl_dim *isl_dim_reverse(__isl_take isl_dim *dim);
__isl_give isl_dim *isl_dim_drop(__isl_take isl_dim *dim, __isl_give isl_dim *isl_dim_drop(__isl_take isl_dim *dim,
enum isl_dim_type type, unsigned first, unsigned num); enum isl_dim_type type, unsigned first, unsigned num);
struct isl_dim *isl_dim_drop_inputs(struct isl_dim *dim, struct isl_dim *isl_dim_drop_inputs(struct isl_dim *dim,
unsigned first, unsigned n); unsigned first, unsigned n);
struct isl_dim *isl_dim_drop_outputs(struct isl_dim *dim, struct isl_dim *isl_dim_drop_outputs(struct isl_dim *dim,
unsigned first, unsigned n); unsigned first, unsigned n);
__isl_give isl_dim *isl_dim_domain(__isl_take isl_dim *dim); __isl_give isl_dim *isl_dim_domain(__isl_take isl_dim *dim);
__isl_give isl_dim *isl_dim_from_domain(__isl_take isl_dim *dim); __isl_give isl_dim *isl_dim_from_domain(__isl_take isl_dim *dim);
__isl_give isl_dim *isl_dim_range(__isl_take isl_dim *dim); __isl_give isl_dim *isl_dim_range(__isl_take isl_dim *dim);
__isl_give isl_dim *isl_dim_from_range(__isl_take isl_dim *dim); __isl_give isl_dim *isl_dim_from_range(__isl_take isl_dim *dim);
struct isl_dim *isl_dim_underlying(struct isl_dim *dim, unsigned n_div); struct isl_dim *isl_dim_underlying(struct isl_dim *dim, unsigned n_div);
int isl_dim_is_wrapping(__isl_keep isl_dim *dim); int isl_dim_is_wrapping(__isl_keep isl_dim *dim);
__isl_give isl_dim *isl_dim_wrap(__isl_take isl_dim *dim); __isl_give isl_dim *isl_dim_wrap(__isl_take isl_dim *dim);
__isl_give isl_dim *isl_dim_unwrap(__isl_take isl_dim *dim); __isl_give isl_dim *isl_dim_unwrap(__isl_take isl_dim *dim);
int isl_dim_can_zip(__isl_keep isl_dim *dim);
__isl_give isl_dim *isl_dim_zip(__isl_take isl_dim *dim);
int isl_dim_equal(struct isl_dim *dim1, struct isl_dim *dim2); int isl_dim_equal(struct isl_dim *dim1, struct isl_dim *dim2);
int isl_dim_match(struct isl_dim *dim1, enum isl_dim_type dim1_type, int isl_dim_match(struct isl_dim *dim1, enum isl_dim_type dim1_type,
struct isl_dim *dim2, enum isl_dim_type dim2_type); struct isl_dim *dim2, enum isl_dim_type dim2_type);
int isl_dim_tuple_match(__isl_keep isl_dim *dim1, enum isl_dim_type dim1_ty pe, int isl_dim_tuple_match(__isl_keep isl_dim *dim1, enum isl_dim_type dim1_ty pe,
__isl_keep isl_dim *dim2, enum isl_dim_type dim2_typ e); __isl_keep isl_dim *dim2, enum isl_dim_type dim2_typ e);
int isl_dim_compatible(struct isl_dim *dim1, struct isl_dim *dim2); int isl_dim_compatible(struct isl_dim *dim1, struct isl_dim *dim2);
unsigned isl_dim_size(__isl_keep isl_dim *dim, enum isl_dim_type type); unsigned isl_dim_size(__isl_keep isl_dim *dim, enum isl_dim_type type);
unsigned isl_dim_total(struct isl_dim *dim); unsigned isl_dim_total(struct isl_dim *dim);
#if defined(__cplusplus) #if defined(__cplusplus)
 End of changes. 2 change blocks. 
1 lines changed or deleted 6 lines changed or added


 flow.h   flow.h 
skipping to change at line 34 skipping to change at line 34
__isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink, __isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink,
void *sink_user, isl_access_level_before fn, int max_source); void *sink_user, isl_access_level_before fn, int max_source);
__isl_give isl_access_info *isl_access_info_add_source( __isl_give isl_access_info *isl_access_info_add_source(
__isl_take isl_access_info *acc, __isl_take isl_map *source, __isl_take isl_access_info *acc, __isl_take isl_map *source,
int must, void *source_user); int must, void *source_user);
void isl_access_info_free(__isl_take isl_access_info *acc); void isl_access_info_free(__isl_take isl_access_info *acc);
__isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_inf o *acc); __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_inf o *acc);
int isl_flow_foreach(__isl_keep isl_flow *deps, int isl_flow_foreach(__isl_keep isl_flow *deps,
int (*fn)(__isl_take isl_map *dep, int must, void *dep_user, void *u ser), int (*fn)(__isl_take isl_map *dep, int must, void *dep_user, void *u ser),
void *user); void *user);
__isl_give isl_set *isl_flow_get_no_source(__isl_keep isl_flow *deps, int m ust); __isl_give isl_map *isl_flow_get_no_source(__isl_keep isl_flow *deps, int m ust);
void isl_flow_free(__isl_take isl_flow *deps); void isl_flow_free(__isl_take isl_flow *deps);
int isl_union_map_compute_flow(__isl_take isl_union_map *sink, int isl_union_map_compute_flow(__isl_take isl_union_map *sink,
__isl_take isl_union_map *must_source, __isl_take isl_union_map *must_source,
__isl_take isl_union_map *may_source, __isl_take isl_union_map *may_source,
__isl_take isl_union_map *schedule, __isl_take isl_union_map *schedule,
__isl_give isl_union_map **must_dep, __isl_give isl_union_map **may_ dep, __isl_give isl_union_map **must_dep, __isl_give isl_union_map **may_ dep,
__isl_give isl_union_set **must_no_source, __isl_give isl_union_map **must_no_source,
__isl_give isl_union_set **may_no_source); __isl_give isl_union_map **may_no_source);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 2 change blocks. 
3 lines changed or deleted 3 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


 obj.h   obj.h 
skipping to change at line 24 skipping to change at line 24
struct isl_obj_vtable { struct isl_obj_vtable {
void *(*copy)(void *v1); void *(*copy)(void *v1);
void *(*add)(void *v1, void *v2); void *(*add)(void *v1, void *v2);
__isl_give isl_printer *(*print)(__isl_take isl_printer *p, void *v) ; __isl_give isl_printer *(*print)(__isl_take isl_printer *p, void *v) ;
void (*free)(void *v); void (*free)(void *v);
}; };
typedef struct isl_obj_vtable *isl_obj_type; typedef struct isl_obj_vtable *isl_obj_type;
extern struct isl_obj_vtable isl_obj_none_vtable; extern struct isl_obj_vtable isl_obj_none_vtable;
#define isl_obj_none (&isl_obj_none_vtable) #define isl_obj_none (&isl_obj_none_vtable)
extern struct isl_obj_vtable isl_obj_int_vtable;
#define isl_obj_int (&isl_obj_int_vtable)
extern struct isl_obj_vtable isl_obj_set_vtable; extern struct isl_obj_vtable isl_obj_set_vtable;
#define isl_obj_set (&isl_obj_set_vtable) #define isl_obj_set (&isl_obj_set_vtable)
extern struct isl_obj_vtable isl_obj_union_set_vtable; extern struct isl_obj_vtable isl_obj_union_set_vtable;
#define isl_obj_union_set (&isl_obj_union_set_vtable) #define isl_obj_union_set (&isl_obj_union_set_vtable)
extern struct isl_obj_vtable isl_obj_map_vtable; extern struct isl_obj_vtable isl_obj_map_vtable;
#define isl_obj_map (&isl_obj_map_vtable) #define isl_obj_map (&isl_obj_map_vtable)
extern struct isl_obj_vtable isl_obj_union_map_vtable; extern struct isl_obj_vtable isl_obj_union_map_vtable;
#define isl_obj_union_map (&isl_obj_union_map_vtable) #define isl_obj_union_map (&isl_obj_union_map_vtable)
extern struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable; extern struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable;
#define isl_obj_pw_qpolynomial (&isl_obj_pw_qpolynomial_vtable) #define isl_obj_pw_qpolynomial (&isl_obj_pw_qpolynomial_vtable)
skipping to change at line 45 skipping to change at line 47
#define isl_obj_union_pw_qpolynomial (&isl_obj_union_pw_qpolynomial_vtabl e) #define isl_obj_union_pw_qpolynomial (&isl_obj_union_pw_qpolynomial_vtabl e)
extern struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable; extern struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable;
#define isl_obj_pw_qpolynomial_fold (&isl_obj_pw_qpolynomial_fold_vtable ) #define isl_obj_pw_qpolynomial_fold (&isl_obj_pw_qpolynomial_fold_vtable )
extern struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable; extern struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable;
#define isl_obj_union_pw_qpolynomial_fold (&isl_obj_union_pw_qpolynomi al_fold_vtable) #define isl_obj_union_pw_qpolynomial_fold (&isl_obj_union_pw_qpolynomi al_fold_vtable)
struct isl_obj { struct isl_obj {
isl_obj_type type; isl_obj_type type;
void *v; void *v;
}; };
struct isl_int_obj;
typedef struct isl_int_obj isl_int_obj;
__isl_give isl_int_obj *isl_int_obj_alloc(isl_ctx *ctx, isl_int v);
void isl_int_obj_free(__isl_take isl_int_obj *i);
__isl_give isl_int_obj *isl_int_obj_add(__isl_take isl_int_obj *i1,
__isl_take isl_int_obj *i2);
__isl_give isl_int_obj *isl_int_obj_sub(__isl_take isl_int_obj *i1,
__isl_take isl_int_obj *i2);
__isl_give isl_int_obj *isl_int_obj_mul(__isl_take isl_int_obj *i1,
__isl_take isl_int_obj *i2);
void isl_int_obj_get_int(__isl_keep isl_int_obj *i, isl_int *v);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 2 change blocks. 
0 lines changed or deleted 15 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


 stdint.h   stdint.h 
#ifndef _ISL_INCLUDE_ISL_STDINT_H #ifndef _ISL_INCLUDE_ISL_STDINT_H
#define _ISL_INCLUDE_ISL_STDINT_H 1 #define _ISL_INCLUDE_ISL_STDINT_H 1
#ifndef _GENERATED_STDINT_H #ifndef _GENERATED_STDINT_H
#define _GENERATED_STDINT_H "isl 0.05.1" #define _GENERATED_STDINT_H "isl 0.06"
/* generated using gnu compiler gcc (SUSE Linux) 4.5.1 20101208 [gcc-4_5-br anch revision 167585] */ /* generated using gnu compiler gcc (SUSE Linux) 4.5.1 20101208 [gcc-4_5-br anch revision 167585] */
#define _STDINT_HAVE_STDINT_H 1 #define _STDINT_HAVE_STDINT_H 1
#include <stdint.h> #include <stdint.h>
#endif #endif
#endif #endif
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added


 stream.h   stream.h 
skipping to change at line 28 skipping to change at line 28
extern "C" { extern "C" {
#endif #endif
enum isl_token_type { ISL_TOKEN_ERROR = -1, enum isl_token_type { ISL_TOKEN_ERROR = -1,
ISL_TOKEN_UNKNOWN = 256, ISL_TOKEN_VALUE, ISL_TOKEN_UNKNOWN = 256, ISL_TOKEN_VALUE,
ISL_TOKEN_IDENT, ISL_TOKEN_GE, ISL_TOKEN_IDENT, ISL_TOKEN_GE,
ISL_TOKEN_LE, ISL_TOKEN_GT, ISL_TOKEN_LT, ISL_TOKEN_LE, ISL_TOKEN_GT, ISL_TOKEN_LT,
ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_LE, ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_LE,
ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LT, ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LT,
ISL_TOKEN_TO, ISL_TOKEN_AND, ISL_TOKEN_TO, ISL_TOKEN_AND,
ISL_TOKEN_OR, ISL_TOKEN_EXISTS, ISL_TOKEN_OR, ISL_TOKEN_EXISTS, ISL_TOKEN_NOT,
ISL_TOKEN_DEF, ISL_TOKEN_INFTY, ISL_TOKEN_NAN, ISL_TOKEN_DEF, ISL_TOKEN_INFTY, ISL_TOKEN_NAN,
ISL_TOKEN_MAX, ISL_TOKEN_MIN, ISL_TOKEN_MAX, ISL_TOKEN_RAT,
ISL_TOKEN_TRUE, ISL_TOKEN_FALSE,
ISL_TOKEN_CEILD, ISL_TOKEN_FLOORD,
ISL_TOKEN_STRING, ISL_TOKEN_STRING,
ISL_TOKEN_LAST }; ISL_TOKEN_LAST };
struct isl_token { struct isl_token {
enum isl_token_type type; enum isl_token_type type;
unsigned int on_new_line : 1; unsigned int on_new_line : 1;
unsigned is_keyword : 1;
int line; int line;
int col; int col;
union { union {
isl_int v; isl_int v;
char *s; char *s;
} u; } u;
}; };
void isl_token_free(struct isl_token *tok); void isl_token_free(struct isl_token *tok);
skipping to change at line 61 skipping to change at line 64
FILE *file; FILE *file;
const char *str; const char *str;
int line; int line;
int col; int col;
int eof; int eof;
char *buffer; char *buffer;
size_t size; size_t size;
size_t len; size_t len;
int c; int c;
int un[5];
int n_un;
struct isl_token *tokens[5]; struct isl_token *tokens[5];
int n_token; int n_token;
struct isl_hash_table *keywords; struct isl_hash_table *keywords;
enum isl_token_type next_type; enum isl_token_type next_type;
}; };
struct isl_stream* isl_stream_new_file(struct isl_ctx *ctx, FILE *file); struct isl_stream* isl_stream_new_file(struct isl_ctx *ctx, FILE *file);
struct isl_stream* isl_stream_new_str(struct isl_ctx *ctx, const char *str) ; struct isl_stream* isl_stream_new_str(struct isl_ctx *ctx, const char *str) ;
 End of changes. 4 change blocks. 
2 lines changed or deleted 7 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


 union_set.h   union_set.h 
skipping to change at line 19 skipping to change at line 19
#endif #endif
__isl_give isl_union_set *isl_union_set_from_set(__isl_take isl_set *set); __isl_give isl_union_set *isl_union_set_from_set(__isl_take isl_set *set);
__isl_give isl_union_set *isl_union_set_empty(__isl_take isl_dim *dim); __isl_give isl_union_set *isl_union_set_empty(__isl_take isl_dim *dim);
__isl_give isl_union_set *isl_union_set_copy(__isl_keep isl_union_set *uset ); __isl_give isl_union_set *isl_union_set_copy(__isl_keep isl_union_set *uset );
void isl_union_set_free(__isl_take isl_union_set *uset); void isl_union_set_free(__isl_take isl_union_set *uset);
isl_ctx *isl_union_set_get_ctx(__isl_keep isl_union_set *uset); isl_ctx *isl_union_set_get_ctx(__isl_keep isl_union_set *uset);
__isl_give isl_dim *isl_union_set_get_dim(__isl_keep isl_union_set *uset); __isl_give isl_dim *isl_union_set_get_dim(__isl_keep isl_union_set *uset);
__isl_give isl_union_set *isl_union_set_detect_equalities(
__isl_take isl_union_set *uset);
__isl_give isl_union_set *isl_union_set_affine_hull( __isl_give isl_union_set *isl_union_set_affine_hull(
__isl_take isl_union_set *uset); __isl_take isl_union_set *uset);
__isl_give isl_union_set *isl_union_set_polyhedral_hull( __isl_give isl_union_set *isl_union_set_polyhedral_hull(
__isl_take isl_union_set *uset); __isl_take isl_union_set *uset);
__isl_give isl_union_set *isl_union_set_simple_hull(
__isl_take isl_union_set *uset);
__isl_give isl_union_set *isl_union_set_coalesce( __isl_give isl_union_set *isl_union_set_coalesce(
__isl_take isl_union_set *uset); __isl_take isl_union_set *uset);
__isl_give isl_union_set *isl_union_set_compute_divs( __isl_give isl_union_set *isl_union_set_compute_divs(
__isl_take isl_union_set *uset); __isl_take isl_union_set *uset);
__isl_give isl_union_set *isl_union_set_lexmin(__isl_take isl_union_set *us et); __isl_give isl_union_set *isl_union_set_lexmin(__isl_take isl_union_set *us et);
__isl_give isl_union_set *isl_union_set_lexmax(__isl_take isl_union_set *us et); __isl_give isl_union_set *isl_union_set_lexmax(__isl_take isl_union_set *us et);
__isl_give isl_union_set *isl_union_set_add_set(__isl_take isl_union_set *u set, __isl_give isl_union_set *isl_union_set_add_set(__isl_take isl_union_set *u set,
__isl_take isl_set *set); __isl_take isl_set *set);
__isl_give isl_union_set *isl_union_set_union(__isl_take isl_union_set *use t1, __isl_give isl_union_set *isl_union_set_union(__isl_take isl_union_set *use t1,
skipping to change at line 74 skipping to change at line 78
__isl_give isl_union_map *isl_union_set_lex_lt_union_set( __isl_give isl_union_map *isl_union_set_lex_lt_union_set(
__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
__isl_give isl_union_map *isl_union_set_lex_le_union_set( __isl_give isl_union_map *isl_union_set_lex_le_union_set(
__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
__isl_give isl_union_map *isl_union_set_lex_gt_union_set( __isl_give isl_union_map *isl_union_set_lex_gt_union_set(
__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
__isl_give isl_union_map *isl_union_set_lex_ge_union_set( __isl_give isl_union_map *isl_union_set_lex_ge_union_set(
__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
__isl_give isl_union_set *isl_union_set_read_from_file(isl_ctx *ctx,
FILE *input);
__isl_give isl_union_set *isl_union_set_read_from_str(struct isl_ctx *ctx, __isl_give isl_union_set *isl_union_set_read_from_str(struct isl_ctx *ctx,
const char *str); const char *str);
__isl_give isl_printer *isl_printer_print_union_set(__isl_take isl_printer *p, __isl_give isl_printer *isl_printer_print_union_set(__isl_take isl_printer *p,
__isl_keep isl_union_set *uset); __isl_keep isl_union_set *uset);
void isl_union_set_dump(__isl_keep isl_union_set *uset);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 4 change blocks. 
0 lines changed or deleted 7 lines changed or added


 vec.h   vec.h 
skipping to change at line 18 skipping to change at line 18
*/ */
#ifndef ISL_VEC_H #ifndef ISL_VEC_H
#define ISL_VEC_H #define ISL_VEC_H
#include <stdio.h> #include <stdio.h>
#include <isl/int.h> #include <isl/int.h>
#include <isl/ctx.h> #include <isl/ctx.h>
#include <isl/blk.h> #include <isl/blk.h>
#include <isl/printer.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
struct isl_vec { struct isl_vec {
int ref; int ref;
struct isl_ctx *ctx; struct isl_ctx *ctx;
skipping to change at line 40 skipping to change at line 41
struct isl_blk block; struct isl_blk block;
}; };
typedef struct isl_vec isl_vec; typedef struct isl_vec isl_vec;
struct isl_vec *isl_vec_alloc(struct isl_ctx *ctx, unsigned size); struct isl_vec *isl_vec_alloc(struct isl_ctx *ctx, unsigned size);
struct isl_vec *isl_vec_copy(struct isl_vec *vec); struct isl_vec *isl_vec_copy(struct isl_vec *vec);
struct isl_vec *isl_vec_cow(struct isl_vec *vec); struct isl_vec *isl_vec_cow(struct isl_vec *vec);
void isl_vec_free(struct isl_vec *vec); void isl_vec_free(struct isl_vec *vec);
void isl_vec_dump(struct isl_vec *vec, FILE *out, int indent); void isl_vec_dump(__isl_keep isl_vec *vec);
__isl_give isl_printer *isl_printer_print_vec(__isl_take isl_printer *print
er,
__isl_keep isl_vec *vec);
void isl_vec_lcm(struct isl_vec *vec, isl_int *lcm); void isl_vec_lcm(struct isl_vec *vec, isl_int *lcm);
struct isl_vec *isl_vec_ceil(struct isl_vec *vec); struct isl_vec *isl_vec_ceil(struct isl_vec *vec);
struct isl_vec *isl_vec_normalize(struct isl_vec *vec); struct isl_vec *isl_vec_normalize(struct isl_vec *vec);
__isl_give isl_vec *isl_vec_clr(__isl_take isl_vec *vec); __isl_give isl_vec *isl_vec_clr(__isl_take isl_vec *vec);
__isl_give isl_vec *isl_vec_scale(__isl_take isl_vec *vec, isl_int m); __isl_give isl_vec *isl_vec_scale(__isl_take isl_vec *vec, isl_int m);
__isl_give isl_vec *isl_vec_add(__isl_take isl_vec *vec1, __isl_give isl_vec *isl_vec_add(__isl_take isl_vec *vec1,
__isl_take isl_vec *vec2); __isl_take isl_vec *vec2);
__isl_give isl_vec *isl_vec_extend(__isl_take isl_vec *vec, unsigned size); __isl_give isl_vec *isl_vec_extend(__isl_take isl_vec *vec, unsigned size);
__isl_give isl_vec *isl_vec_zero_extend(__isl_take isl_vec *vec, unsigned s ize); __isl_give isl_vec *isl_vec_zero_extend(__isl_take isl_vec *vec, unsigned s ize);
struct isl_vec *isl_vec_read_from_file(struct isl_ctx *ctx, __isl_give isl_vec *isl_vec_read_from_file(isl_ctx *ctx, FILE *input);
FILE *input, unsigned input_format);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 3 change blocks. 
3 lines changed or deleted 6 lines changed or added


 version.h   version.h 
skipping to change at line 36 skipping to change at line 36
#ifndef CLOOG_VERSION_H #ifndef CLOOG_VERSION_H
#define CLOOG_VERSION_H #define CLOOG_VERSION_H
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" extern "C"
{ {
#endif #endif
#define CLOOG_VERSION_MAJOR 0 #define CLOOG_VERSION_MAJOR 0
#define CLOOG_VERSION_MINOR 16 #define CLOOG_VERSION_MINOR 16
#define CLOOG_VERSION_REVISION 1 #define CLOOG_VERSION_REVISION 2
const char *cloog_version(void); const char *cloog_version(void);
int cloog_version_major(void); int cloog_version_major(void);
int cloog_version_minor(void); int cloog_version_minor(void);
int cloog_version_revision(void); int cloog_version_revision(void);
#if defined(__cplusplus) #if defined(__cplusplus)
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added

This html diff was produced by rfcdiff 1.41. The latest version is available from http://tools.ietf.org/tools/rfcdiff/