constraint.h		constraint.h
	skipping to change at line 13		skipping to change at line 13
	*		*
	* Use of this software is governed by the GNU LGPLv2.1 license		* Use of this software is governed by the GNU LGPLv2.1 license
	*		*
	* Written by Sven Verdoolaege, K.U.Leuven, Departement		* Written by Sven Verdoolaege, K.U.Leuven, Departement
	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium		* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
	*/		*/
	#ifndef ISL_CONSTRAINT_H		#ifndef ISL_CONSTRAINT_H
	#define ISL_CONSTRAINT_H		#define ISL_CONSTRAINT_H
			#include <isl/aff_type.h>
	#include <isl/div.h>		#include <isl/div.h>
	#include <isl/set.h>		#include <isl/set_type.h>
			#include <isl/printer.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_constraint {		struct isl_constraint;
	int ref;
	struct isl_ctx *ctx;
	struct isl_basic_map *bmap;
	isl_int **line;
	};
	typedef struct isl_constraint isl_constraint;		typedef struct isl_constraint isl_constraint;
			isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);
	__isl_give isl_constraint *isl_equality_alloc(__isl_take isl_dim *dim);		__isl_give isl_constraint *isl_equality_alloc(__isl_take isl_dim *dim);
	__isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_dim *dim);		__isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_dim *dim);
	struct isl_constraint *isl_basic_set_constraint(struct isl_basic_set *bset,
	isl_int **line);
	struct isl_constraint *isl_constraint_cow(struct isl_constraint *c);		struct isl_constraint *isl_constraint_cow(struct isl_constraint *c);
	struct isl_constraint *isl_constraint_copy(struct isl_constraint *c);		struct isl_constraint *isl_constraint_copy(struct isl_constraint *c);
	void isl_constraint_free(struct isl_constraint *c);		void isl_constraint_free(struct isl_constraint *c);
	__isl_give isl_constraint *isl_basic_map_first_constraint(		__isl_give isl_constraint *isl_basic_map_first_constraint(
	__isl_take isl_basic_map *bmap);		__isl_take isl_basic_map *bmap);
	__isl_give isl_constraint *isl_basic_set_first_constraint(		__isl_give isl_constraint *isl_basic_set_first_constraint(
	__isl_take isl_basic_set *bset);		__isl_take isl_basic_set *bset);
	struct isl_constraint *isl_constraint_next(struct isl_constraint *c);		struct isl_constraint *isl_constraint_next(struct isl_constraint *c);
	skipping to change at line 60		skipping to change at line 56
	int isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,		int isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
	enum isl_dim_type type, unsigned pos,		enum isl_dim_type type, unsigned pos,
	int (*fn)(__isl_take isl_constraint *lower,		int (*fn)(__isl_take isl_constraint *lower,
	__isl_take isl_constraint *upper,		__isl_take isl_constraint *upper,
	__isl_take isl_basic_set *bset, void *user), void *user);		__isl_take isl_basic_set *bset, void *user), void *user);
	__isl_give isl_basic_map *isl_basic_map_add_constraint(		__isl_give isl_basic_map *isl_basic_map_add_constraint(
	__isl_take isl_basic_map *bmap, __isl_take isl_constraint *constrain t);		__isl_take isl_basic_map *bmap, __isl_take isl_constraint *constrain t);
	__isl_give isl_basic_set *isl_basic_set_add_constraint(		__isl_give isl_basic_set *isl_basic_set_add_constraint(
	__isl_take isl_basic_set *bset, __isl_take isl_constraint *constrain t);		__isl_take isl_basic_set *bset, __isl_take isl_constraint *constrain t);
			__isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map,
			__isl_take isl_constraint *constraint);
			__isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
			__isl_take isl_constraint *constraint);
	int isl_basic_map_has_defining_equality(		int isl_basic_map_has_defining_equality(
	__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,		__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
	__isl_give isl_constraint **c);		__isl_give isl_constraint **c);
	int isl_basic_set_has_defining_equality(		int isl_basic_set_has_defining_equality(
	struct isl_basic_set *bset, enum isl_dim_type type, int pos,		struct isl_basic_set *bset, enum isl_dim_type type, int pos,
	struct isl_constraint **constraint);		struct isl_constraint **constraint);
	int isl_basic_set_has_defining_inequalities(		int isl_basic_set_has_defining_inequalities(
	struct isl_basic_set *bset, enum isl_dim_type type, int pos,		struct isl_basic_set *bset, enum isl_dim_type type, int pos,
	struct isl_constraint **lower,		struct isl_constraint **lower,
	struct isl_constraint **upper);		struct isl_constraint **upper);
			__isl_give isl_dim *isl_constraint_get_dim(
			__isl_keep isl_constraint *constraint);
	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);
			int isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
			enum isl_dim_type type, unsigned first, unsigned n);
	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,		void isl_constraint_set_constant_si(__isl_keep isl_constraint *constraint,
	int v);		int v);
	void isl_constraint_set_coefficient(__isl_keep isl_constraint *constraint,		void isl_constraint_set_coefficient(__isl_keep isl_constraint *constraint,
	skipping to change at line 105		skipping to change at line 110
	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);
	int isl_constraint_is_div_constraint(__isl_keep isl_constraint *constraint) ;		int isl_constraint_is_div_constraint(__isl_keep isl_constraint *constraint) ;
	__isl_give isl_basic_map *isl_basic_map_from_constraint(		__isl_give isl_basic_map *isl_basic_map_from_constraint(
	__isl_take isl_constraint *constraint);		__isl_take isl_constraint *constraint);
	struct isl_basic_set *isl_basic_set_from_constraint(		struct isl_basic_set *isl_basic_set_from_constraint(
	struct isl_constraint *constraint);		struct isl_constraint *constraint);
			__isl_give isl_aff *isl_constraint_get_bound(
			__isl_keep isl_constraint *constraint, enum isl_dim_type type, int p
			os);
			__isl_give isl_aff *isl_constraint_get_aff(
			__isl_keep isl_constraint *constraint);
			__isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff);
			__isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff)
			;
			__isl_give isl_basic_set *isl_basic_set_drop_constraint(
			__isl_take isl_basic_set *bset, __isl_take isl_constraint *constrain
			t);
			__isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer
			*p,
			__isl_keep isl_constraint *c);
			void isl_constraint_dump(__isl_keep isl_constraint *c);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 9 change blocks.
	10 lines changed or deleted		33 lines changed or added

	constraints.h		constraints.h
	skipping to change at line 108		skipping to change at line 108
	int cloog_constraint_involves(CloogConstraint *constraint, int v) ;		int cloog_constraint_involves(CloogConstraint *constraint, int v) ;
	int cloog_constraint_is_lower_bound(CloogConstraint *constraint, int v);		int cloog_constraint_is_lower_bound(CloogConstraint *constraint, int v);
	int cloog_constraint_is_upper_bound(CloogConstraint *constraint, int v);		int cloog_constraint_is_upper_bound(CloogConstraint *constraint, int v);
	int cloog_constraint_is_equality(CloogConstraint *constraint);		int cloog_constraint_is_equality(CloogConstraint *constraint);
	void cloog_constraint_constant_get(CloogConstraint *constraint,		void cloog_constraint_constant_get(CloogConstraint *constraint,
	cloog_int_t *val);		cloog_int_t *val);
	void cloog_constraint_coefficient_get(CloogConstraint *constraint,		void cloog_constraint_coefficient_get(CloogConstraint *constraint,
	int var, cloog_int_t *val);		int var, cloog_int_t *val);
	void cloog_constraint_coefficient_set(CloogConstraint *constraint,		void cloog_constraint_coefficient_set(CloogConstraint *constraint,
	int var, cloog_int_t val);		int var, cloog_int_t val);
	void cloog_constraint_clear(CloogConstraint *constraint);
	void cloog_constraint_copy_coefficients(CloogConstraint *constrain t,		void cloog_constraint_copy_coefficients(CloogConstraint *constrain t,
	cloog_int_t *dst);		cloog_int_t *dst);
			CloogConstraintSet *cloog_constraint_set_drop_constraint(
			CloogConstraintSet *constraints, CloogConstraint *constraint);
	struct clast_expr *cloog_constraint_variable_expr(CloogConstraint *constrai nt,		struct clast_expr *cloog_constraint_variable_expr(CloogConstraint *constrai nt,
	int level, CloogNames *names);		int level, CloogNames *names);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif /* define _H */		#endif /* define _H */
