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/