End of changes. 2 change blocks.
	1 lines changed or deleted		2 lines changed or added

	constraintset.h		constraintset.h
	skipping to change at line 12		skipping to change at line 12
	#define CLOOG_ISL_CONSTRAINTSET_H		#define CLOOG_ISL_CONSTRAINTSET_H
	#include <cloog/isl/backend.h>		#include <cloog/isl/backend.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C"		extern "C"
	{		{
	#endif		#endif
	struct cloogconstraintset {		struct cloogconstraintset {
			int dummy; /* Solaris cc doesn't like zero-sized structs */
	};		};
	struct cloogequalities {		struct cloogequalities {
	int n;		int n;
	unsigned total_dim;		unsigned total_dim;
	CloogConstraintSet **constraints;		isl_constraint **constraints;
	int *types;		int *types;
	};		};
	struct cloogconstraint {		struct cloogconstraint {
	struct isl_constraint isl;		int dummy; /* Solaris cc doesn't like zero-sized structs */
	};		};
	CloogConstraintSet *cloog_constraint_set_from_isl_basic_set(struct isl_basi c_set *bset);		CloogConstraintSet *cloog_constraint_set_from_isl_basic_set(struct isl_basi c_set *bset);
	CloogConstraint *cloog_constraint_from_isl_constraint(struct isl_constraint *constraint);		CloogConstraint *cloog_constraint_from_isl_constraint(struct isl_constraint *constraint);
			isl_constraint *cloog_constraint_to_isl(CloogConstraint *constraint);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif /* define _H */		#endif /* define _H */
End of changes. 4 change blocks.
	2 lines changed or deleted		4 lines changed or added

	ctx.h		ctx.h
	skipping to change at line 58		skipping to change at line 58
	*		*
	* If anything goes wrong (out of memory, failed assertion), then		* If anything goes wrong (out of memory, failed assertion), then
	* the library will currently simply abort. This will be made		* the library will currently simply abort. This will be made
	* configurable in the future.		* configurable in the future.
	* Users of the library should expect functions that return		* Users of the library should expect functions that return
	* a pointer to a structure, to return NULL, indicating failure.		* a pointer to a structure, to return NULL, indicating failure.
	* Any function accepting a pointer to a structure will treat		* Any function accepting a pointer to a structure will treat
	* 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 should 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_abort,
	isl_error_unknown,		isl_error_unknown,
	isl_error_internal,		isl_error_internal,
	isl_error_invalid,		isl_error_invalid,
	skipping to change at line 86		skipping to change at line 86
	#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. */
	#define ISL_F_SET(p, f) ISL_FL_SET((p)->flags, f)		#define ISL_F_SET(p, f) ISL_FL_SET((p)->flags, f)
	#define ISL_F_CLR(p, f) ISL_FL_CLR((p)->flags, f)		#define ISL_F_CLR(p, f) ISL_FL_CLR((p)->flags, f)
	#define ISL_F_ISSET(p, f) ISL_FL_ISSET((p)->flags, f)		#define ISL_F_ISSET(p, f) ISL_FL_ISSET((p)->flags, f)
	#define isl_alloc(ctx,type,size) (type *)malloc(size)		/* isl_check_ctx() checks at compile time if 'ctx' is of type 'isl_ctx *' a
	#define isl_calloc(ctx,type,size) (type *)calloc(1, size)		nd
	#define isl_realloc(ctx,ptr,type,size) (type *)realloc(ptr,size)		* returns the value of 'expr'. It is used to ensure, that always an isl_ct
			x is
			* passed to the following macros, even if they currently do not use it.
			*/
			#define isl_check_ctx(ctx, expr) (ctx != (isl_ctx *) 0) ? expr : expr
			#define isl_alloc(ctx,type,size) isl_check_ctx(ctx, (type *)malloc(si
			ze))
			#define isl_calloc(ctx,type,size) isl_check_ctx(ctx, \
			(type *)calloc(1, size))
			#define isl_realloc(ctx,ptr,type,size) isl_check_ctx(ctx, \
			(type *)realloc(ptr,size))
	#define isl_alloc_type(ctx,type) isl_alloc(ctx,type,sizeof(type))		#define isl_alloc_type(ctx,type) isl_alloc(ctx,type,sizeof(type))
	#define isl_calloc_type(ctx,type) isl_calloc(ctx,type,sizeof(type))		#define isl_calloc_type(ctx,type) isl_calloc(ctx,type,sizeof(type))
	#define isl_realloc_type(ctx,ptr,type) isl_realloc(ctx,ptr,type,sizeof(type ))		#define isl_realloc_type(ctx,ptr,type) isl_realloc(ctx,ptr,type,sizeof(type ))
	#define isl_alloc_array(ctx,type,n) isl_alloc(ctx,type,(n)*sizeof(type))		#define isl_alloc_array(ctx,type,n) isl_alloc(ctx,type,(n)*sizeof(type))
	#define isl_calloc_array(ctx,type,n) (type *)calloc(n, sizeof(type))		#define isl_calloc_array(ctx,type,n) isl_check_ctx(ctx,\
			(type *)calloc(n, sizeof(typ
			e)))
	#define isl_realloc_array(ctx,ptr,type,n) \		#define isl_realloc_array(ctx,ptr,type,n) \
	isl_realloc(ctx,ptr,type,(n)*sizeof(type ))		isl_realloc(ctx,ptr,type,(n)*sizeof(type ))
	#define isl_die(ctx,errno,msg,code) \		#define isl_die(ctx,errno,msg,code) \
	do { \		do { \
	isl_ctx_set_error(ctx, errno); \		isl_ctx_set_error(ctx, 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) \
End of changes. 3 change blocks.
	5 lines changed or deleted		18 lines changed or added

	dim.h		dim.h
	skipping to change at line 14		skipping to change at line 14
	* Use of this software is governed by the GNU LGPLv2.1 license		* Use of this software is governed by the GNU LGPLv2.1 license
	*		*
	* Written by Sven Verdoolaege, K.U.Leuven, Departement		* Written by Sven Verdoolaege, K.U.Leuven, Departement
	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium		* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
	*/		*/
	#ifndef ISL_DIM_H		#ifndef ISL_DIM_H
	#define ISL_DIM_H		#define ISL_DIM_H
	#include <isl/ctx.h>		#include <isl/ctx.h>
			#include <isl/printer.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_dim;		struct isl_dim;
	typedef struct isl_dim isl_dim;		typedef struct isl_dim isl_dim;
	enum isl_dim_type {		enum isl_dim_type {
	isl_dim_cst,		isl_dim_cst,
	skipping to change at line 80		skipping to change at line 81
	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);
			__isl_give isl_dim *isl_dim_align_params(__isl_take isl_dim *dim1,
			__isl_take isl_dim *dim2);
	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);		int isl_dim_can_zip(__isl_keep isl_dim *dim);
	__isl_give isl_dim *isl_dim_zip(__isl_take 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);
			__isl_give isl_printer *isl_printer_print_dim(__isl_take isl_printer *p,
			__isl_keep isl_dim *dim);
			void isl_dim_dump(__isl_keep isl_dim *dim);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 3 change blocks.
	0 lines changed or deleted		8 lines changed or added

	div.h		div.h
	skipping to change at line 14		skipping to change at line 14
	* Use of this software is governed by the GNU LGPLv2.1 license		* Use of this software is governed by the GNU LGPLv2.1 license
	*		*
	* Written by Sven Verdoolaege, K.U.Leuven, Departement		* Written by Sven Verdoolaege, K.U.Leuven, Departement
	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium		* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
	*/		*/
	#ifndef ISL_DIV_H		#ifndef ISL_DIV_H
	#define ISL_DIV_H		#define ISL_DIV_H
	#include <isl/dim.h>		#include <isl/dim.h>
	#include <isl/set.h>		#include <isl/aff_type.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_div {		struct isl_div;
	int ref;
	struct isl_ctx *ctx;
	struct isl_basic_map *bmap;
	isl_int **line;
	};
	typedef struct isl_div isl_div;		typedef struct isl_div isl_div;
			isl_ctx *isl_div_get_ctx(__isl_keep isl_div *div);
	struct isl_div *isl_div_alloc(struct isl_dim *dim);		struct isl_div *isl_div_alloc(struct isl_dim *dim);
	struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, int pos);
	struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos);
	__isl_give isl_div *isl_div_copy(__isl_keep isl_div *div);		__isl_give isl_div *isl_div_copy(__isl_keep isl_div *div);
	void isl_div_free(struct isl_div *c);		void isl_div_free(struct isl_div *c);
	void isl_div_get_constant(__isl_keep isl_div *div, isl_int *v);		void isl_div_get_constant(__isl_keep isl_div *div, isl_int *v);
	void isl_div_get_denominator(__isl_keep isl_div *div, isl_int *v);		void isl_div_get_denominator(__isl_keep isl_div *div, isl_int *v);
	void isl_div_get_coefficient(__isl_keep isl_div *div,		void isl_div_get_coefficient(__isl_keep isl_div *div,
	enum isl_dim_type type, int pos, isl_int *v);		enum isl_dim_type type, int pos, isl_int *v);
	void isl_div_set_constant(struct isl_div *div, isl_int v);		void isl_div_set_constant(struct isl_div *div, isl_int v);
	void isl_div_set_denominator(struct isl_div *div, isl_int v);		void isl_div_set_denominator(struct isl_div *div, isl_int v);
	void isl_div_set_coefficient(struct isl_div *div,		void isl_div_set_coefficient(struct isl_div *div,
	enum isl_dim_type type, int pos, isl_int v);		enum isl_dim_type type, int pos, isl_int v);
	unsigned isl_div_dim(__isl_keep isl_div *div, enum isl_dim_type type);		unsigned isl_div_dim(__isl_keep isl_div *div, enum isl_dim_type type);
	__isl_give isl_div *isl_div_div(__isl_take isl_div *div, int pos);		__isl_give isl_div *isl_div_div(__isl_take isl_div *div, int pos);
			__isl_give isl_aff *isl_aff_from_div(__isl_take isl_div *div);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 5 change blocks.
	10 lines changed or deleted		6 lines changed or added

	domain.h		domain.h
	skipping to change at line 127		skipping to change at line 127
	int cloog_domain_isempty(CloogDomain *) ;		int cloog_domain_isempty(CloogDomain *) ;
	CloogDomain * cloog_domain_universe(CloogState *state, unsigned dim);		CloogDomain * cloog_domain_universe(CloogState *state, unsigned dim);
	CloogDomain * cloog_domain_project(CloogDomain *, int);		CloogDomain * cloog_domain_project(CloogDomain *, int);
	CloogDomain * cloog_domain_extend(CloogDomain *, int);		CloogDomain * cloog_domain_extend(CloogDomain *, int);
	int cloog_domain_never_integral(CloogDomain *) ;		int cloog_domain_never_integral(CloogDomain *) ;
	void cloog_domain_stride(CloogDomain *, int, cloog_int_t *, cloog_ int_t *);		void cloog_domain_stride(CloogDomain *, int, cloog_int_t *, cloog_ int_t *);
	int cloog_domain_can_stride(CloogDomain *domain, int level);		int cloog_domain_can_stride(CloogDomain *domain, int level);
	int cloog_domain_is_otl(CloogDomain *domain, int level);		int cloog_domain_is_otl(CloogDomain *domain, int level);
	CloogDomain * cloog_domain_stride_lower_bound(CloogDomain *domain, int leve l,		CloogDomain * cloog_domain_stride_lower_bound(CloogDomain *domain, int leve l,
	CloogStride *stride);		CloogStride *stride);
			CloogDomain * cloog_domain_add_stride_constraint(CloogDomain *domain,
			CloogStride *stride);
			int cloog_domain_can_unroll(CloogDomain *domain, int level,
			cloog_int_t *n, CloogConstraint **lb);
			CloogDomain * cloog_domain_fixed_offset(CloogDomain *domain, int level,
			CloogConstraint *lb, cloog_int_t offset);
	int cloog_domain_lazy_disjoint(CloogDomain *, CloogDomain *) ;		int cloog_domain_lazy_disjoint(CloogDomain *, CloogDomain *) ;
	int cloog_domain_lazy_equal(CloogDomain *, CloogDomain *) ;		int cloog_domain_lazy_equal(CloogDomain *, CloogDomain *) ;
	int cloog_scattering_lazy_block(CloogScattering *, CloogScatterin g *,		int cloog_scattering_lazy_block(CloogScattering *, CloogScatterin g *,
	CloogScatteringList *, int);		CloogScatteringList *, int);
	int cloog_scattering_lazy_isscalar(CloogScattering *, int,		int cloog_scattering_lazy_isscalar(CloogScattering *, int,
	cloog_int_t *);		cloog_int_t *);
	int cloog_domain_lazy_isconstant(CloogDomain *domain, int dimensi on,		int cloog_domain_lazy_isconstant(CloogDomain *domain, int dimensi on,
	cloog_int_t *value);		cloog_int_t *value);
	int cloog_scattering_list_lazy_same(CloogScatteringList *);		int cloog_scattering_list_lazy_same(CloogScatteringList *);
	CloogDomain * cloog_domain_cut_first(CloogDomain *domain, CloogDomain **res t);		CloogDomain * cloog_domain_cut_first(CloogDomain *domain, CloogDomain **res t);
End of changes. 1 change blocks.
	0 lines changed or deleted		6 lines changed or added

	flow.h		flow.h
	#ifndef ISL_FLOW_H		#ifndef ISL_FLOW_H
	#define ISL_FLOW_H		#define ISL_FLOW_H
	#include <isl/set.h>		#include <isl/set_type.h>
	#include <isl/map.h>		#include <isl/map_type.h>
	#include <isl/union_set.h>		#include <isl/union_set.h>
	#include <isl/union_map.h>		#include <isl/union_map.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	/* Let n (>= 0) be the number of iterators shared by first and second.		/* Let n (>= 0) be the number of iterators shared by first and second.
	* If first precedes second textually return 2 * n + 1,		* If first precedes second textually return 2 * n + 1,
	* otherwise return 2 * n.		* otherwise return 2 * n.
	skipping to change at line 30		skipping to change at line 30
	typedef struct isl_access_info isl_access_info;		typedef struct isl_access_info isl_access_info;
	struct isl_flow;		struct isl_flow;
	typedef struct isl_flow isl_flow;		typedef struct isl_flow isl_flow;
	__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_ctx *isl_access_info_get_ctx(__isl_keep 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_map *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);
			isl_ctx *isl_flow_get_ctx(__isl_keep 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_map **must_no_source,		__isl_give isl_union_map **must_no_source,
	__isl_give isl_union_map **may_no_source);		__isl_give isl_union_map **may_no_source);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
End of changes. 3 change blocks.
	2 lines changed or deleted		7 lines changed or added

	ilp.h		ilp.h
	skipping to change at line 13		skipping to change at line 13
	*		*
	* Use of this software is governed by the GNU LGPLv2.1 license		* Use of this software is governed by the GNU LGPLv2.1 license
	*		*
	* Written by Sven Verdoolaege, K.U.Leuven, Departement		* Written by Sven Verdoolaege, K.U.Leuven, Departement
	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium		* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
	*/		*/
	#ifndef ISL_ILP_H		#ifndef ISL_ILP_H
	#define ISL_ILP_H		#define ISL_ILP_H
			#include <isl/aff_type.h>
	#include <isl/lp.h>		#include <isl/lp.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max,		enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max,
	isl_int *f, isl_int *opt,		isl_int *f, isl_int *opt,
	struct isl_vec **sol_p);		struct isl_vec **sol_p);
			enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset,
			__isl_keep isl_aff *obj, isl_int *opt);
			enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
			__isl_keep isl_aff *obj, isl_int *opt);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 2 change blocks.
	0 lines changed or deleted		5 lines changed or added

	int.h		int.h
	skipping to change at line 147		skipping to change at line 147
	#endif		#endif
	#define cloog_int_is_pos(i) (cloog_int_sgn(i) > 0)		#define cloog_int_is_pos(i) (cloog_int_sgn(i) > 0)
	#define cloog_int_is_neg(i) (cloog_int_sgn(i) < 0)		#define cloog_int_is_neg(i) (cloog_int_sgn(i) < 0)
	#define cloog_int_is_zero(i) (cloog_int_sgn(i) == 0)		#define cloog_int_is_zero(i) (cloog_int_sgn(i) == 0)
	#define cloog_int_is_one(i) (cloog_int_cmp_si(i,1) == 0)		#define cloog_int_is_one(i) (cloog_int_cmp_si(i,1) == 0)
	#define cloog_int_is_neg_one(i) (cloog_int_cmp_si(i,-1) == 0)		#define cloog_int_is_neg_one(i) (cloog_int_cmp_si(i,-1) == 0)
	#define cloog_int_gt_si(i,si) (cloog_int_cmp_si(i,si) > 0)		#define cloog_int_gt_si(i,si) (cloog_int_cmp_si(i,si) > 0)
	#define cloog_int_ne_si(i,j) (cloog_int_cmp_si(i,j) != 0)		#define cloog_int_ne_si(i,j) (cloog_int_cmp_si(i,j) != 0)
			#define cloog_int_lt(i,j) (cloog_int_cmp(i,j) < 0)
	#define cloog_int_le(i,j) (cloog_int_cmp(i,j) <= 0)		#define cloog_int_le(i,j) (cloog_int_cmp(i,j) <= 0)
	#define cloog_int_abs_ne(i,j) (cloog_int_abs_cmp(i,j) != 0)		#define cloog_int_abs_ne(i,j) (cloog_int_abs_cmp(i,j) != 0)
	#define cloog_int_abs_ge(i,j) (cloog_int_abs_cmp(i,j) >= 0)		#define cloog_int_abs_ge(i,j) (cloog_int_abs_cmp(i,j) >= 0)
	#define cloog_int_abs_lt(i,j) (cloog_int_abs_cmp(i,j) < 0)		#define cloog_int_abs_lt(i,j) (cloog_int_abs_cmp(i,j) < 0)
	struct cloog_vec {		struct cloog_vec {
	unsigned size;		unsigned size;
	cloog_int_t *p;		cloog_int_t *p;
	};		};
End of changes. 1 change blocks.
	0 lines changed or deleted		1 lines changed or added

	list.h		list.h
	skipping to change at line 14		skipping to change at line 14
	* Use of this software is governed by the GNU LGPLv2.1 license		* Use of this software is governed by the GNU LGPLv2.1 license
	*		*
	* Written by Sven Verdoolaege, K.U.Leuven, Departement		* Written by Sven Verdoolaege, K.U.Leuven, Departement
	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium		* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
	*/		*/
	#ifndef ISL_LIST_H		#ifndef ISL_LIST_H
	#define ISL_LIST_H		#define ISL_LIST_H
	#include <isl/ctx.h>		#include <isl/ctx.h>
			#include <isl/printer.h>
	struct isl_basic_set;		#if defined(__cplusplus)
			extern "C" {
	struct isl_basic_set_list {		#endif
	int ref;
	struct isl_ctx *ctx;
	int n;		#define ISL_DECLARE_LIST(EL) \
			struct isl_##EL; \
			struct isl_##EL##_list;
			\
			typedef struct isl_##EL##_list isl_##EL##_list;
			\
			isl_ctx *isl_##EL##_list_get_ctx(__isl_keep isl_##EL##_list *list); \
			__isl_give isl_##EL##_list *isl_##EL##_list_alloc(isl_ctx *ctx, int n);
			\
			__isl_give isl_##EL##_list *isl_##EL##_list_copy( \
			__isl_keep isl_##EL##_list *list); \
			void isl_##EL##_list_free(__isl_take isl_##EL##_list *list); \
			__isl_give isl_##EL##_list *isl_##EL##_list_add( \
			__isl_take isl_##EL##_list *list, \
			__isl_take struct isl_##EL *el); \
			int isl_##EL##_list_n_##EL(__isl_keep isl_##EL##_list *list); \
			__isl_give struct isl_##EL *isl_##EL##_list_get_##EL( \
			__isl_keep isl_##EL##_list *list, int index); \
			int isl_##EL##_list_foreach(__isl_keep isl_##EL##_list *list, \
			int (*fn)(__isl_take struct isl_##EL *el, void *user), \
			void *user); \
			__isl_give isl_printer *isl_printer_print_##EL##_list( \
			__isl_take isl_printer *p, __isl_keep isl_##EL##_list *list); \
			void isl_##EL##_list_dump(__isl_keep isl_##EL##_list *list);
	size_t size;		ISL_DECLARE_LIST(basic_set)
	struct isl_basic_set *p[1];		ISL_DECLARE_LIST(set)
	};		ISL_DECLARE_LIST(aff)
			ISL_DECLARE_LIST(band)
	struct isl_basic_set_list *isl_basic_set_list_alloc(struct isl_ctx *ctx, in		#if defined(__cplusplus)
	t n);		}
	void isl_basic_set_list_free(struct isl_basic_set_list *list);		#endif
	struct isl_basic_set_list *isl_basic_set_list_add(
	struct isl_basic_set_list *list,
	struct isl_basic_set *bset);
	#endif		#endif
End of changes. 5 change blocks.
	15 lines changed or deleted		35 lines changed or added

	lp.h		lp.h
	skipping to change at line 13		skipping to change at line 13
	*		*
	* Use of this software is governed by the GNU LGPLv2.1 license		* Use of this software is governed by the GNU LGPLv2.1 license
	*		*
	* Written by Sven Verdoolaege, K.U.Leuven, Departement		* Written by Sven Verdoolaege, K.U.Leuven, Departement
	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium		* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
	*/		*/
	#ifndef ISL_LP_H		#ifndef ISL_LP_H
	#define ISL_LP_H		#define ISL_LP_H
	#include <isl/map.h>		#include <isl/int.h>
	#include <isl/set.h>		#include <isl/vec.h>
			#include <isl/map_type.h>
			#include <isl/set_type.h>
	enum isl_lp_result {		enum isl_lp_result {
	isl_lp_error = -1,		isl_lp_error = -1,
	isl_lp_ok = 0,		isl_lp_ok = 0,
	isl_lp_unbounded,		isl_lp_unbounded,
	isl_lp_empty		isl_lp_empty
	};		};
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
End of changes. 1 change blocks.
	2 lines changed or deleted		4 lines changed or added

	map.h		map.h
	skipping to change at line 19		skipping to change at line 19
	#ifndef ISL_MAP_H		#ifndef ISL_MAP_H
	#define ISL_MAP_H		#define ISL_MAP_H
	#include <stdio.h>		#include <stdio.h>
	#include <isl/int.h>		#include <isl/int.h>
	#include <isl/ctx.h>		#include <isl/ctx.h>
	#include <isl/blk.h>		#include <isl/blk.h>
	#include <isl/dim.h>		#include <isl/dim.h>
			#include <isl/div.h>
	#include <isl/vec.h>		#include <isl/vec.h>
	#include <isl/mat.h>		#include <isl/mat.h>
	#include <isl/printer.h>		#include <isl/printer.h>
			#include <isl/local_space.h>
			#include <isl/aff_type.h>
			#include <isl/list.h>
			#include <isl/map_type.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	/* General notes:		/* General notes:
	*		*
	* All structures are reference counted to allow reuse without duplication.		* All structures are reference counted to allow reuse without duplication.
	* A *_copy operation will increase the reference count, while a *_free		* A *_copy operation will increase the reference count, while a *_free
	* operation will decrease the reference count and only actually release		* operation will decrease the reference count and only actually release
	* the structures when the reference count drops to zero.		* the structures when the reference count drops to zero.
	*		*
	* 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;
	typedef struct isl_basic_map isl_basic_map;
	#ifndef isl_basic_set
	struct isl_basic_set;
	typedef struct isl_basic_set isl_basic_set;
	#endif
	struct isl_map;
	typedef struct isl_map isl_map;
	#ifndef isl_set
	struct 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);
	unsigned isl_map_n_out(const struct isl_map *map);		unsigned isl_map_n_out(const struct isl_map *map);
	unsigned isl_map_n_param(const struct isl_map *map);		unsigned isl_map_n_param(const struct isl_map *map);
	unsigned isl_map_dim(const struct isl_map *map, enum isl_dim_type type);		unsigned isl_map_dim(const struct isl_map *map, enum isl_dim_type type);
	isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);		isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);
	isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map);		isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map);
	__isl_give isl_dim *isl_basic_map_get_dim(__isl_keep isl_basic_map *bmap);		__isl_give isl_dim *isl_basic_map_get_dim(__isl_keep isl_basic_map *bmap);
	__isl_give isl_dim *isl_map_get_dim(__isl_keep isl_map *map);		__isl_give isl_dim *isl_map_get_dim(__isl_keep isl_map *map);
			struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, int pos);
			__isl_give isl_local_space *isl_basic_map_get_local_space(
			__isl_keep isl_basic_map *bmap);
	__isl_give isl_basic_map *isl_basic_map_set_tuple_name(		__isl_give isl_basic_map *isl_basic_map_set_tuple_name(
	__isl_take isl_basic_map *bmap, enum isl_dim_type type, const char * s);		__isl_take isl_basic_map *bmap, enum isl_dim_type type, const char * s);
	const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,		const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
	enum isl_dim_type type);		enum isl_dim_type type);
	const char *isl_map_get_tuple_name(__isl_keep isl_map *map,		const char *isl_map_get_tuple_name(__isl_keep isl_map *map,
	enum isl_dim_type type);		enum isl_dim_type type);
	__isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map,		__isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map,
	enum isl_dim_type type, const char *s);		enum isl_dim_type type, const char *s);
	const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,		const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,
	enum isl_dim_type type, unsigned pos);		enum isl_dim_type type, unsigned pos);
	skipping to change at line 118		skipping to change at line 115
	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_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_map *isl_map_remove_redundancies(__isl_take isl_map *map);
	__isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map);		__isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map);
	__isl_give isl_basic_map *isl_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(
	__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(		__isl_give isl_basic_map *isl_basic_map_intersect(
	__isl_take isl_basic_map *bmap1,		__isl_take isl_basic_map *bmap1,
	skipping to change at line 175		skipping to change at line 173
	void isl_basic_map_dump(__isl_keep isl_basic_map *bmap);		void isl_basic_map_dump(__isl_keep isl_basic_map *bmap);
	void isl_basic_map_print(__isl_keep isl_basic_map *bmap, FILE *out, int ind ent,		void isl_basic_map_print(__isl_keep isl_basic_map *bmap, FILE *out, int ind ent,
	const char *prefix, const char *suffix, unsigned output_format);		const char *prefix, const char *suffix, unsigned output_format);
	void isl_map_dump(__isl_keep isl_map *map);		void isl_map_dump(__isl_keep isl_map *map);
	void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent,		void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent,
	unsigned output_format);		unsigned output_format);
	__isl_give isl_printer *isl_printer_print_basic_map(		__isl_give isl_printer *isl_printer_print_basic_map(
	__isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap);		__isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap);
	__isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *print er,		__isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *print er,
	__isl_keep isl_map *map);		__isl_keep isl_map *map);
	struct isl_basic_map *isl_basic_map_fix_si(struct isl_basic_map *bmap,		__isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bm ap,
	enum isl_dim_type type, unsigned pos, int value);		enum isl_dim_type type, unsigned pos, int value);
	__isl_give isl_basic_map *isl_basic_map_lower_bound_si(		__isl_give isl_basic_map *isl_basic_map_lower_bound_si(
	__isl_take isl_basic_map *bmap,		__isl_take isl_basic_map *bmap,
	enum isl_dim_type type, unsigned pos, int value);		enum isl_dim_type type, unsigned pos, int value);
	struct isl_basic_map *isl_basic_map_sum(		struct isl_basic_map *isl_basic_map_sum(
	struct isl_basic_map *bmap1, struct isl_basic_map *bmap2);		struct isl_basic_map *bmap1, struct isl_basic_map *bmap2);
	struct isl_basic_map *isl_basic_map_neg(struct isl_basic_map *bmap);		struct isl_basic_map *isl_basic_map_neg(struct isl_basic_map *bmap);
	struct isl_basic_map *isl_basic_map_floordiv(struct isl_basic_map *bmap,		struct isl_basic_map *isl_basic_map_floordiv(struct isl_basic_map *bmap,
	isl_int d);		isl_int d);
	skipping to change at line 212		skipping to change at line 210
	__isl_take isl_map *map, __isl_take isl_set *dom,		__isl_take isl_map *map, __isl_take isl_set *dom,
	__isl_give isl_set **empty);		__isl_give isl_set **empty);
	__isl_give isl_map *isl_map_partial_lexmin(		__isl_give isl_map *isl_map_partial_lexmin(
	__isl_take isl_map *map, __isl_take isl_set *dom,		__isl_take isl_map *map, __isl_take isl_set *dom,
	__isl_give isl_set **empty);		__isl_give isl_set **empty);
	__isl_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_aff_list *li
			st,
			void *user),
			void *user);
			int isl_basic_map_foreach_lexmax(__isl_keep isl_basic_map *bmap,
			int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *li
			st,
	void *user),		void *user),
	void *user);		void *user);
	void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap,		void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap,
	FILE *out, int indent);		FILE *out, int indent);
	struct isl_basic_map *isl_map_copy_basic_map(struct isl_map *map);		struct isl_basic_map *isl_map_copy_basic_map(struct isl_map *map);
	__isl_give isl_map *isl_map_drop_basic_map(__isl_take isl_map *map,		__isl_give isl_map *isl_map_drop_basic_map(__isl_take isl_map *map,
	__isl_keep isl_basic_map *bm ap);		__isl_keep isl_basic_map *bm ap);
	int isl_basic_map_fast_is_fixed(struct isl_basic_map *bmap,		int isl_basic_map_plain_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);
			int isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
	int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap);		int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap);
	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);
	skipping to change at line 290		skipping to change at line 293
	__isl_give isl_map *isl_map_product(__isl_take isl_map *map1,		__isl_give isl_map *isl_map_product(__isl_take isl_map *map1,
	__isl_take isl_map *map2);		__isl_take isl_map *map2);
	__isl_give isl_basic_map *isl_basic_map_range_product(		__isl_give isl_basic_map *isl_basic_map_range_product(
	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);		__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
	__isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1,		__isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1,
	__isl_take isl_map *map2);		__isl_take isl_map *map2);
	__isl_give isl_basic_map *isl_basic_map_flat_product(		__isl_give isl_basic_map *isl_basic_map_flat_product(
	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);		__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
	__isl_give isl_map *isl_map_flat_product(__isl_take isl_map *map1,		__isl_give isl_map *isl_map_flat_product(__isl_take isl_map *map1,
	__isl_take isl_map *map2);		__isl_take isl_map *map2);
			__isl_give isl_basic_map *isl_basic_map_flat_range_product(
			__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
			__isl_give isl_map *isl_map_flat_range_product(__isl_take isl_map *map1,
			__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_intersect_params(__isl_take isl_map *map,
			__isl_take isl_set *params);
	__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,		__isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map,
	enum isl_dim_type type, unsigned pos, int value);		enum isl_dim_type type, unsigned pos, int value);
	__isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map,		__isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map,
	enum isl_dim_type type, unsigned pos, int value);		enum isl_dim_type type, unsigned pos, int value);
	__isl_give isl_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_give isl_basic_map *isl_basic_map_deltas_map(
	__isl_take isl_basic_map *bmap);		__isl_take isl_basic_map *bmap);
	__isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map);		__isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map);
	struct isl_map *isl_map_detect_equalities(struct isl_map *map);		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);
	skipping to change at line 330		skipping to change at line 339
	__isl_give isl_map *isl_map_move_dims(__isl_take isl_map *map,		__isl_give isl_map *isl_map_move_dims(__isl_take isl_map *map,
	enum isl_dim_type dst_type, unsigned dst_pos,		enum isl_dim_type dst_type, unsigned dst_pos,
	enum isl_dim_type src_type, unsigned src_pos, unsigned n);		enum isl_dim_type src_type, unsigned src_pos, unsigned n);
	__isl_give isl_basic_map *isl_basic_map_project_out(		__isl_give isl_basic_map *isl_basic_map_project_out(
	__isl_take isl_basic_map *bmap,		__isl_take isl_basic_map *bmap,
	enum isl_dim_type type, unsigned first, unsigned n);		enum isl_dim_type type, unsigned first, unsigned n);
	__isl_give isl_map *isl_map_project_out(__isl_take isl_map *map,		__isl_give isl_map *isl_map_project_out(__isl_take isl_map *map,
	enum isl_dim_type type, unsigned first, unsigned n);		enum isl_dim_type type, unsigned first, unsigned n);
	__isl_give isl_basic_map *isl_basic_map_remove_divs(		__isl_give isl_basic_map *isl_basic_map_remove_divs(
	__isl_take isl_basic_map *bmap);		__isl_take isl_basic_map *bmap);
			__isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map);
	__isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map,		__isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map,
	enum isl_dim_type type, unsigned first, unsigned n);		enum isl_dim_type type, unsigned first, unsigned n);
	struct isl_map *isl_map_remove_inputs(struct isl_map *map,		struct isl_map *isl_map_remove_inputs(struct isl_map *map,
	unsigned first, unsigned n);		unsigned first, unsigned n);
	__isl_give isl_map *isl_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_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_map *isl_basic_map_flatten_range(
			__isl_take isl_basic_map *bmap);
			__isl_give isl_map *isl_map_flatten_range(__isl_take isl_map *map);
	__isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *b set);		__isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *b set);
	__isl_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(
	skipping to change at line 367		skipping to change at line 380
	__isl_take isl_basic_set *bset);		__isl_take isl_basic_set *bset);
	struct isl_map *isl_map_from_range(struct isl_set *set);		struct isl_map *isl_map_from_range(struct isl_set *set);
	__isl_give isl_basic_map *isl_basic_map_from_domain_and_range(		__isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
	__isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);		__isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);
	__isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domai n,		__isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domai n,
	__isl_take isl_set *range);		__isl_take isl_set *range);
	struct isl_map *isl_map_from_set(struct isl_set *set, struct isl_dim *dim);		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_plain_is_empty(__isl_keep isl_map *map);
	int isl_map_fast_is_empty(__isl_keep isl_map *map);		int isl_map_fast_is_empty(__isl_keep isl_map *map);
	int isl_map_fast_is_universe(__isl_keep isl_map *map);		int isl_map_plain_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_plain_is_injective(__isl_keep isl_map *map);
			int isl_map_is_injective(__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_basic_map_can_zip(__isl_keep isl_basic_map *bmap);
	int isl_map_can_zip(__isl_keep isl_map *map);		int isl_map_can_zip(__isl_keep isl_map *map);
	__isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap) ;		__isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap) ;
	__isl_give isl_map *isl_map_zip(__isl_take isl_map *map);		__isl_give isl_map *isl_map_zip(__isl_take isl_map *map);
	__isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);		__isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
	__isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bm ap);		__isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bm ap);
	__isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map);		__isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map);
	__isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map);		__isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map);
	void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent) ;		void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent) ;
	int isl_map_fast_input_is_fixed(struct isl_map *map,		int isl_map_plain_input_is_fixed(__isl_keep isl_map *map,
	unsigned in, isl_int *val);		unsigned in, isl_int *val);
	int isl_map_fast_is_fixed(struct isl_map *map,		int isl_map_plain_is_fixed(struct isl_map *map,
			enum isl_dim_type type, unsigned pos, isl_int *val);
			int isl_map_fast_is_fixed(__isl_keep isl_map *map,
	enum isl_dim_type type, unsigned pos, isl_int *val);		enum isl_dim_type type, unsigned pos, isl_int *val);
	__isl_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);
	__isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map,		__isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map,
	__isl_take isl_basic_map *context);		__isl_take isl_basic_map *context);
	__isl_give isl_map *isl_map_coalesce(__isl_take isl_map *map);		__isl_give isl_map *isl_map_coalesce(__isl_take isl_map *map);
			int isl_map_plain_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *ma p2);
	int isl_map_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, int *exact);		__isl_give isl_map *isl_map_power(__isl_take isl_map *map, int *exact);
	skipping to change at line 428		skipping to change at line 447
	__isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1,		__isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1,
	__isl_take isl_map *map2);		__isl_take isl_map *map2);
	__isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1,		__isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1,
	__isl_take isl_map *map2);		__isl_take isl_map *map2);
	__isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1,		__isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1,
	__isl_take isl_map *map2);		__isl_take isl_map *map2);
	__isl_give isl_map *isl_map_lex_gt_map(__isl_take isl_map *map1,		__isl_give isl_map *isl_map_lex_gt_map(__isl_take isl_map *map1,
	__isl_take isl_map *map2);		__isl_take isl_map *map2);
			__isl_give isl_map *isl_map_align_params(__isl_take isl_map *map,
			__isl_take isl_dim *model);
	__isl_give isl_mat *isl_basic_map_equalities_matrix(		__isl_give isl_mat *isl_basic_map_equalities_matrix(
	__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,		__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
	enum isl_dim_type c2, enum isl_dim_type c3,		enum isl_dim_type c2, enum isl_dim_type c3,
	enum isl_dim_type c4, enum isl_dim_type c5);		enum isl_dim_type c4, enum isl_dim_type c5);
	__isl_give isl_mat *isl_basic_map_inequalities_matrix(		__isl_give isl_mat *isl_basic_map_inequalities_matrix(
	__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,		__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
	enum isl_dim_type c2, enum isl_dim_type c3,		enum isl_dim_type c2, enum isl_dim_type c3,
	enum isl_dim_type c4, enum isl_dim_type c5);		enum isl_dim_type c4, enum isl_dim_type c5);
	__isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(		__isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(
	__isl_take isl_dim *dim,		__isl_take isl_dim *dim,
	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,		__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
	enum isl_dim_type c2, enum isl_dim_type c3,		enum isl_dim_type c2, enum isl_dim_type c3,
	enum isl_dim_type c4, enum isl_dim_type c5);		enum isl_dim_type c4, enum isl_dim_type c5);
			__isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff);
			__isl_give isl_basic_map *isl_basic_map_from_aff_list(
			__isl_take isl_dim *domain_dim, __isl_take isl_aff_list *list);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 22 change blocks.
	20 lines changed or deleted		48 lines changed or added

	mat.h		mat.h
	skipping to change at line 27		skipping to change at line 27
	#include <isl/blk.h>		#include <isl/blk.h>
	#include <isl/vec.h>		#include <isl/vec.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_mat;		struct isl_mat;
	typedef struct isl_mat isl_mat;		typedef struct isl_mat isl_mat;
			isl_ctx *isl_mat_get_ctx(__isl_keep isl_mat *mat);
	__isl_give isl_mat *isl_mat_alloc(struct isl_ctx *ctx,		__isl_give isl_mat *isl_mat_alloc(struct isl_ctx *ctx,
	unsigned n_row, unsigned n_col);		unsigned n_row, unsigned n_col);
	struct isl_mat *isl_mat_dup(struct isl_mat *mat);		struct isl_mat *isl_mat_dup(struct isl_mat *mat);
	struct isl_mat *isl_mat_extend(struct isl_mat *mat,		struct isl_mat *isl_mat_extend(struct isl_mat *mat,
	unsigned n_row, unsigned n_col);		unsigned n_row, unsigned n_col);
	struct isl_mat *isl_mat_identity(struct isl_ctx *ctx, unsigned n_row);		struct isl_mat *isl_mat_identity(struct isl_ctx *ctx, unsigned n_row);
	__isl_give isl_mat *isl_mat_copy(__isl_keep isl_mat *mat);		__isl_give isl_mat *isl_mat_copy(__isl_keep isl_mat *mat);
	struct isl_mat *isl_mat_cow(struct isl_mat *mat);		struct isl_mat *isl_mat_cow(struct isl_mat *mat);
	void isl_mat_free(__isl_take isl_mat *mat);		void isl_mat_free(__isl_take isl_mat *mat);
	int isl_mat_rows(__isl_keep isl_mat *mat);		int isl_mat_rows(__isl_keep isl_mat *mat);
	int isl_mat_cols(__isl_keep isl_mat *mat);		int isl_mat_cols(__isl_keep isl_mat *mat);
	int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v);		int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v);
	__isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,		__isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,
	int row, int col, isl_int v);		int row, int col, isl_int v);
			__isl_give isl_mat *isl_mat_set_element_si(__isl_take isl_mat *mat,
	struct isl_mat *isl_mat_sub_alloc(struct isl_ctx *ctx, isl_int **row,		int row, int col, int v);
	unsigned first_row, unsigned n_row, unsigned first_col, unsigned n_c
	ol);
	void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
	unsigned n_row, unsigned dst_col, unsigned src_col, unsigned n_col);
	void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
	unsigned n_row, unsigned dst_col, unsigned src_col, unsigned n_col);
	struct isl_mat *isl_mat_swap_cols(struct isl_mat *mat, unsigned i, unsigned j);		struct isl_mat *isl_mat_swap_cols(struct isl_mat *mat, unsigned i, unsigned j);
	struct isl_mat *isl_mat_swap_rows(struct isl_mat *mat, unsigned i, unsigned j);		struct isl_mat *isl_mat_swap_rows(struct isl_mat *mat, unsigned i, unsigned j);
	struct isl_vec *isl_mat_vec_product(struct isl_mat *mat, struct isl_vec *ve c);		struct isl_vec *isl_mat_vec_product(struct isl_mat *mat, struct isl_vec *ve c);
	struct isl_vec *isl_vec_mat_product(struct isl_vec *vec, struct isl_mat *ma t);		struct isl_vec *isl_vec_mat_product(struct isl_vec *vec, struct isl_mat *ma t);
	__isl_give isl_vec *isl_mat_vec_inverse_product(__isl_take isl_mat *mat,		__isl_give isl_vec *isl_mat_vec_inverse_product(__isl_take isl_mat *mat,
	__isl_take isl_vec *vec);		__isl_take isl_vec *vec);
	struct isl_mat *isl_mat_aff_direct_sum(struct isl_mat *left,		struct isl_mat *isl_mat_aff_direct_sum(struct isl_mat *left,
	struct isl_mat *right);		struct isl_mat *right);
	skipping to change at line 72		skipping to change at line 69
	int neg, struct isl_mat **U, struct isl_mat **Q);		int neg, struct isl_mat **U, struct isl_mat **Q);
	struct isl_mat *isl_mat_lin_to_aff(struct isl_mat *mat);		struct isl_mat *isl_mat_lin_to_aff(struct isl_mat *mat);
	struct isl_mat *isl_mat_inverse_product(struct isl_mat *left,		struct isl_mat *isl_mat_inverse_product(struct isl_mat *left,
	struct isl_mat *right);		struct isl_mat *right);
	struct isl_mat *isl_mat_product(struct isl_mat *left, struct isl_mat *right );		struct isl_mat *isl_mat_product(struct isl_mat *left, struct isl_mat *right );
	struct isl_mat *isl_mat_transpose(struct isl_mat *mat);		struct isl_mat *isl_mat_transpose(struct isl_mat *mat);
	__isl_give isl_mat *isl_mat_right_inverse(__isl_take isl_mat *mat);		__isl_give isl_mat *isl_mat_right_inverse(__isl_take isl_mat *mat);
	__isl_give isl_mat *isl_mat_right_kernel(__isl_take isl_mat *mat);		__isl_give isl_mat *isl_mat_right_kernel(__isl_take isl_mat *mat);
	__isl_give isl_mat *isl_mat_normalize(__isl_take isl_mat *mat);		__isl_give isl_mat *isl_mat_normalize(__isl_take isl_mat *mat);
			__isl_give isl_mat *isl_mat_normalize_row(__isl_take isl_mat *mat, int row) ;
	struct isl_mat *isl_mat_drop_cols(struct isl_mat *mat,		struct isl_mat *isl_mat_drop_cols(struct isl_mat *mat,
	unsigned col, unsigned n);		unsigned col, unsigned n);
	struct isl_mat *isl_mat_drop_rows(struct isl_mat *mat,		struct isl_mat *isl_mat_drop_rows(struct isl_mat *mat,
	unsigned row, unsigned n);		unsigned row, unsigned n);
	__isl_give isl_mat *isl_mat_insert_cols(__isl_take isl_mat *mat,		__isl_give isl_mat *isl_mat_insert_cols(__isl_take isl_mat *mat,
	unsigned col, unsigned n);		unsigned col, unsigned n);
	__isl_give isl_mat *isl_mat_insert_rows(__isl_take isl_mat *mat,		__isl_give isl_mat *isl_mat_insert_rows(__isl_take isl_mat *mat,
	unsigned row, unsigned n);		unsigned row, unsigned n);
	__isl_give isl_mat *isl_mat_move_cols(__isl_take isl_mat *mat,		__isl_give isl_mat *isl_mat_move_cols(__isl_take isl_mat *mat,
	unsigned dst_col, unsigned src_col, unsigned n);		unsigned dst_col, unsigned src_col, unsigned n);
	__isl_give isl_mat *isl_mat_add_rows(__isl_take isl_mat *mat, unsigned n);		__isl_give isl_mat *isl_mat_add_rows(__isl_take isl_mat *mat, unsigned n);
	__isl_give isl_mat *isl_mat_insert_zero_cols(__isl_take isl_mat *mat,		__isl_give isl_mat *isl_mat_insert_zero_cols(__isl_take isl_mat *mat,
	unsigned first, unsigned n);		unsigned first, unsigned n);
	__isl_give isl_mat *isl_mat_add_zero_cols(__isl_take isl_mat *mat, unsigned n);		__isl_give isl_mat *isl_mat_add_zero_cols(__isl_take isl_mat *mat, unsigned n);
			__isl_give isl_mat *isl_mat_insert_zero_rows(__isl_take isl_mat *mat,
			unsigned row, unsigned n);
			__isl_give isl_mat *isl_mat_add_zero_rows(__isl_take isl_mat *mat, unsigned
			n);
	void isl_mat_col_add(__isl_keep isl_mat *mat, int dst_col, int src_col);		void isl_mat_col_add(__isl_keep isl_mat *mat, int dst_col, int src_col);
	void isl_mat_col_mul(struct isl_mat *mat, int dst_col, isl_int f, int src_c ol);		void isl_mat_col_mul(struct isl_mat *mat, int dst_col, isl_int f, int src_c ol);
	void isl_mat_col_submul(struct isl_mat *mat,		void isl_mat_col_submul(struct isl_mat *mat,
	int dst_col, isl_int f, int src_col);		int dst_col, isl_int f, int src_col);
	struct isl_mat *isl_mat_unimodular_complete(struct isl_mat *M, int row);		struct isl_mat *isl_mat_unimodular_complete(struct isl_mat *M, int row);
	__isl_give isl_mat *isl_mat_from_row_vec(__isl_take isl_vec *vec);		__isl_give isl_mat *isl_mat_from_row_vec(__isl_take isl_vec *vec);
	__isl_give isl_mat *isl_mat_concat(__isl_take isl_mat *top,		__isl_give isl_mat *isl_mat_concat(__isl_take isl_mat *top,
	__isl_take isl_mat *bot);		__isl_take isl_mat *bot);
	__isl_give isl_mat *isl_mat_vec_concat(__isl_take isl_mat *top,		__isl_give isl_mat *isl_mat_vec_concat(__isl_take isl_mat *top,
	__isl_take isl_vec *bot);		__isl_take isl_vec *bot);
	int isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2);		int isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2);
	void isl_mat_dump(struct isl_mat *mat, FILE *out, int indent);		int isl_mat_initial_non_zero_cols(__isl_keep isl_mat *mat);
			void isl_mat_print_internal(__isl_keep isl_mat *mat, FILE *out, int indent)
			;
			void isl_mat_dump(__isl_keep isl_mat *mat);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 5 change blocks.
	9 lines changed or deleted		14 lines changed or added

	obj.h		obj.h
	#ifndef ISL_OBJ_H		#ifndef ISL_OBJ_H
	#define ISL_OBJ_H		#define ISL_OBJ_H
	#include <isl/set.h>		#include <isl/set_type.h>
	#include <isl/map.h>		#include <isl/map_type.h>
	#include <isl/union_set.h>		#include <isl/union_set.h>
	#include <isl/union_map.h>		#include <isl/union_map.h>
	#include <isl/polynomial.h>		#include <isl/polynomial.h>
	#include <isl/printer.h>		#include <isl/printer.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_obj_vtable {		struct isl_obj_vtable {
End of changes. 1 change blocks.
	2 lines changed or deleted		2 lines changed or added

	options.h		options.h
	skipping to change at line 65		skipping to change at line 65
	{		{
	CloogState *state; /* State. */		CloogState *state; /* State. */
	/* OPTIONS FOR LOOP GENERATION */		/* OPTIONS FOR LOOP GENERATION */
	int l ; /* Last level to optimize. */		int l ; /* Last level to optimize. */
	int f ; /* First level to optimize. */		int f ; /* First level to optimize. */
	int stop ; /* Level to stop code generation. */		int stop ; /* Level to stop code generation. */
	int strides ; /* 1 if user wants to handle non-unit strides (then loop		int strides ; /* 1 if user wants to handle non-unit strides (then loop
	* increment can be something else than one), 0 otherwise .		* increment can be something else than one), 0 otherwise .
	*/		*/
	int sh; /* 1 for computing simple hulls */		int sh; /* 1 for computing simple hulls */
			int first_unroll;
	/* OPTIONS FOR PRETTY PRINTING */		/* OPTIONS FOR PRETTY PRINTING */
	int esp ; /* 1 if user wants to spread all equalities, i.e. when th ere		int esp ; /* 1 if user wants to spread all equalities, i.e. when th ere
	* is something like "i = 3*j + 1 ; A[i] = 0 ;" the gener ator		* is something like "i = 3*j + 1 ; A[i] = 0 ;" the gener ator
	* will write "A[3*j + 1] = 0 ;", 0 otherwise.		* will write "A[3*j + 1] = 0 ;", 0 otherwise.
	*/		*/
	int fsp ; /* The iteration level where equalities spreading can beg in		int fsp ; /* The iteration level where equalities spreading can beg in
	* (it might happen that the user wants not to spread val ues		* (it might happen that the user wants not to spread val ues
	* of scattering iterators).		* of scattering iterators).
	*/		*/
End of changes. 1 change blocks.
	0 lines changed or deleted		1 lines changed or added

	point.h		point.h
	skipping to change at line 14		skipping to change at line 14
	#include <stdio.h>		#include <stdio.h>
	#include <isl/dim.h>		#include <isl/dim.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_point;		struct isl_point;
	typedef struct isl_point isl_point;		typedef struct isl_point isl_point;
			isl_ctx *isl_point_get_ctx(__isl_keep isl_point *pnt);
			__isl_give isl_dim *isl_point_get_dim(__isl_keep isl_point *pnt);
	__isl_give isl_point *isl_point_zero(__isl_take isl_dim *dim);		__isl_give isl_point *isl_point_zero(__isl_take isl_dim *dim);
	__isl_give isl_point *isl_point_copy(__isl_keep isl_point *pnt);		__isl_give isl_point *isl_point_copy(__isl_keep isl_point *pnt);
	void isl_point_free(__isl_take isl_point *pnt);		void isl_point_free(__isl_take isl_point *pnt);
	void isl_point_get_coordinate(__isl_keep isl_point *pnt,		void isl_point_get_coordinate(__isl_keep isl_point *pnt,
	enum isl_dim_type type, int pos, isl_int *v);		enum isl_dim_type type, int pos, isl_int *v);
	__isl_give isl_point *isl_point_set_coordinate(__isl_take isl_point *pnt,		__isl_give isl_point *isl_point_set_coordinate(__isl_take isl_point *pnt,
	enum isl_dim_type type, int pos, isl_int v);		enum isl_dim_type type, int pos, isl_int v);
	__isl_give isl_point *isl_point_add_ui(__isl_take isl_point *pnt,		__isl_give isl_point *isl_point_add_ui(__isl_take isl_point *pnt,
End of changes. 1 change blocks.
	0 lines changed or deleted		3 lines changed or added

	polynomial.h		polynomial.h
	#ifndef ISL_POLYNOMIAL_H		#ifndef ISL_POLYNOMIAL_H
	#define ISL_POLYNOMIAL_H		#define ISL_POLYNOMIAL_H
	#include <isl/ctx.h>		#include <isl/ctx.h>
	#include <isl/constraint.h>		#include <isl/constraint.h>
	#include <isl/dim.h>		#include <isl/dim.h>
	#include <isl/div.h>		#include <isl/div.h>
	#include <isl/set.h>		#include <isl/set_type.h>
	#include <isl/point.h>		#include <isl/point.h>
	#include <isl/printer.h>		#include <isl/printer.h>
	#include <isl/union_set.h>		#include <isl/union_set.h>
			#include <isl/aff_type.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_qpolynomial;		struct isl_qpolynomial;
	typedef struct isl_qpolynomial isl_qpolynomial;		typedef struct isl_qpolynomial isl_qpolynomial;
	isl_ctx *isl_qpolynomial_get_ctx(__isl_keep isl_qpolynomial *qp);		isl_ctx *isl_qpolynomial_get_ctx(__isl_keep isl_qpolynomial *qp);
	__isl_give isl_dim *isl_qpolynomial_get_dim(__isl_keep isl_qpolynomial *qp) ;		__isl_give isl_dim *isl_qpolynomial_get_dim(__isl_keep isl_qpolynomial *qp) ;
	skipping to change at line 46		skipping to change at line 47
	__isl_give isl_qpolynomial *isl_qpolynomial_neginfty(__isl_take isl_dim *di m);		__isl_give isl_qpolynomial *isl_qpolynomial_neginfty(__isl_take isl_dim *di m);
	__isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim);		__isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim);
	__isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim ,		__isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim ,
	const isl_int n, const isl_int d);		const isl_int n, const isl_int d);
	__isl_give isl_qpolynomial *isl_qpolynomial_div(__isl_take isl_div *div);		__isl_give isl_qpolynomial *isl_qpolynomial_div(__isl_take isl_div *div);
	__isl_give isl_qpolynomial *isl_qpolynomial_var(__isl_take isl_dim *dim,		__isl_give isl_qpolynomial *isl_qpolynomial_var(__isl_take isl_dim *dim,
	enum isl_dim_type type, unsigned pos);		enum isl_dim_type type, unsigned pos);
	__isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp);		__isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp);
	void isl_qpolynomial_free(__isl_take isl_qpolynomial *qp);		void isl_qpolynomial_free(__isl_take isl_qpolynomial *qp);
	int isl_qpolynomial_is_equal(__isl_keep isl_qpolynomial *qp1,		int isl_qpolynomial_plain_is_equal(__isl_keep isl_qpolynomial *qp1,
	__isl_keep isl_qpolynomial *qp2);		__isl_keep isl_qpolynomial *qp2);
	int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp);		int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp);
	int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp);		int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp);
	int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp);		int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp);
	int isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial *qp);		int isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial *qp);
	int isl_qpolynomial_sgn(__isl_keep isl_qpolynomial *qp);		int isl_qpolynomial_sgn(__isl_keep isl_qpolynomial *qp);
	int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp,		int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp,
	isl_int *n, isl_int *d);		isl_int *n, isl_int *d);
	void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d);		void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d);
	skipping to change at line 70		skipping to change at line 71
	__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_give isl_qpolynomial *isl_qpolynomial_add_isl_int(
	__isl_take isl_qpolynomial *qp, isl_int v);		__isl_take isl_qpolynomial *qp, isl_int v);
	__isl_give isl_qpolynomial *isl_qpolynomial_mul_isl_int(		__isl_give isl_qpolynomial *isl_qpolynomial_mul_isl_int(
	__isl_take isl_qpolynomial *qp, isl_int v);		__isl_take isl_qpolynomial *qp, isl_int v);
			__isl_give isl_qpolynomial *isl_qpolynomial_scale(
			__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 97		skipping to change at line 100
	__isl_keep isl_qpolynomial **subs);		__isl_keep isl_qpolynomial **subs);
	int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial *qp,		int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial *qp,
	__isl_keep isl_basic_set *bset,		__isl_keep isl_basic_set *bset,
	int (*fn)(__isl_take isl_basic_set *bset,		int (*fn)(__isl_take isl_basic_set *bset,
	__isl_take isl_qpolynomial *poly, void *user), void *user) ;		__isl_take isl_qpolynomial *poly, void *user), void *user) ;
	__isl_give isl_qpolynomial *isl_qpolynomial_homogenize(		__isl_give isl_qpolynomial *isl_qpolynomial_homogenize(
	__isl_take isl_qpolynomial *poly);		__isl_take isl_qpolynomial *poly);
			__isl_give isl_qpolynomial *isl_qpolynomial_align_params(
			__isl_take isl_qpolynomial *qp, __isl_take isl_dim *model);
	struct isl_term;		struct isl_term;
	typedef struct isl_term isl_term;		typedef struct isl_term isl_term;
	isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term);		isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term);
	void isl_term_free(__isl_take isl_term *term);		void isl_term_free(__isl_take isl_term *term);
	unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type);		unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type);
	void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);		void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
	void isl_term_get_den(__isl_keep isl_term *term, isl_int *d);		void isl_term_get_den(__isl_keep isl_term *term, isl_int *d);
	int isl_term_get_exp(__isl_keep isl_term *term,		int isl_term_get_exp(__isl_keep isl_term *term,
	enum isl_dim_type type, unsigned pos);		enum isl_dim_type type, unsigned pos);
	__isl_give isl_div *isl_term_get_div(__isl_keep isl_term *term, unsigned po s);		__isl_give isl_div *isl_term_get_div(__isl_keep isl_term *term, unsigned po s);
	int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp,		int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp,
	int (*fn)(__isl_take isl_term *term, void *user), void *user);		int (*fn)(__isl_take isl_term *term, void *user), void *user);
	__isl_give isl_qpolynomial *isl_qpolynomial_eval(		__isl_give isl_qpolynomial *isl_qpolynomial_eval(
	__isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt);		__isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt);
			__isl_give isl_qpolynomial *isl_qpolynomial_gist(
			__isl_take isl_qpolynomial *qp, __isl_take isl_set *context);
	__isl_give isl_qpolynomial *isl_qpolynomial_from_constraint(		__isl_give isl_qpolynomial *isl_qpolynomial_from_constraint(
	__isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos);		__isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos);
	__isl_give isl_qpolynomial *isl_qpolynomial_from_term(__isl_take isl_term * term);		__isl_give isl_qpolynomial *isl_qpolynomial_from_term(__isl_take isl_term * term);
			__isl_give isl_qpolynomial *isl_qpolynomial_from_aff(__isl_take isl_aff *af f);
	__isl_give isl_basic_map *isl_basic_map_from_qpolynomial(		__isl_give isl_basic_map *isl_basic_map_from_qpolynomial(
	__isl_take isl_qpolynomial *qp);		__isl_take isl_qpolynomial *qp);
	__isl_give isl_printer *isl_printer_print_qpolynomial(		__isl_give isl_printer *isl_printer_print_qpolynomial(
	__isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp);		__isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp);
	void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out,		void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out,
	unsigned output_format);		unsigned output_format);
	void isl_qpolynomial_dump(__isl_keep isl_qpolynomial *qp);		void isl_qpolynomial_dump(__isl_keep isl_qpolynomial *qp);
	struct isl_pw_qpolynomial;		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(
	__isl_keep isl_pw_qpolynomial *pwqp);		__isl_keep isl_pw_qpolynomial *pwqp);
	void isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp);		void *isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp);
	int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp);		int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp);
	__isl_give isl_dim *isl_pw_qpolynomial_get_dim(		__isl_give isl_dim *isl_pw_qpolynomial_get_dim(
	__isl_keep isl_pw_qpolynomial *pwqp);		__isl_keep isl_pw_qpolynomial *pwqp);
	__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_reset_dim(		__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_reset_dim(
	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_dim *dim);		__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_dim *dim);
	unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp,		unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp,
	enum isl_dim_type type);		enum isl_dim_type type);
	int isl_pw_qpolynomial_involves_dims(__isl_keep isl_pw_qpolynomial *pwqp,		int isl_pw_qpolynomial_involves_dims(__isl_keep isl_pw_qpolynomial *pwqp,
	skipping to change at line 218		skipping to change at line 228
	int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp,		int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp,
	int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,		int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
	void *user), void *user);		void *user), void *user);
	int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial * pwqp,		int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial * pwqp,
	int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,		int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
	void *user), void *user);		void *user), void *user);
	__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ct x,		__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ct x,
	const char *str);		const char *str);
			__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_file(isl_ctx *c
			tx,
			FILE *input);
	__isl_give isl_printer *isl_printer_print_pw_qpolynomial(		__isl_give isl_printer *isl_printer_print_pw_qpolynomial(
	__isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp);		__isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp);
	void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *ou t,		void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *ou t,
	unsigned output_format);		unsigned output_format);
	void isl_pw_qpolynomial_dump(__isl_keep isl_pw_qpolynomial *pwqp);		void isl_pw_qpolynomial_dump(__isl_keep isl_pw_qpolynomial *pwqp);
	__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_coalesce(		__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_coalesce(
	__isl_take isl_pw_qpolynomial *pwqp);		__isl_take isl_pw_qpolynomial *pwqp);
	__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist(		__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist(
	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);		__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
	skipping to change at line 260		skipping to change at line 272
	__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(		__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(
	enum isl_fold type, __isl_take isl_qpolynomial *qp);		enum isl_fold type, __isl_take isl_qpolynomial *qp);
	__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(		__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(
	__isl_keep isl_qpolynomial_fold *fold);		__isl_keep isl_qpolynomial_fold *fold);
	void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold);		void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold);
	__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_reset_dim(		__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_reset_dim(
	__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_plain_is_equal(__isl_keep isl_qpolynomial_fold *fo ld1,
	__isl_keep isl_qpolynomial_fold *fold2);		__isl_keep isl_qpolynomial_fold *fold2);
			__isl_give isl_dim *isl_qpolynomial_fold_get_dim(
			__isl_keep isl_qpolynomial_fold *fold);
	__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(		__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
	__isl_take isl_qpolynomial_fold *fold1,		__isl_take isl_qpolynomial_fold *fold1,
	__isl_take isl_qpolynomial_fold *fold2);		__isl_take isl_qpolynomial_fold *fold2);
	__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int(		__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int(
	__isl_take isl_qpolynomial_fold *fold, isl_int v);		__isl_take isl_qpolynomial_fold *fold, isl_int v);
			__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale(
			__isl_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);
	skipping to change at line 306		skipping to change at line 323
	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(
	enum isl_fold type,		enum isl_fold type,
	__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);		__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
	__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy(		__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy(
	__isl_keep isl_pw_qpolynomial_fold *pwf);		__isl_keep isl_pw_qpolynomial_fold *pwf);
	void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf);		void *isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf) ;
	int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold *pwf );		int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold *pwf );
	__isl_give isl_dim *isl_pw_qpolynomial_fold_get_dim(		__isl_give isl_dim *isl_pw_qpolynomial_fold_get_dim(
	__isl_keep isl_pw_qpolynomial_fold *pwf);		__isl_keep isl_pw_qpolynomial_fold *pwf);
	__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_reset_dim(		__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_reset_dim(
	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_dim *dim);		__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_dim *dim);
	unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pw f,		unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pw f,
	enum isl_dim_type type);		enum isl_dim_type type);
	int isl_pw_qpolynomial_fold_has_equal_dim(		int isl_pw_qpolynomial_fold_has_equal_dim(
End of changes. 13 change blocks.
	5 lines changed or deleted		23 lines changed or added

	printer.h		printer.h
	skipping to change at line 18		skipping to change at line 18
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_printer;		struct isl_printer;
	typedef struct isl_printer isl_printer;		typedef struct isl_printer isl_printer;
	__isl_give isl_printer *isl_printer_to_file(isl_ctx *ctx, FILE *file);		__isl_give isl_printer *isl_printer_to_file(isl_ctx *ctx, FILE *file);
	__isl_give isl_printer *isl_printer_to_str(isl_ctx *ctx);		__isl_give isl_printer *isl_printer_to_str(isl_ctx *ctx);
	void isl_printer_free(__isl_take isl_printer *printer);		void isl_printer_free(__isl_take isl_printer *printer);
			isl_ctx *isl_printer_get_ctx(__isl_keep isl_printer *printer);
	__isl_give char *isl_printer_get_str(__isl_keep isl_printer *printer);		__isl_give char *isl_printer_get_str(__isl_keep isl_printer *printer);
	__isl_give isl_printer *isl_printer_set_indent(__isl_take isl_printer *p,		__isl_give isl_printer *isl_printer_set_indent(__isl_take isl_printer *p,
	int indent);		int indent);
			__isl_give isl_printer *isl_printer_indent(__isl_take isl_printer *p,
			int indent);
	#define ISL_FORMAT_ISL 0		#define ISL_FORMAT_ISL 0
	#define ISL_FORMAT_POLYLIB 1		#define ISL_FORMAT_POLYLIB 1
	#define ISL_FORMAT_POLYLIB_CONSTRAINTS 2		#define ISL_FORMAT_POLYLIB_CONSTRAINTS 2
	#define ISL_FORMAT_OMEGA 3		#define ISL_FORMAT_OMEGA 3
	#define ISL_FORMAT_C 4		#define ISL_FORMAT_C 4
	#define ISL_FORMAT_LATEX 5		#define ISL_FORMAT_LATEX 5
	#define ISL_FORMAT_EXT_POLYLIB 6		#define ISL_FORMAT_EXT_POLYLIB 6
	__isl_give isl_printer *isl_printer_set_output_format(__isl_take isl_printe r *p,		__isl_give isl_printer *isl_printer_set_output_format(__isl_take isl_printe r *p,
	int output_format);		int output_format);
End of changes. 2 change blocks.
	0 lines changed or deleted		4 lines changed or added

	seq.h		seq.h
	skipping to change at line 27		skipping to change at line 27
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	/* Some common operations on sequences of isl_int's */		/* Some common operations on sequences of isl_int's */
	void isl_seq_clr(isl_int *p, unsigned len);		void isl_seq_clr(isl_int *p, unsigned len);
	void isl_seq_set(isl_int *p, isl_int v, unsigned len);		void isl_seq_set(isl_int *p, isl_int v, unsigned len);
	void isl_seq_neg(isl_int *dat, isl_int *src, unsigned len);		void isl_seq_neg(isl_int *dat, isl_int *src, unsigned len);
	void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len);		void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len);
			void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
	void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len);		void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
	void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len);		void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len);
	void isl_seq_scale(isl_int *dst, isl_int *src, isl_int f, unsigned len);		void isl_seq_scale(isl_int *dst, isl_int *src, isl_int f, unsigned len);
	void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int f, unsigned len );		void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int f, unsigned len );
	void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);		void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
	void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);		void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
	void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len);		void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len);
	void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,		void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
	isl_int m2, isl_int *src2, unsigned len);		isl_int m2, isl_int *src2, unsigned len);
	void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len,		void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len,
End of changes. 1 change blocks.
	0 lines changed or deleted		1 lines changed or added

	set.h		set.h
	skipping to change at line 13		skipping to change at line 13
	*		*
	* Use of this software is governed by the GNU LGPLv2.1 license		* Use of this software is governed by the GNU LGPLv2.1 license
	*		*
	* Written by Sven Verdoolaege, K.U.Leuven, Departement		* Written by Sven Verdoolaege, K.U.Leuven, Departement
	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium		* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
	*/		*/
	#ifndef ISL_SET_H		#ifndef ISL_SET_H
	#define ISL_SET_H		#define ISL_SET_H
	#include <isl/map.h>		#include <isl/map_type.h>
			#include <isl/aff_type.h>
	#include <isl/list.h>		#include <isl/list.h>
			#include <isl/mat.h>
	#include <isl/point.h>		#include <isl/point.h>
			#include <isl/local_space.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	unsigned isl_basic_set_n_dim(const struct isl_basic_set *bset);		unsigned isl_basic_set_n_dim(const struct isl_basic_set *bset);
	unsigned isl_basic_set_n_param(const struct isl_basic_set *bset);		unsigned isl_basic_set_n_param(const struct isl_basic_set *bset);
	unsigned isl_basic_set_total_dim(const struct isl_basic_set *bset);		unsigned isl_basic_set_total_dim(const struct isl_basic_set *bset);
	unsigned isl_basic_set_dim(const struct isl_basic_set *bset,		unsigned isl_basic_set_dim(const struct isl_basic_set *bset,
	enum isl_dim_type type);		enum isl_dim_type type);
	skipping to change at line 38		skipping to change at line 41
	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);
			struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos);
			__isl_give isl_local_space *isl_basic_set_get_local_space(
			__isl_keep isl_basic_set *bset);
	const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);		const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);
	const char *isl_set_get_tuple_name(__isl_keep isl_set *set);		const char *isl_set_get_tuple_name(__isl_keep isl_set *set);
			__isl_give isl_basic_set *isl_basic_set_set_tuple_name(
			__isl_take isl_basic_set *set, const char *s);
	__isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,		__isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
	const char *s);		const char *s);
	const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,		const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,
	enum isl_dim_type type, unsigned pos);		enum isl_dim_type type, unsigned pos);
	__isl_give isl_basic_set *isl_basic_set_set_dim_name(		__isl_give isl_basic_set *isl_basic_set_set_dim_name(
	__isl_take isl_basic_set *bset,		__isl_take isl_basic_set *bset,
	enum isl_dim_type type, unsigned pos, const char *s);		enum isl_dim_type type, unsigned pos, const char *s);
	const char *isl_set_get_dim_name(__isl_keep isl_set *set,		const char *isl_set_get_dim_name(__isl_keep isl_set *set,
	enum isl_dim_type type, unsigned pos);		enum isl_dim_type type, unsigned pos);
	__isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,		__isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
	skipping to change at line 92		skipping to change at line 102
	__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);
			__isl_give isl_basic_set *isl_basic_set_remove_redundancies(
			__isl_take isl_basic_set *bset);
			__isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set);
	__isl_give isl_basic_set *isl_basic_set_list_product(		__isl_give isl_basic_set *isl_basic_set_list_product(
	__isl_take struct isl_basic_set_list *list);		__isl_take struct isl_basic_set_list *list);
	__isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx,		__isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx,
	FILE *input, int nparam);		FILE *input, 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,
	skipping to change at line 115		skipping to change at line 128
	__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);
	struct isl_basic_set *isl_basic_set_fix_si(struct isl_basic_set *bset,		__isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bs et,
	enum isl_dim_type type, unsigned pos, int value);		enum isl_dim_type type, unsigned pos, int value);
	__isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,		__isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
	enum isl_dim_type type, unsigned pos, int value);		enum isl_dim_type type, unsigned pos, int value);
	__isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,		__isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
	enum isl_dim_type type, unsigned pos, int value);		enum isl_dim_type type, unsigned pos, int value);
	struct isl_basic_set *isl_basic_set_from_underlying_set(		struct isl_basic_set *isl_basic_set_from_underlying_set(
	struct isl_basic_set *bset, struct isl_basic_set *like);		struct isl_basic_set *bset, struct isl_basic_set *like);
	struct isl_set *isl_set_from_underlying_set(		struct isl_set *isl_set_from_underlying_set(
	struct isl_set *set, struct isl_basic_set *like);		struct isl_set *set, struct isl_basic_set *like);
	skipping to change at line 147		skipping to change at line 160
	__isl_give isl_set *isl_set_partial_lexmin(		__isl_give isl_set *isl_set_partial_lexmin(
	__isl_take isl_set *set, __isl_take isl_set *dom,		__isl_take isl_set *set, __isl_take isl_set *dom,
	__isl_give isl_set **empty);		__isl_give isl_set **empty);
	__isl_give isl_set *isl_set_partial_lexmax(		__isl_give isl_set *isl_set_partial_lexmax(
	__isl_take isl_set *set, __isl_take isl_set *dom,		__isl_take isl_set *set, __isl_take isl_set *dom,
	__isl_give isl_set **empty);		__isl_give isl_set **empty);
	__isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset);		__isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset);
	__isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset);		__isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset);
	__isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);		__isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
	__isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);		__isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
			int isl_basic_set_foreach_lexmax(__isl_keep isl_basic_set *bset,
			int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *li
			st,
			void *user),
			void *user);
	__isl_give isl_set *isl_basic_set_union(		__isl_give isl_set *isl_basic_set_union(
	__isl_take isl_basic_set *bset1,		__isl_take isl_basic_set *bset1,
	__isl_take isl_basic_set *bset2);		__isl_take isl_basic_set *bset2);
	int isl_basic_set_compare_at(struct isl_basic_set *bset1,		int isl_basic_set_compare_at(struct isl_basic_set *bset1,
	struct isl_basic_set *bset2, int pos);		struct isl_basic_set *bset2, int pos);
	int isl_set_follows_at(__isl_keep isl_set *set1,		int isl_set_follows_at(__isl_keep isl_set *set1,
	__isl_keep isl_set *set2, int pos);		__isl_keep isl_set *set2, int pos);
	int isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset,		int isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset,
	enum isl_dim_type type, unsigned pos, unsigned n, int *signs);		enum isl_dim_type type, unsigned pos, unsigned n, int *signs);
	int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);		int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);
			int isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset);
	int isl_basic_set_fast_is_empty(__isl_keep isl_basic_set *bset);		int isl_basic_set_fast_is_empty(__isl_keep isl_basic_set *bset);
	int isl_basic_set_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);
	skipping to change at line 205		skipping to change at line 224
	__isl_take isl_set *set2);		__isl_take isl_set *set2);
	__isl_give isl_set *isl_set_product(__isl_take isl_set *set1,		__isl_give isl_set *isl_set_product(__isl_take isl_set *set1,
	__isl_take isl_set *set2);		__isl_take isl_set *set2);
	__isl_give isl_basic_set *isl_basic_set_flat_product(		__isl_give isl_basic_set *isl_basic_set_flat_product(
	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);		__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
	__isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,		__isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
	__isl_take isl_set *set2);		__isl_take isl_set *set2);
	__isl_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_intersect_params(__isl_take isl_set *set,
			__isl_take isl_set *params);
	__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(
	__isl_take isl_set *set,		__isl_take isl_set *set,
	__isl_take isl_map *map);		__isl_take isl_map *map);
	__isl_give isl_set *isl_set_fix(__isl_take isl_set *set,		__isl_give isl_set *isl_set_fix(__isl_take isl_set *set,
	enum isl_dim_type type, unsigned pos, isl_int value);		enum isl_dim_type type, unsigned pos, isl_int value);
	struct isl_set *isl_set_fix_dim_si(struct isl_set *set,		struct isl_set *isl_set_fix_dim_si(struct isl_set *set,
	skipping to change at line 237		skipping to change at line 258
	__isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,		__isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
	enum isl_dim_type dst_type, unsigned dst_pos,		enum isl_dim_type dst_type, unsigned dst_pos,
	enum isl_dim_type src_type, unsigned src_pos, unsigned n);		enum isl_dim_type src_type, unsigned src_pos, unsigned n);
	__isl_give isl_basic_set *isl_basic_set_project_out(		__isl_give isl_basic_set *isl_basic_set_project_out(
	__isl_take isl_basic_set *bset,		__isl_take isl_basic_set *bset,
	enum isl_dim_type type, unsigned first, unsigned n);		enum isl_dim_type type, unsigned first, unsigned n);
	__isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,		__isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
	enum isl_dim_type type, unsigned first, unsigned n);		enum isl_dim_type type, unsigned first, unsigned n);
	__isl_give isl_basic_set *isl_basic_set_remove_divs(		__isl_give isl_basic_set *isl_basic_set_remove_divs(
	__isl_take isl_basic_set *bset);		__isl_take isl_basic_set *bset);
			__isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
			enum isl_dim_type type, unsigned first, unsigned n);
	struct isl_set *isl_set_eliminate_dims(struct isl_set *set,		struct isl_set *isl_set_eliminate_dims(struct isl_set *set,
	unsigned first, unsigned n);		unsigned first, unsigned n);
	__isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,		__isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
	enum isl_dim_type type, unsigned first, unsigned n);		enum isl_dim_type type, unsigned first, unsigned n);
	__isl_give isl_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_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);
			int isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset,
			enum isl_dim_type type, unsigned first, unsigned n);
			int isl_set_involves_dims(__isl_keep isl_set *set,
			enum isl_dim_type type, unsigned first, unsigned n);
	void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent) ;		void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent) ;
			int isl_set_plain_is_empty(__isl_keep isl_set *set);
	int isl_set_fast_is_empty(__isl_keep isl_set *set);		int isl_set_fast_is_empty(__isl_keep isl_set *set);
			int isl_set_plain_is_universe(__isl_keep isl_set *set);
	int isl_set_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);
	skipping to change at line 274		skipping to change at line 304
	__isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);		__isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
	struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);		struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);
	__isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);		__isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
	__isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);		__isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);
	struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set);		struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set);
	struct isl_set *isl_set_drop_basic_set(struct isl_set *set,		struct isl_set *isl_set_drop_basic_set(struct isl_set *set,
	struct isl_basic_set *bset);		struct isl_basic_set *bset);
	int isl_basic_set_fast_dim_is_fixed(struct isl_basic_set *bset, unsigned di		int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset,
	m,		unsigned dim, isl_int *val);
	isl_int *val);
	int isl_set_fast_dim_is_fixed(struct isl_set *set, unsigned dim, isl_int *v		int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set,
	al);		unsigned dim, isl_int *val);
	int isl_set_fast_dim_has_fixed_lower_bound(struct isl_set *set,		int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set,
			unsigned dim, isl_int *val);
			int isl_set_plain_dim_has_fixed_lower_bound(__isl_keep isl_set *set,
	unsigned dim, isl_int *val);		unsigned dim, isl_int *val);
	int isl_set_dim_is_bounded(__isl_keep isl_set *set,		int isl_set_dim_is_bounded(__isl_keep isl_set *set,
	enum isl_dim_type type, unsigned pos);		enum isl_dim_type type, unsigned pos);
	__isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset ,		__isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset ,
	__isl_take isl_basic_set *contex t);		__isl_take isl_basic_set *contex t);
	__isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,		__isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
	__isl_take isl_basic_set *context);		__isl_take isl_basic_set *context);
	__isl_give isl_set *isl_set_gist(__isl_take isl_set *set,		__isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
	__isl_take isl_set *context);		__isl_take isl_set *context);
	int isl_basic_set_dim_residue_class(struct isl_basic_set *bset,		int isl_basic_set_dim_residue_class(struct isl_basic_set *bset,
	int pos, isl_int *modulo, isl_int *residue);		int pos, isl_int *modulo, isl_int *residue);
	int isl_set_dim_residue_class(struct isl_set *set,		int isl_set_dim_residue_class(struct isl_set *set,
	int pos, isl_int *modulo, isl_int *residue);		int pos, isl_int *modulo, isl_int *residue);
	__isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);		__isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
			int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *se t2);
	int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set 2);		int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set 2);
	int isl_set_fast_is_disjoint(__isl_keep isl_set *set1, __isl_keep isl_set *		int isl_set_plain_is_disjoint(__isl_keep isl_set *set1,
	set2);		__isl_keep isl_set *set2);
			int isl_set_fast_is_disjoint(__isl_keep isl_set *set1,
			__isl_keep isl_set *set2);
	uint32_t isl_set_get_hash(struct isl_set *set);		uint32_t isl_set_get_hash(struct isl_set *set);
	int isl_set_dim_is_unique(struct isl_set *set, unsigned dim);		int isl_set_dim_is_unique(struct isl_set *set, unsigned dim);
	int isl_set_n_basic_set(__isl_keep isl_set *set);		int isl_set_n_basic_set(__isl_keep isl_set *set);
	int isl_set_foreach_basic_set(__isl_keep isl_set *set,		int isl_set_foreach_basic_set(__isl_keep isl_set *set,
	int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user);		int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user);
	int isl_set_foreach_point(__isl_keep isl_set *set,		int isl_set_foreach_point(__isl_keep isl_set *set,
	skipping to change at line 335		skipping to change at line 372
	__isl_take isl_set *set2);		__isl_take isl_set *set2);
	__isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,		__isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,
	__isl_take isl_set *set2);		__isl_take isl_set *set2);
	__isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,		__isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,
	__isl_take isl_set *set2);		__isl_take isl_set *set2);
	__isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,		__isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,
	__isl_take isl_set *set2);		__isl_take isl_set *set2);
	int isl_set_size(__isl_keep isl_set *set);		int isl_set_size(__isl_keep isl_set *set);
			__isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
			__isl_take isl_dim *model);
	__isl_give isl_mat *isl_basic_set_equalities_matrix(		__isl_give isl_mat *isl_basic_set_equalities_matrix(
	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,		__isl_keep isl_basic_set *bset, enum isl_dim_type c1,
	enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);		enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);
	__isl_give isl_mat *isl_basic_set_inequalities_matrix(		__isl_give isl_mat *isl_basic_set_inequalities_matrix(
	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,		__isl_keep isl_basic_set *bset, enum isl_dim_type c1,
	enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);		enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);
	__isl_give isl_basic_set *isl_basic_set_from_constraint_matrices(		__isl_give isl_basic_set *isl_basic_set_from_constraint_matrices(
	__isl_take isl_dim *dim,		__isl_take isl_dim *dim,
	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,		__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
	enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);		enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);
	__isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *b set);		__isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *b set);
			__isl_give isl_basic_set *isl_basic_set_coefficients(
			__isl_take isl_basic_set *bset);
			__isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set);
			__isl_give isl_basic_set *isl_basic_set_solutions(
			__isl_take isl_basic_set *bset);
			__isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set);
			__isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 20 change blocks.
	10 lines changed or deleted		57 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.06"		#define _GENERATED_STDINT_H "isl 0.07"
	/* 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

	stride.h		stride.h
	skipping to change at line 26		skipping to change at line 26
	CloogConstraint *constraint;		CloogConstraint *constraint;
	};		};
	typedef struct cloogstride CloogStride;		typedef struct cloogstride CloogStride;
	CloogStride *cloog_stride_alloc(cloog_int_t stride, cloog_int_t offset);		CloogStride *cloog_stride_alloc(cloog_int_t stride, cloog_int_t offset);
	CloogStride *cloog_stride_alloc_from_constraint(cloog_int_t stride,		CloogStride *cloog_stride_alloc_from_constraint(cloog_int_t stride,
	CloogConstraint *constraint, cloog_int_t factor);		CloogConstraint *constraint, cloog_int_t factor);
	CloogStride *cloog_stride_copy(CloogStride *stride);		CloogStride *cloog_stride_copy(CloogStride *stride);
	void cloog_stride_free(CloogStride *stride);		void cloog_stride_free(CloogStride *stride);
			CloogConstraint *cloog_constraint_stride_lower_bound(CloogConstraint *c,
			int level, CloogStride *stride);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 1 change blocks.
	0 lines changed or deleted		3 lines changed or added

	union_map.h		union_map.h
	#ifndef ISL_UNION_MAP_H		#ifndef ISL_UNION_MAP_H
	#define ISL_UNION_MAP_H		#define ISL_UNION_MAP_H
	#include <isl/dim.h>		#include <isl/dim.h>
	#include <isl/map.h>		#include <isl/map_type.h>
	#include <isl/printer.h>		#include <isl/printer.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_union_map;		struct isl_union_map;
	typedef struct isl_union_map isl_union_map;		typedef struct isl_union_map isl_union_map;
	#ifndef isl_union_set		#ifndef isl_union_set
	struct isl_union_set;		struct isl_union_set;
	typedef struct isl_union_set isl_union_set;		typedef struct isl_union_set isl_union_set;
	#endif		#endif
	__isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map);		__isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map);
	__isl_give isl_union_map *isl_union_map_empty(__isl_take isl_dim *dim);		__isl_give isl_union_map *isl_union_map_empty(__isl_take isl_dim *dim);
	__isl_give isl_union_map *isl_union_map_copy(__isl_keep isl_union_map *umap );		__isl_give isl_union_map *isl_union_map_copy(__isl_keep isl_union_map *umap );
	void isl_union_map_free(__isl_take isl_union_map *umap);		void *isl_union_map_free(__isl_take isl_union_map *umap);
	isl_ctx *isl_union_map_get_ctx(__isl_keep isl_union_map *umap);		isl_ctx *isl_union_map_get_ctx(__isl_keep isl_union_map *umap);
	__isl_give isl_dim *isl_union_map_get_dim(__isl_keep isl_union_map *umap);		__isl_give isl_dim *isl_union_map_get_dim(__isl_keep isl_union_map *umap);
			__isl_give isl_union_map *isl_union_map_universe(
			__isl_take isl_union_map *umap);
	__isl_give isl_union_set *isl_union_map_domain(__isl_take isl_union_map *um ap);		__isl_give isl_union_set *isl_union_map_domain(__isl_take isl_union_map *um ap);
	__isl_give isl_union_set *isl_union_map_range(__isl_take isl_union_map *uma p);		__isl_give isl_union_set *isl_union_map_range(__isl_take isl_union_map *uma p);
	__isl_give isl_union_map *isl_union_map_domain_map(		__isl_give isl_union_map *isl_union_map_domain_map(
	__isl_take isl_union_map *umap);		__isl_take isl_union_map *umap);
	__isl_give isl_union_map *isl_union_map_range_map(		__isl_give isl_union_map *isl_union_map_range_map(
	__isl_take isl_union_map *umap);		__isl_take isl_union_map *umap);
	__isl_give isl_union_map *isl_union_map_from_domain(		__isl_give isl_union_map *isl_union_map_from_domain(
	__isl_take isl_union_set *uset);		__isl_take isl_union_set *uset);
	__isl_give isl_union_map *isl_union_map_from_range(		__isl_give isl_union_map *isl_union_map_from_range(
	__isl_take isl_union_set *uset);		__isl_take isl_union_set *uset);
	skipping to change at line 63		skipping to change at line 65
	__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_give isl_union_map *isl_union_map_range_product(
	__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);		__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
			__isl_give isl_union_map *isl_union_map_flat_range_product(
			__isl_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);
	skipping to change at line 87		skipping to change at line 91
	__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_give isl_union_map *isl_union_map_detect_equalities(
	__isl_keep isl_union_map *umap);		__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_give isl_union_map *isl_union_map_deltas_map(
	__isl_take isl_union_map *umap);		__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_single_valued(__isl_keep isl_union_map *umap);
			int isl_union_map_plain_is_injective(__isl_keep isl_union_map *umap);
			int isl_union_map_is_injective(__isl_keep isl_union_map *umap);
			int isl_union_map_is_bijective(__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 int isl_union_map_contains(__isl_keep isl_union_map *umap,
			__isl_keep isl_dim *dim);
	__isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *uma p,		__isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *uma p,
	__isl_take isl_dim *dim);		__isl_take isl_dim *dim);
			__isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap);
	__isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *um ap);		__isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *um ap);
	__isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *uma p,		__isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *uma p,
	int *exact);		int *exact);
	__isl_give isl_union_map *isl_union_map_transitive_closure(		__isl_give isl_union_map *isl_union_map_transitive_closure(
	__isl_take isl_union_map *umap, int *exact);		__isl_take isl_union_map *umap, int *exact);
	__isl_give isl_union_map *isl_union_map_lex_lt_union_map(		__isl_give isl_union_map *isl_union_map_lex_lt_union_map(
	__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);		__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
End of changes. 7 change blocks.
	2 lines changed or deleted		13 lines changed or added

	union_set.h		union_set.h
	skipping to change at line 14		skipping to change at line 14
	#include <isl/point.h>		#include <isl/point.h>
	#include <isl/union_map.h>		#include <isl/union_map.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#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_universe(
			__isl_take isl_union_set *uset);
	__isl_give isl_union_set *isl_union_set_detect_equalities(		__isl_give isl_union_set *isl_union_set_detect_equalities(
	__isl_take isl_union_set *uset);		__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_give isl_union_set *isl_union_set_simple_hull(
	__isl_take isl_union_set *uset);		__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);
	skipping to change at line 62		skipping to change at line 65
	int isl_union_set_is_subset(__isl_keep isl_union_set *uset1,		int isl_union_set_is_subset(__isl_keep isl_union_set *uset1,
	__isl_keep isl_union_set *uset2);		__isl_keep isl_union_set *uset2);
	int isl_union_set_is_equal(__isl_keep isl_union_set *uset1,		int isl_union_set_is_equal(__isl_keep isl_union_set *uset1,
	__isl_keep isl_union_set *uset2);		__isl_keep isl_union_set *uset2);
	int isl_union_set_is_strict_subset(__isl_keep isl_union_set *uset1,		int isl_union_set_is_strict_subset(__isl_keep isl_union_set *uset1,
	__isl_keep isl_union_set *uset2);		__isl_keep isl_union_set *uset2);
	int isl_union_set_n_set(__isl_keep isl_union_set *uset);		int isl_union_set_n_set(__isl_keep isl_union_set *uset);
	int isl_union_set_foreach_set(__isl_keep isl_union_set *uset,		int isl_union_set_foreach_set(__isl_keep isl_union_set *uset,
	int (*fn)(__isl_take isl_set *set, void *user), void *user);		int (*fn)(__isl_take isl_set *set, void *user), void *user);
			__isl_give int isl_union_set_contains(__isl_keep isl_union_set *uset,
			__isl_keep isl_dim *dim);
	__isl_give isl_set *isl_union_set_extract_set(__isl_keep isl_union_set *use t,		__isl_give isl_set *isl_union_set_extract_set(__isl_keep isl_union_set *use t,
	__isl_take isl_dim *dim);		__isl_take isl_dim *dim);
			__isl_give isl_set *isl_set_from_union_set(__isl_take isl_union_set *uset);
	int isl_union_set_foreach_point(__isl_keep isl_union_set *uset,		int isl_union_set_foreach_point(__isl_keep isl_union_set *uset,
	int (*fn)(__isl_take isl_point *pnt, void *user), void *user);		int (*fn)(__isl_take isl_point *pnt, void *user), void *user);
	__isl_give isl_basic_set *isl_union_set_sample(__isl_take isl_union_set *us et);		__isl_give isl_basic_set *isl_union_set_sample(__isl_take isl_union_set *us et);
			__isl_give isl_union_set *isl_union_set_lift(__isl_take isl_union_set *uset
			);
	__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_coefficients(
			__isl_take isl_union_set *bset);
			__isl_give isl_union_set *isl_union_set_solutions(
			__isl_take isl_union_set *bset);
	__isl_give isl_union_set *isl_union_set_read_from_file(isl_ctx *ctx,		__isl_give isl_union_set *isl_union_set_read_from_file(isl_ctx *ctx,
	FILE *input);		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);		void isl_union_set_dump(__isl_keep isl_union_set *uset);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
End of changes. 6 change blocks.
	1 lines changed or deleted		15 lines changed or added

	vec.h		vec.h
	skipping to change at line 41		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);
			isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec);
			int isl_vec_is_equal(__isl_keep isl_vec *vec1, __isl_keep isl_vec *vec2);
	void isl_vec_dump(__isl_keep isl_vec *vec);		void isl_vec_dump(__isl_keep isl_vec *vec);
	__isl_give isl_printer *isl_printer_print_vec(__isl_take isl_printer *print er,		__isl_give isl_printer *isl_printer_print_vec(__isl_take isl_printer *print er,
	__isl_keep isl_vec *vec);		__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);
			__isl_give isl_vec *isl_vec_sort(__isl_take isl_vec *vec);
	__isl_give isl_vec *isl_vec_read_from_file(isl_ctx *ctx, FILE *input);		__isl_give isl_vec *isl_vec_read_from_file(isl_ctx *ctx, FILE *input);
			__isl_give isl_vec *isl_vec_drop_els(__isl_take isl_vec *vec,
			unsigned pos, unsigned n);
			__isl_give isl_vec *isl_vec_insert_els(__isl_take isl_vec *vec,
			unsigned pos, unsigned n);
			__isl_give isl_vec *isl_vec_insert_zero_els(__isl_take isl_vec *vec,
			unsigned pos, unsigned n);
	#if defined(__cplusplus)		#if defined(__cplusplus)
	}		}
	#endif		#endif
	#endif		#endif
End of changes. 3 change blocks.
	0 lines changed or deleted		13 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 2		#define CLOOG_VERSION_REVISION 3
	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

	vertices.h		vertices.h
	#ifndef ISL_VERTICES_H		#ifndef ISL_VERTICES_H
	#define ISL_VERTICES_H		#define ISL_VERTICES_H
	#include <isl/set.h>		#include <isl/set_type.h>
	#if defined(__cplusplus)		#if defined(__cplusplus)
	extern "C" {		extern "C" {
	#endif		#endif
	struct isl_external_vertex;		struct isl_external_vertex;
	typedef struct isl_external_vertex isl_vertex;		typedef struct isl_external_vertex isl_vertex;
	struct isl_cell;		struct isl_cell;
	typedef struct isl_cell isl_cell;		typedef struct isl_cell isl_cell;
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/