aff.h   aff.h 
#ifndef ISL_AFF_H #ifndef ISL_AFF_H
#define ISL_AFF_H #define ISL_AFF_H
#include <isl/local_space.h> #include <isl/local_space.h>
#include <isl/printer.h> #include <isl/printer.h>
#include <isl/set_type.h> #include <isl/set_type.h>
#include <isl/aff_type.h> #include <isl/aff_type.h>
#include <isl/list.h> #include <isl/list.h>
#include <isl/multi.h> #include <isl/multi.h>
#include <isl/union_set_type.h> #include <isl/union_set_type.h>
#include <isl/val.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
__isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls); __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls);
__isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls, __isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
__isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff); __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff);
skipping to change at line 38 skipping to change at line 39
__isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff); __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff);
__isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff); __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff);
__isl_give isl_local_space *isl_aff_get_domain_local_space( __isl_give isl_local_space *isl_aff_get_domain_local_space(
__isl_keep isl_aff *aff); __isl_keep isl_aff *aff);
__isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff ); __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff );
const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff, const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v); int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v);
__isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff);
int isl_aff_get_coefficient(__isl_keep isl_aff *aff, int isl_aff_get_coefficient(__isl_keep isl_aff *aff,
enum isl_dim_type type, int pos, isl_int *v); enum isl_dim_type type, int pos, isl_int *v);
__isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff,
enum isl_dim_type type, int pos);
int isl_aff_get_denominator(__isl_keep isl_aff *aff, isl_int *v); int isl_aff_get_denominator(__isl_keep isl_aff *aff, isl_int *v);
__isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff);
__isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v ); __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v );
__isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v) ; __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v) ;
__isl_give isl_aff *isl_aff_set_constant_val(__isl_take isl_aff *aff,
__isl_take isl_val *v);
__isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff,
enum isl_dim_type type, int pos, isl_int v); enum isl_dim_type type, int pos, isl_int v);
__isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff,
enum isl_dim_type type, int pos, int v); enum isl_dim_type type, int pos, int v);
__isl_give isl_aff *isl_aff_set_coefficient_val(__isl_take isl_aff *aff,
enum isl_dim_type type, int pos, __isl_take isl_val *v);
__isl_give isl_aff *isl_aff_set_denominator(__isl_take isl_aff *aff, isl_in t v); __isl_give isl_aff *isl_aff_set_denominator(__isl_take isl_aff *aff, isl_in t v);
__isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v ); __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v );
__isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v) ; __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v) ;
__isl_give isl_aff *isl_aff_add_constant_val(__isl_take isl_aff *aff,
__isl_take isl_val *v);
__isl_give isl_aff *isl_aff_add_constant_num(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_add_constant_num(__isl_take isl_aff *aff,
isl_int v); isl_int v);
__isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, in t v); __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, in t v);
__isl_give isl_aff *isl_aff_add_coefficient(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_add_coefficient(__isl_take isl_aff *aff,
enum isl_dim_type type, int pos, isl_int v); enum isl_dim_type type, int pos, isl_int v);
__isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff,
enum isl_dim_type type, int pos, int v); enum isl_dim_type type, int pos, int v);
__isl_give isl_aff *isl_aff_add_coefficient_val(__isl_take isl_aff *aff,
enum isl_dim_type type, int pos, __isl_take isl_val *v);
int isl_aff_is_cst(__isl_keep isl_aff *aff); int isl_aff_is_cst(__isl_keep isl_aff *aff);
__isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff,
enum isl_dim_type type, unsigned pos, const char *s); enum isl_dim_type type, unsigned pos, const char *s);
__isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff,
enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
int isl_aff_plain_is_equal(__isl_keep isl_aff *aff1, __isl_keep isl_aff *af f2); int isl_aff_plain_is_equal(__isl_keep isl_aff *aff1, __isl_keep isl_aff *af f2);
int isl_aff_plain_is_zero(__isl_keep isl_aff *aff); int isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
__isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos); __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos);
__isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff); __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff);
__isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff); __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff);
__isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff); __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff);
__isl_give isl_aff *isl_aff_mod(__isl_take isl_aff *aff, isl_int mod); __isl_give isl_aff *isl_aff_mod(__isl_take isl_aff *aff, isl_int mod);
__isl_give isl_aff *isl_aff_mod_val(__isl_take isl_aff *aff,
__isl_take isl_val *mod);
__isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1, __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1,
__isl_take isl_aff *aff2); __isl_take isl_aff *aff2);
__isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1, __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1,
__isl_take isl_aff *aff2); __isl_take isl_aff *aff2);
__isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1, __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1,
__isl_take isl_aff *aff2); __isl_take isl_aff *aff2);
__isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1, __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1,
__isl_take isl_aff *aff2); __isl_take isl_aff *aff2);
__isl_give isl_aff *isl_aff_scale(__isl_take isl_aff *aff, isl_int f); __isl_give isl_aff *isl_aff_scale(__isl_take isl_aff *aff, isl_int f);
__isl_give isl_aff *isl_aff_scale_val(__isl_take isl_aff *aff,
__isl_take isl_val *v);
__isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f); __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
__isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f); __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f);
__isl_give isl_aff *isl_aff_scale_down_val(__isl_take isl_aff *aff,
__isl_take isl_val *v);
__isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff,
enum isl_dim_type type, unsigned n); enum isl_dim_type type, unsigned n);
__isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *af f); __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *af f);
__isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff,
skipping to change at line 191 skipping to change at line 210
__isl_take isl_pw_aff *pa2); __isl_take isl_pw_aff *pa2);
__isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1, __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1,
__isl_take isl_pw_aff *pwaff2); __isl_take isl_pw_aff *pwaff2);
__isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1, __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1,
__isl_take isl_pw_aff *pwaff2); __isl_take isl_pw_aff *pwaff2);
__isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff); __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff);
__isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff); __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff);
__isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff); __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff);
__isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff, __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff,
isl_int mod); isl_int mod);
__isl_give isl_pw_aff *isl_pw_aff_mod_val(__isl_take isl_pw_aff *pa,
__isl_take isl_val *mod);
__isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1, __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1,
__isl_take isl_pw_aff *pa2); __isl_take isl_pw_aff *pa2);
__isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1, __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1,
__isl_take isl_pw_aff *pa2); __isl_take isl_pw_aff *pa2);
__isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *p a, __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *p a,
__isl_take isl_set *set); __isl_take isl_set *set);
__isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *p a, __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *p a,
__isl_take isl_set *set); __isl_take isl_set *set);
__isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond, __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond,
__isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_fals e); __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_fals e);
__isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff, __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff,
isl_int f); isl_int f);
__isl_give isl_pw_aff *isl_pw_aff_scale_val(__isl_take isl_pw_aff *pa,
__isl_take isl_val *v);
__isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff, __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,
isl_int f); isl_int f);
__isl_give isl_pw_aff *isl_pw_aff_scale_down_val(__isl_take isl_pw_aff *pa,
__isl_take isl_val *f);
__isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff, __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff, __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff,
enum isl_dim_type type, unsigned n); enum isl_dim_type type, unsigned n);
__isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff, __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pwqp); __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pwqp);
__isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff, __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff,
skipping to change at line 273 skipping to change at line 298
__isl_take isl_pw_aff_list *list2); __isl_take isl_pw_aff_list *list2);
__isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list 1, __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list 1,
__isl_take isl_pw_aff_list *list2); __isl_take isl_pw_aff_list *list2);
__isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list 1, __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list 1,
__isl_take isl_pw_aff_list *list2); __isl_take isl_pw_aff_list *list2);
__isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list 1, __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list 1,
__isl_take isl_pw_aff_list *list2); __isl_take isl_pw_aff_list *list2);
__isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list 1, __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list 1,
__isl_take isl_pw_aff_list *list2); __isl_take isl_pw_aff_list *list2);
ISL_DECLARE_MULTI(aff)
__isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff); __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff);
__isl_give isl_multi_aff *isl_multi_aff_zero(__isl_take isl_space *space);
__isl_give isl_multi_aff *isl_multi_aff_identity(__isl_take isl_space *spac e); __isl_give isl_multi_aff *isl_multi_aff_identity(__isl_take isl_space *spac e);
isl_ctx *isl_multi_aff_get_ctx(__isl_keep isl_multi_aff *maff);
__isl_give isl_space *isl_multi_aff_get_space(__isl_keep isl_multi_aff *maf
f);
__isl_give isl_space *isl_multi_aff_get_domain_space(
__isl_keep isl_multi_aff *maff);
__isl_give isl_multi_aff *isl_multi_aff_set_tuple_name(
__isl_take isl_multi_aff *maff,
enum isl_dim_type type, const char *s);
__isl_give isl_multi_aff *isl_multi_aff_set_tuple_id(
__isl_take isl_multi_aff *maff,
enum isl_dim_type type, __isl_take isl_id *id);
__isl_give isl_multi_aff *isl_multi_aff_copy(__isl_keep isl_multi_aff *maff
);
void *isl_multi_aff_free(__isl_take isl_multi_aff *maff);
unsigned isl_multi_aff_dim(__isl_keep isl_multi_aff *maff,
enum isl_dim_type type);
__isl_give isl_aff *isl_multi_aff_get_aff(__isl_keep isl_multi_aff *multi,
int pos);
__isl_give isl_multi_aff *isl_multi_aff_insert_dims(
__isl_take isl_multi_aff *ma,
enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_multi_aff *isl_multi_aff_add_dims(__isl_take isl_multi_aff *
ma,
enum isl_dim_type type, unsigned n);
__isl_give isl_multi_aff *isl_multi_aff_drop_dims(
__isl_take isl_multi_aff *maff,
enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_multi_aff *isl_multi_aff_set_dim_name(
__isl_take isl_multi_aff *maff,
enum isl_dim_type type, unsigned pos, const char *s);
int isl_multi_aff_plain_is_equal(__isl_keep isl_multi_aff *maff1, int isl_multi_aff_plain_is_equal(__isl_keep isl_multi_aff *maff1,
__isl_keep isl_multi_aff *maff2); __isl_keep isl_multi_aff *maff2);
__isl_give isl_multi_aff *isl_multi_aff_add(__isl_take isl_multi_aff *maff1 , __isl_give isl_multi_aff *isl_multi_aff_add(__isl_take isl_multi_aff *maff1 ,
__isl_take isl_multi_aff *maff2); __isl_take isl_multi_aff *maff2);
__isl_give isl_multi_aff *isl_multi_aff_sub(__isl_take isl_multi_aff *ma1,
__isl_take isl_multi_aff *ma2);
__isl_give isl_multi_aff *isl_multi_aff_scale(__isl_take isl_multi_aff *maf f, __isl_give isl_multi_aff *isl_multi_aff_scale(__isl_take isl_multi_aff *maf f,
isl_int f); isl_int f);
__isl_give isl_multi_aff *isl_multi_aff_range_splice(
__isl_take isl_multi_aff *ma1, unsigned pos,
__isl_take isl_multi_aff *ma2);
__isl_give isl_multi_aff *isl_multi_aff_splice(
__isl_take isl_multi_aff *ma1, unsigned in_pos, unsigned out_pos,
__isl_take isl_multi_aff *ma2);
__isl_give isl_multi_aff *isl_multi_aff_range_product(
__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
__isl_give isl_multi_aff *isl_multi_aff_flat_range_product(
__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
__isl_give isl_multi_aff *isl_multi_aff_product( __isl_give isl_multi_aff *isl_multi_aff_product(
__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2); __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
__isl_give isl_multi_aff *isl_multi_aff_align_params(
__isl_take isl_multi_aff *multi, __isl_take isl_space *model);
__isl_give isl_multi_aff *isl_multi_aff_gist_params( __isl_give isl_multi_aff *isl_multi_aff_gist_params(
__isl_take isl_multi_aff *maff, __isl_take isl_set *context); __isl_take isl_multi_aff *maff, __isl_take isl_set *context);
__isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff , __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff ,
__isl_take isl_set *context); __isl_take isl_set *context);
__isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff , __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff ,
__isl_give isl_local_space **ls); __isl_give isl_local_space **ls);
__isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff( __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff(
__isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2); __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
skipping to change at line 356 skipping to change at line 340
__isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1, __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
__isl_take isl_multi_aff *ma2); __isl_take isl_multi_aff *ma2);
__isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p, __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p,
__isl_keep isl_multi_aff *maff); __isl_keep isl_multi_aff *maff);
__isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx, __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx,
const char *str); const char *str);
void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff); void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff);
ISL_DECLARE_MULTI(pw_aff)
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity(
__isl_take isl_space *space); __isl_take isl_space *space);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff(
__isl_take isl_multi_aff *ma); __isl_take isl_multi_aff *ma);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set , __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set ,
__isl_take isl_multi_aff *maff); __isl_take isl_multi_aff *maff);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy(
__isl_keep isl_pw_multi_aff *pma); __isl_keep isl_pw_multi_aff *pma);
void *isl_pw_multi_aff_free(__isl_take isl_pw_multi_aff *pma); void *isl_pw_multi_aff_free(__isl_take isl_pw_multi_aff *pma);
skipping to change at line 418 skipping to change at line 404
enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
int isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1, int isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1,
__isl_keep isl_pw_multi_aff *pma2); __isl_keep isl_pw_multi_aff *pma2);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add(
__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 ); __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 );
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_add( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add(
__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 ); __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 );
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_sub(
__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2
);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_val(
__isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_multi_val(
__isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin(
__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma1,
__isl_take isl_pw_multi_aff *pma2); __isl_take isl_pw_multi_aff *pma2);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax(
__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma1,
__isl_take isl_pw_multi_aff *pma2); __isl_take isl_pw_multi_aff *pma2);
__isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product( __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product(
__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 ); __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2 );
skipping to change at line 500 skipping to change at line 493
int isl_union_pw_multi_aff_foreach_pw_multi_aff( int isl_union_pw_multi_aff_foreach_pw_multi_aff(
__isl_keep isl_union_pw_multi_aff *upma, __isl_keep isl_union_pw_multi_aff *upma,
int (*fn)(__isl_take isl_pw_multi_aff *pma, void *user), void *user) ; int (*fn)(__isl_take isl_pw_multi_aff *pma, void *user), void *user) ;
__isl_give isl_union_set *isl_union_pw_multi_aff_domain( __isl_give isl_union_set *isl_union_pw_multi_aff_domain(
__isl_take isl_union_pw_multi_aff *upma); __isl_take isl_union_pw_multi_aff *upma);
__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add( __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add(
__isl_take isl_union_pw_multi_aff *upma1, __isl_take isl_union_pw_multi_aff *upma1,
__isl_take isl_union_pw_multi_aff *upma2); __isl_take isl_union_pw_multi_aff *upma2);
__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_sub(
__isl_take isl_union_pw_multi_aff *upma1,
__isl_take isl_union_pw_multi_aff *upma2);
__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_multi_val(
__isl_take isl_union_pw_multi_aff *upma, __isl_take isl_multi_val *m
v);
__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_produc t( __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_produc t(
__isl_take isl_union_pw_multi_aff *upma1, __isl_take isl_union_pw_multi_aff *upma1,
__isl_take isl_union_pw_multi_aff *upma2); __isl_take isl_union_pw_multi_aff *upma2);
__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_domain(
__isl_take isl_union_pw_multi_aff *upma,
__isl_take isl_union_set *uset);
__isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff( __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff(
__isl_take isl_union_pw_multi_aff *upma); __isl_take isl_union_pw_multi_aff *upma);
__isl_give isl_printer *isl_printer_print_union_pw_multi_aff( __isl_give isl_printer *isl_printer_print_union_pw_multi_aff(
__isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma); __isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_zero(__isl_take isl_space *sp __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_set(
ace); __isl_take isl_union_set *uset);
__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_map(
__isl_take isl_union_map *umap);
__isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_read_from_str(
isl_ctx *ctx, const char *str);
void isl_union_pw_multi_aff_dump(__isl_keep isl_union_pw_multi_aff *upma);
__isl_give char *isl_union_pw_multi_aff_to_str(
__isl_keep isl_union_pw_multi_aff *upma);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_identity( __isl_give isl_multi_pw_aff *isl_multi_pw_aff_identity(
__isl_take isl_space *space); __isl_take isl_space *space);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff( __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff(
__isl_take isl_pw_aff *pa); __isl_take isl_pw_aff *pa);
isl_ctx *isl_multi_pw_aff_get_ctx(__isl_keep isl_multi_pw_aff *mpa);
__isl_give isl_space *isl_multi_pw_aff_get_space(
__isl_keep isl_multi_pw_aff *mpa);
__isl_give isl_space *isl_multi_pw_aff_get_domain_space(
__isl_keep isl_multi_pw_aff *mpa);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_set_tuple_name(
__isl_take isl_multi_pw_aff *mpa,
enum isl_dim_type type, const char *s);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_copy(
__isl_keep isl_multi_pw_aff *mpa);
void *isl_multi_pw_aff_free(__isl_take isl_multi_pw_aff *mpa);
unsigned isl_multi_pw_aff_dim(__isl_keep isl_multi_pw_aff *mpa,
enum isl_dim_type type);
__isl_give isl_pw_aff *isl_multi_pw_aff_get_pw_aff(
__isl_keep isl_multi_pw_aff *mpa, int pos);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_insert_dims(
__isl_take isl_multi_pw_aff *mpa,
enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_add_dims(
__isl_take isl_multi_pw_aff *mpa, enum isl_dim_type type, unsigned n
);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_set_dim_name(
__isl_take isl_multi_pw_aff *mpa,
enum isl_dim_type type, unsigned pos, const char *s);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_range_splice(
__isl_take isl_multi_pw_aff *mpa1, unsigned pos,
__isl_take isl_multi_pw_aff *mpa2);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_splice(
__isl_take isl_multi_pw_aff *mpa1, unsigned in_pos, unsigned out_pos
,
__isl_take isl_multi_pw_aff *mpa2);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_flat_range_product(
__isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2
);
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_range_product(
__isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2
);
__isl_give isl_printer *isl_printer_print_multi_pw_aff( __isl_give isl_printer *isl_printer_print_multi_pw_aff(
__isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa); __isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa);
void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa); void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#include <isl/dim.h> #include <isl/dim.h>
 End of changes. 26 change blocks. 
92 lines changed or deleted 61 lines changed or added


 aff_type.h   aff_type.h 
#ifndef ISL_AFF_TYPE_H #ifndef ISL_AFF_TYPE_H
#define ISL_AFF_TYPE_H #define ISL_AFF_TYPE_H
#include <isl/list.h>
#if defined(__cplusplus)
extern "C" {
#endif
struct isl_aff; struct isl_aff;
typedef struct isl_aff isl_aff; typedef struct isl_aff isl_aff;
ISL_DECLARE_LIST(aff)
struct isl_pw_aff; struct isl_pw_aff;
typedef struct isl_pw_aff isl_pw_aff; typedef struct isl_pw_aff isl_pw_aff;
ISL_DECLARE_LIST(pw_aff)
struct isl_multi_aff; struct isl_multi_aff;
typedef struct isl_multi_aff isl_multi_aff; typedef struct isl_multi_aff isl_multi_aff;
struct isl_pw_multi_aff; struct isl_pw_multi_aff;
typedef struct isl_pw_multi_aff isl_pw_multi_aff; typedef struct isl_pw_multi_aff isl_pw_multi_aff;
struct isl_union_pw_multi_aff; struct isl_union_pw_multi_aff;
typedef struct isl_union_pw_multi_aff isl_union_pw_multi_aff; typedef struct isl_union_pw_multi_aff isl_union_pw_multi_aff;
struct isl_multi_pw_aff; struct isl_multi_pw_aff;
typedef struct isl_multi_pw_aff isl_multi_pw_aff; typedef struct isl_multi_pw_aff isl_multi_pw_aff;
#if defined(__cplusplus)
}
#endif
#endif #endif
 End of changes. 4 change blocks. 
0 lines changed or deleted 14 lines changed or added


 ast.h   ast.h 
#ifndef ISL_AST_H #ifndef ISL_AST_H
#define ISL_AST_H #define ISL_AST_H
#include <isl/ctx.h> #include <isl/ctx.h>
#include <isl/id.h> #include <isl/id.h>
#include <isl/val.h>
#include <isl/list.h> #include <isl/list.h>
#include <isl/printer.h> #include <isl/printer.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
struct isl_ast_expr; struct isl_ast_expr;
typedef struct isl_ast_expr isl_ast_expr; typedef struct isl_ast_expr isl_ast_expr;
skipping to change at line 69 skipping to change at line 70
struct isl_ast_print_options; struct isl_ast_print_options;
typedef struct isl_ast_print_options isl_ast_print_options; typedef struct isl_ast_print_options isl_ast_print_options;
ISL_DECLARE_LIST(ast_expr) ISL_DECLARE_LIST(ast_expr)
ISL_DECLARE_LIST(ast_node) ISL_DECLARE_LIST(ast_node)
int isl_options_set_ast_iterator_type(isl_ctx *ctx, const char *val); int isl_options_set_ast_iterator_type(isl_ctx *ctx, const char *val);
const char *isl_options_get_ast_iterator_type(isl_ctx *ctx); const char *isl_options_get_ast_iterator_type(isl_ctx *ctx);
__isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v);
__isl_give isl_ast_expr *isl_ast_expr_from_id(__isl_take isl_id *id); __isl_give isl_ast_expr *isl_ast_expr_from_id(__isl_take isl_id *id);
__isl_give isl_ast_expr *isl_ast_expr_neg(__isl_take isl_ast_expr *expr); __isl_give isl_ast_expr *isl_ast_expr_neg(__isl_take isl_ast_expr *expr);
__isl_give isl_ast_expr *isl_ast_expr_add(__isl_take isl_ast_expr *expr1, __isl_give isl_ast_expr *isl_ast_expr_add(__isl_take isl_ast_expr *expr1,
__isl_take isl_ast_expr *expr2); __isl_take isl_ast_expr *expr2);
__isl_give isl_ast_expr *isl_ast_expr_sub(__isl_take isl_ast_expr *expr1, __isl_give isl_ast_expr *isl_ast_expr_sub(__isl_take isl_ast_expr *expr1,
__isl_take isl_ast_expr *expr2); __isl_take isl_ast_expr *expr2);
__isl_give isl_ast_expr *isl_ast_expr_mul(__isl_take isl_ast_expr *expr1, __isl_give isl_ast_expr *isl_ast_expr_mul(__isl_take isl_ast_expr *expr1,
__isl_take isl_ast_expr *expr2); __isl_take isl_ast_expr *expr2);
__isl_give isl_ast_expr *isl_ast_expr_div(__isl_take isl_ast_expr *expr1, __isl_give isl_ast_expr *isl_ast_expr_div(__isl_take isl_ast_expr *expr1,
__isl_take isl_ast_expr *expr2); __isl_take isl_ast_expr *expr2);
skipping to change at line 90 skipping to change at line 92
__isl_take isl_ast_expr *expr2); __isl_take isl_ast_expr *expr2);
__isl_give isl_ast_expr *isl_ast_expr_or(__isl_take isl_ast_expr *expr1, __isl_give isl_ast_expr *isl_ast_expr_or(__isl_take isl_ast_expr *expr1,
__isl_take isl_ast_expr *expr2); __isl_take isl_ast_expr *expr2);
__isl_give isl_ast_expr *isl_ast_expr_copy(__isl_keep isl_ast_expr *expr); __isl_give isl_ast_expr *isl_ast_expr_copy(__isl_keep isl_ast_expr *expr);
void *isl_ast_expr_free(__isl_take isl_ast_expr *expr); void *isl_ast_expr_free(__isl_take isl_ast_expr *expr);
isl_ctx *isl_ast_expr_get_ctx(__isl_keep isl_ast_expr *expr); isl_ctx *isl_ast_expr_get_ctx(__isl_keep isl_ast_expr *expr);
enum isl_ast_expr_type isl_ast_expr_get_type(__isl_keep isl_ast_expr *expr) ; enum isl_ast_expr_type isl_ast_expr_get_type(__isl_keep isl_ast_expr *expr) ;
int isl_ast_expr_get_int(__isl_keep isl_ast_expr *expr, isl_int *v); int isl_ast_expr_get_int(__isl_keep isl_ast_expr *expr, isl_int *v);
__isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr);
__isl_give isl_id *isl_ast_expr_get_id(__isl_keep isl_ast_expr *expr); __isl_give isl_id *isl_ast_expr_get_id(__isl_keep isl_ast_expr *expr);
enum isl_ast_op_type isl_ast_expr_get_op_type(__isl_keep isl_ast_expr *expr ); enum isl_ast_op_type isl_ast_expr_get_op_type(__isl_keep isl_ast_expr *expr );
int isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr *expr); int isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr *expr);
__isl_give isl_ast_expr *isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr *e xpr, __isl_give isl_ast_expr *isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr *e xpr,
int pos); int pos);
__isl_give isl_printer *isl_printer_print_ast_expr(__isl_take isl_printer * p, __isl_give isl_printer *isl_printer_print_ast_expr(__isl_take isl_printer * p,
__isl_keep isl_ast_expr *expr); __isl_keep isl_ast_expr *expr);
void isl_ast_expr_dump(__isl_keep isl_ast_expr *expr); void isl_ast_expr_dump(__isl_keep isl_ast_expr *expr);
 End of changes. 3 change blocks. 
0 lines changed or deleted 3 lines changed or added


 ast_build.h   ast_build.h 
skipping to change at line 38 skipping to change at line 38
#define ISL_AST_BUILD_SEPARATION_BOUNDS_IMPLICIT 1 #define ISL_AST_BUILD_SEPARATION_BOUNDS_IMPLICIT 1
int isl_options_set_ast_build_separation_bounds(isl_ctx *ctx, int val); int isl_options_set_ast_build_separation_bounds(isl_ctx *ctx, int val);
int isl_options_get_ast_build_separation_bounds(isl_ctx *ctx); int isl_options_get_ast_build_separation_bounds(isl_ctx *ctx);
int isl_options_set_ast_build_scale_strides(isl_ctx *ctx, int val); int isl_options_set_ast_build_scale_strides(isl_ctx *ctx, int val);
int isl_options_get_ast_build_scale_strides(isl_ctx *ctx); int isl_options_get_ast_build_scale_strides(isl_ctx *ctx);
int isl_options_set_ast_build_allow_else(isl_ctx *ctx, int val); int isl_options_set_ast_build_allow_else(isl_ctx *ctx, int val);
int isl_options_get_ast_build_allow_else(isl_ctx *ctx); int isl_options_get_ast_build_allow_else(isl_ctx *ctx);
int isl_options_set_ast_build_allow_or(isl_ctx *ctx, int val);
int isl_options_get_ast_build_allow_or(isl_ctx *ctx);
isl_ctx *isl_ast_build_get_ctx(__isl_keep isl_ast_build *build); isl_ctx *isl_ast_build_get_ctx(__isl_keep isl_ast_build *build);
__isl_give isl_ast_build *isl_ast_build_from_context(__isl_take isl_set *se t); __isl_give isl_ast_build *isl_ast_build_from_context(__isl_take isl_set *se t);
__isl_give isl_space *isl_ast_build_get_schedule_space( __isl_give isl_space *isl_ast_build_get_schedule_space(
__isl_keep isl_ast_build *build); __isl_keep isl_ast_build *build);
__isl_give isl_union_map *isl_ast_build_get_schedule( __isl_give isl_union_map *isl_ast_build_get_schedule(
__isl_keep isl_ast_build *build); __isl_keep isl_ast_build *build);
__isl_give isl_ast_build *isl_ast_build_restrict( __isl_give isl_ast_build *isl_ast_build_restrict(
 End of changes. 1 change blocks. 
0 lines changed or deleted 3 lines changed or added


 band.h   band.h 
skipping to change at line 16 skipping to change at line 16
#include <isl/union_map_type.h> #include <isl/union_map_type.h>
#include <isl/vec.h> #include <isl/vec.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
struct isl_band; struct isl_band;
typedef struct isl_band isl_band; typedef struct isl_band isl_band;
ISL_DECLARE_LIST(band)
__isl_give isl_band *isl_band_copy(__isl_keep isl_band *band); __isl_give isl_band *isl_band_copy(__isl_keep isl_band *band);
void *isl_band_free(__isl_take isl_band *band); void *isl_band_free(__isl_take isl_band *band);
isl_ctx *isl_band_get_ctx(__isl_keep isl_band *band); isl_ctx *isl_band_get_ctx(__isl_keep isl_band *band);
int isl_band_has_children(__isl_keep isl_band *band); int isl_band_has_children(__isl_keep isl_band *band);
__isl_give isl_band_list *isl_band_get_children( __isl_give isl_band_list *isl_band_get_children(
__isl_keep isl_band *band); __isl_keep isl_band *band);
__isl_give isl_union_map *isl_band_get_prefix_schedule( __isl_give isl_union_map *isl_band_get_prefix_schedule(
__isl_keep isl_band *band); __isl_keep isl_band *band);
__isl_give isl_union_map *isl_band_get_partial_schedule( __isl_give isl_union_map *isl_band_get_partial_schedule(
__isl_keep isl_band *band); __isl_keep isl_band *band);
__isl_give isl_union_map *isl_band_get_suffix_schedule( __isl_give isl_union_map *isl_band_get_suffix_schedule(
__isl_keep isl_band *band); __isl_keep isl_band *band);
int isl_options_set_tile_scale_tile_loops(isl_ctx *ctx, int val); int isl_options_set_tile_scale_tile_loops(isl_ctx *ctx, int val);
int isl_options_get_tile_scale_tile_loops(isl_ctx *ctx); int isl_options_get_tile_scale_tile_loops(isl_ctx *ctx);
int isl_options_set_tile_shift_point_loops(isl_ctx *ctx, int val);
int isl_options_get_tile_shift_point_loops(isl_ctx *ctx);
int isl_band_tile(__isl_keep isl_band *band, __isl_take isl_vec *sizes); int isl_band_tile(__isl_keep isl_band *band, __isl_take isl_vec *sizes);
int isl_band_split(__isl_keep isl_band *band, int pos);
int isl_band_n_member(__isl_keep isl_band *band); int isl_band_n_member(__isl_keep isl_band *band);
int isl_band_member_is_zero_distance(__isl_keep isl_band *band, int pos); int isl_band_member_is_zero_distance(__isl_keep isl_band *band, int pos);
int isl_band_list_foreach_band(__isl_keep isl_band_list *list, int isl_band_list_foreach_band(__isl_keep isl_band_list *list,
int (*fn)(__isl_keep isl_band *band, void *user), void *user); int (*fn)(__isl_keep isl_band *band, void *user), void *user);
__isl_give isl_printer *isl_printer_print_band(__isl_take isl_printer *p, __isl_give isl_printer *isl_printer_print_band(__isl_take isl_printer *p,
__isl_keep isl_band *band); __isl_keep isl_band *band);
void isl_band_dump(__isl_keep isl_band *band); void isl_band_dump(__isl_keep isl_band *band);
 End of changes. 3 change blocks. 
0 lines changed or deleted 5 lines changed or added


 constraint.h   constraint.h 
skipping to change at line 17 skipping to change at line 17
* 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/local_space.h> #include <isl/local_space.h>
#include <isl/space.h> #include <isl/space.h>
#include <isl/aff_type.h> #include <isl/aff_type.h>
#include <isl/set_type.h> #include <isl/set_type.h>
#include <isl/list.h>
#include <isl/val.h>
#include <isl/printer.h> #include <isl/printer.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
struct isl_constraint; struct isl_constraint;
typedef struct isl_constraint isl_constraint; typedef struct isl_constraint isl_constraint;
ISL_DECLARE_LIST(constraint)
isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c); isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);
__isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *l s); __isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *l s);
__isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls); __isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls);
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(__isl_take isl_constraint *c); void *isl_constraint_free(__isl_take isl_constraint *c);
int isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset); int isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
skipping to change at line 83 skipping to change at line 87
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, int isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
enum isl_dim_type type, unsigned first, unsigned n); 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);
__isl_give isl_val *isl_constraint_get_constant_val(
__isl_keep isl_constraint *constraint);
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);
__isl_give isl_val *isl_constraint_get_coefficient_val(
__isl_keep isl_constraint *constraint, enum isl_dim_type type, int p
os);
__isl_give isl_constraint *isl_constraint_set_constant( __isl_give isl_constraint *isl_constraint_set_constant(
__isl_take isl_constraint *constraint, isl_int v); __isl_take isl_constraint *constraint, isl_int v);
__isl_give isl_constraint *isl_constraint_set_constant_si( __isl_give isl_constraint *isl_constraint_set_constant_si(
__isl_take isl_constraint *constraint, int v); __isl_take isl_constraint *constraint, int v);
__isl_give isl_constraint *isl_constraint_set_constant_val(
__isl_take isl_constraint *constraint, __isl_take isl_val *v);
__isl_give isl_constraint *isl_constraint_set_coefficient( __isl_give isl_constraint *isl_constraint_set_coefficient(
__isl_take isl_constraint *constraint, __isl_take isl_constraint *constraint,
enum isl_dim_type type, int pos, isl_int v); enum isl_dim_type type, int pos, isl_int v);
__isl_give isl_constraint *isl_constraint_set_coefficient_si( __isl_give isl_constraint *isl_constraint_set_coefficient_si(
__isl_take isl_constraint *constraint, __isl_take isl_constraint *constraint,
enum isl_dim_type type, int pos, int v); enum isl_dim_type type, int pos, int v);
__isl_give isl_constraint *isl_constraint_set_coefficient_val(
__isl_take isl_constraint *constraint,
enum isl_dim_type type, int pos, isl_val *v);
__isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *const raint, __isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *const raint,
int pos); int pos);
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) ;
int isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint, int isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
 End of changes. 6 change blocks. 
0 lines changed or deleted 14 lines changed or added


 ctx.h   ctx.h 
skipping to change at line 105 skipping to change at line 105
#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)
/* isl_check_ctx() checks at compile time if 'ctx' is of type 'isl_ctx *' a nd /* isl_check_ctx() checks at compile time if 'ctx' is of type 'isl_ctx *' a nd
* returns the value of 'expr'. It is used to ensure, that always an isl_ct x is * 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. * passed to the following macros, even if they currently do not use it.
*/ */
#define isl_check_ctx(ctx, expr) ((ctx != (isl_ctx *) 0) ? expr : exp r) #define isl_check_ctx(ctx, expr) ((ctx != (isl_ctx *) 0) ? expr : NUL L)
#define isl_alloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\ #define isl_alloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\
malloc(size))) malloc(size)))
#define isl_calloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\ #define isl_calloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\
calloc(1, size))) calloc(1, size)))
#define isl_realloc(ctx,ptr,type,size) ((type *)isl_check_ctx(ctx,\ #define isl_realloc(ctx,ptr,type,size) ((type *)isl_check_ctx(ctx,\
realloc(ptr,size))) 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 ))
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added


 id.h   id.h 
#ifndef ISL_ID_H #ifndef ISL_ID_H
#define ISL_ID_H #define ISL_ID_H
#include <isl/ctx.h> #include <isl/ctx.h>
#include <isl/list.h>
#include <isl/printer.h> #include <isl/printer.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
struct isl_id; struct isl_id;
typedef struct isl_id isl_id; typedef struct isl_id isl_id;
ISL_DECLARE_LIST(id)
isl_ctx *isl_id_get_ctx(__isl_keep isl_id *id); isl_ctx *isl_id_get_ctx(__isl_keep isl_id *id);
__isl_give isl_id *isl_id_alloc(isl_ctx *ctx, __isl_give isl_id *isl_id_alloc(isl_ctx *ctx,
__isl_keep const char *name, void *user); __isl_keep const char *name, void *user);
__isl_give isl_id *isl_id_copy(isl_id *id); __isl_give isl_id *isl_id_copy(isl_id *id);
void *isl_id_free(__isl_take isl_id *id); void *isl_id_free(__isl_take isl_id *id);
void *isl_id_get_user(__isl_keep isl_id *id); void *isl_id_get_user(__isl_keep isl_id *id);
__isl_keep const char *isl_id_get_name(__isl_keep isl_id *id); __isl_keep const char *isl_id_get_name(__isl_keep isl_id *id);
 End of changes. 2 change blocks. 
0 lines changed or deleted 3 lines changed or added


 ilp.h   ilp.h 
skipping to change at line 15 skipping to change at line 15
* *
* 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/aff_type.h>
#include <isl/lp.h> #include <isl/lp.h>
#include <isl/val.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, enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset,
__isl_keep isl_aff *obj, isl_int *opt); __isl_keep isl_aff *obj, isl_int *opt);
__isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
__isl_keep isl_aff *obj);
enum isl_lp_result isl_set_min(__isl_keep isl_set *set, enum isl_lp_result isl_set_min(__isl_keep isl_set *set,
__isl_keep isl_aff *obj, isl_int *opt); __isl_keep isl_aff *obj, isl_int *opt);
enum isl_lp_result isl_set_max(__isl_keep isl_set *set, enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
__isl_keep isl_aff *obj, isl_int *opt); __isl_keep isl_aff *obj, isl_int *opt);
__isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
__isl_keep isl_aff *obj);
__isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,
__isl_keep isl_aff *obj);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 3 change blocks. 
0 lines changed or deleted 7 lines changed or added


 list.h   list.h 
skipping to change at line 20 skipping to change at line 20
#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> #include <isl/printer.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
#define ISL_DECLARE_LIST(EL) \ #define ISL_DECLARE_LIST_TYPE(EL) \
struct isl_##EL; \ struct isl_##EL; \
struct isl_##EL##_list; \ struct isl_##EL##_list; \
typedef struct isl_##EL##_list isl_##EL##_list; typedef struct isl_##EL##_list isl_##EL##_list;
\ #define ISL_DECLARE_LIST_FN(EL)
\
isl_ctx *isl_##EL##_list_get_ctx(__isl_keep isl_##EL##_list *list); \ isl_ctx *isl_##EL##_list_get_ctx(__isl_keep isl_##EL##_list *list); \
__isl_give isl_##EL##_list *isl_##EL##_list_from_##EL( \ __isl_give isl_##EL##_list *isl_##EL##_list_from_##EL( \
__isl_take struct isl_##EL *el); \ __isl_take struct isl_##EL *el); \
__isl_give isl_##EL##_list *isl_##EL##_list_alloc(isl_ctx *ctx, int n); \ __isl_give isl_##EL##_list *isl_##EL##_list_alloc(isl_ctx *ctx, int n); \
__isl_give isl_##EL##_list *isl_##EL##_list_copy( \ __isl_give isl_##EL##_list *isl_##EL##_list_copy( \
__isl_keep isl_##EL##_list *list); \ __isl_keep isl_##EL##_list *list); \
void *isl_##EL##_list_free(__isl_take 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_give isl_##EL##_list *isl_##EL##_list_add( \
__isl_take isl_##EL##_list *list, \ __isl_take isl_##EL##_list *list, \
__isl_take struct isl_##EL *el); \ __isl_take struct isl_##EL *el); \
skipping to change at line 51 skipping to change at line 52
__isl_take isl_##EL##_list *list2); \ __isl_take isl_##EL##_list *list2); \
int isl_##EL##_list_n_##EL(__isl_keep isl_##EL##_list *list); \ int isl_##EL##_list_n_##EL(__isl_keep isl_##EL##_list *list); \
__isl_give struct isl_##EL *isl_##EL##_list_get_##EL( \ __isl_give struct isl_##EL *isl_##EL##_list_get_##EL( \
__isl_keep isl_##EL##_list *list, int index); \ __isl_keep isl_##EL##_list *list, int index); \
__isl_give struct isl_##EL##_list *isl_##EL##_list_set_##EL( \ __isl_give struct isl_##EL##_list *isl_##EL##_list_set_##EL( \
__isl_take struct isl_##EL##_list *list, int index, \ __isl_take struct isl_##EL##_list *list, int index, \
__isl_take struct isl_##EL *el); \ __isl_take struct isl_##EL *el); \
int isl_##EL##_list_foreach(__isl_keep isl_##EL##_list *list, \ int isl_##EL##_list_foreach(__isl_keep isl_##EL##_list *list, \
int (*fn)(__isl_take struct isl_##EL *el, void *user), \ int (*fn)(__isl_take struct isl_##EL *el, void *user), \
void *user); \ void *user); \
__isl_give isl_##EL##_list *isl_##EL##_list_sort( \
__isl_take isl_##EL##_list *list, \
int (*cmp)(__isl_keep struct isl_##EL *a, \
__isl_keep struct isl_##EL *b, \
void *user), void *user); \
int isl_##EL##_list_foreach_scc(__isl_keep isl_##EL##_list *list, \
int (*follows)(__isl_keep struct isl_##EL *a, \
__isl_keep struct isl_##EL *b, void *user), \
void *follows_user, \
int (*fn)(__isl_take isl_##EL##_list *scc, void *user), \
void *fn_user); \
__isl_give isl_printer *isl_printer_print_##EL##_list( \ __isl_give isl_printer *isl_printer_print_##EL##_list( \
__isl_take isl_printer *p, __isl_keep isl_##EL##_list *list); \ __isl_take isl_printer *p, __isl_keep isl_##EL##_list *list); \
void isl_##EL##_list_dump(__isl_keep isl_##EL##_list *list); void isl_##EL##_list_dump(__isl_keep isl_##EL##_list *list);
ISL_DECLARE_LIST(id) #define ISL_DECLARE_LIST(EL) \
ISL_DECLARE_LIST(constraint) ISL_DECLARE_LIST_TYPE(EL) \
ISL_DECLARE_LIST(basic_set) ISL_DECLARE_LIST_FN(EL)
ISL_DECLARE_LIST(set)
ISL_DECLARE_LIST(aff)
ISL_DECLARE_LIST(pw_aff)
ISL_DECLARE_LIST(band)
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 4 change blocks. 
10 lines changed or deleted 18 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 MIT license * Use of this software is governed by the MIT 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/aff.h>
#include <isl/val.h>
#include <isl/int.h> #include <isl/int.h>
#include <isl/vec.h> #include <isl/vec.h>
#include <isl/map_type.h> #include <isl/map_type.h>
#include <isl/set_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
skipping to change at line 45 skipping to change at line 47
isl_int *opt_denom, isl_int *opt_denom,
struct isl_vec **sol); struct isl_vec **sol);
enum isl_lp_result isl_map_solve_lp(__isl_keep isl_map *map, int max, enum isl_lp_result isl_map_solve_lp(__isl_keep isl_map *map, int max,
isl_int *f, isl_int denom, isl_int *op t, isl_int *f, isl_int denom, isl_int *op t,
isl_int *opt_denom, isl_int *opt_denom,
struct isl_vec **sol); struct isl_vec **sol);
enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max, enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max,
isl_int *f, isl_int denom, isl_int *op t, isl_int *f, isl_int denom, isl_int *op t,
isl_int *opt_denom, isl_int *opt_denom,
struct isl_vec **sol); struct isl_vec **sol);
__isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset
,
__isl_keep isl_aff *obj);
__isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset
,
__isl_keep isl_aff *obj);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 2 change blocks. 
0 lines changed or deleted 8 lines changed or added


 map.h   map.h 
skipping to change at line 26 skipping to change at line 26
#include <isl/ctx.h> #include <isl/ctx.h>
#include <isl/blk.h> #include <isl/blk.h>
#include <isl/space.h> #include <isl/space.h>
#include <isl/vec.h> #include <isl/vec.h>
#include <isl/mat.h> #include <isl/mat.h>
#include <isl/printer.h> #include <isl/printer.h>
#include <isl/local_space.h> #include <isl/local_space.h>
#include <isl/aff_type.h> #include <isl/aff_type.h>
#include <isl/list.h> #include <isl/list.h>
#include <isl/map_type.h> #include <isl/map_type.h>
#include <isl/val.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
skipping to change at line 216 skipping to change at line 217
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);
__isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bm ap, __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_fix_val(__isl_take isl_basic_map *b
map,
enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
__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);
__isl_give isl_basic_map *isl_basic_map_upper_bound_si( __isl_give isl_basic_map *isl_basic_map_upper_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);
struct isl_map *isl_map_sum(struct isl_map *map1, struct isl_map *map2); struct isl_map *isl_map_sum(struct isl_map *map1, struct isl_map *map2);
struct isl_map *isl_map_neg(struct isl_map *map); struct isl_map *isl_map_neg(struct isl_map *map);
struct isl_map *isl_map_floordiv(struct isl_map *map, isl_int d); struct isl_map *isl_map_floordiv(struct isl_map *map, isl_int d);
__isl_give isl_map *isl_map_floordiv_val(__isl_take isl_map *map,
__isl_take isl_val *d);
__isl_export __isl_export
int isl_basic_map_is_equal( int isl_basic_map_is_equal(
__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap1,
__isl_keep isl_basic_map *bmap2); __isl_keep isl_basic_map *bmap2);
__isl_give isl_map *isl_basic_map_partial_lexmax( __isl_give isl_map *isl_basic_map_partial_lexmax(
__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *do m, __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *do m,
__isl_give isl_set **empty); __isl_give isl_set **empty);
__isl_give isl_map *isl_basic_map_partial_lexmin( __isl_give isl_map *isl_basic_map_partial_lexmin(
skipping to change at line 280 skipping to change at line 285
void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap,
FILE *out, int indent); FILE *out, int indent);
struct isl_basic_map *isl_map_copy_basic_map(struct isl_map *map); struct isl_basic_map *isl_map_copy_basic_map(struct isl_map *map);
__isl_give isl_map *isl_map_drop_basic_map(__isl_take isl_map *map, __isl_give isl_map *isl_map_drop_basic_map(__isl_take isl_map *map,
__isl_keep isl_basic_map *bm ap); __isl_keep isl_basic_map *bm ap);
int isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap, int isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap,
enum isl_dim_type type, unsigned pos, isl_int *val); enum isl_dim_type type, unsigned pos, isl_int *val);
__isl_give isl_val *isl_basic_map_plain_get_val_if_fixed(
__isl_keep isl_basic_map *bmap,
enum isl_dim_type type, unsigned pos);
int isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap); int isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap);
int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap); int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap);
int isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap); int isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap); int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap);
__isl_export __isl_export
int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap); int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
__isl_export __isl_export
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);
skipping to change at line 344 skipping to change at line 352
__isl_take isl_map *map, __isl_take isl_map *map,
__isl_take isl_set *set); __isl_take isl_set *set);
__isl_export __isl_export
__isl_give isl_map *isl_map_apply_domain( __isl_give isl_map *isl_map_apply_domain(
__isl_take isl_map *map1, __isl_take isl_map *map1,
__isl_take isl_map *map2); __isl_take isl_map *map2);
__isl_export __isl_export
__isl_give isl_map *isl_map_apply_range( __isl_give isl_map *isl_map_apply_range(
__isl_take isl_map *map1, __isl_take isl_map *map1,
__isl_take isl_map *map2); __isl_take isl_map *map2);
__isl_give isl_map *isl_map_preimage_domain_multi_aff(__isl_take isl_map *m
ap,
__isl_take isl_multi_aff *ma);
__isl_give isl_basic_map *isl_basic_map_product( __isl_give isl_basic_map *isl_basic_map_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_product(__isl_take isl_map *map1, __isl_give isl_map *isl_map_product(__isl_take isl_map *map1,
__isl_take isl_map *map2); __isl_take isl_map *map2);
__isl_give isl_basic_map *isl_basic_map_domain_product( __isl_give isl_basic_map *isl_basic_map_domain_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_basic_map *isl_basic_map_range_product( __isl_give isl_basic_map *isl_basic_map_range_product(
__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
__isl_give isl_map *isl_map_domain_product(__isl_take isl_map *map1, __isl_give isl_map *isl_map_domain_product(__isl_take isl_map *map1,
__isl_take isl_map *map2); __isl_take isl_map *map2);
skipping to change at line 388 skipping to change at line 398
__isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map, __isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map,
__isl_take isl_set *dom); __isl_take isl_set *dom);
__isl_export __isl_export
__isl_give isl_map *isl_map_complement(__isl_take isl_map *map); __isl_give isl_map *isl_map_complement(__isl_take isl_map *map);
struct isl_map *isl_map_fix_input_si(struct isl_map *map, struct isl_map *isl_map_fix_input_si(struct isl_map *map,
unsigned input, int value); unsigned input, int value);
__isl_give isl_map *isl_map_fix(__isl_take isl_map *map, __isl_give isl_map *isl_map_fix(__isl_take isl_map *map,
enum isl_dim_type type, unsigned pos, isl_int value); enum isl_dim_type type, unsigned pos, isl_int value);
__isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map, __isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map,
enum isl_dim_type type, unsigned pos, int value); enum isl_dim_type type, unsigned pos, int value);
__isl_give isl_map *isl_map_fix_val(__isl_take isl_map *map,
enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
__isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map, __isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map,
enum isl_dim_type type, unsigned pos, int value); enum isl_dim_type type, unsigned pos, int value);
__isl_give isl_map *isl_map_upper_bound_si(__isl_take isl_map *map, __isl_give isl_map *isl_map_upper_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_export __isl_export
__isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bm ap); __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bm ap);
__isl_export __isl_export
__isl_give isl_set *isl_map_deltas(__isl_take isl_map *map); __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map);
__isl_give isl_basic_map *isl_basic_map_deltas_map( __isl_give isl_basic_map *isl_basic_map_deltas_map(
__isl_take isl_basic_map *bmap); __isl_take isl_basic_map *bmap);
skipping to change at line 453 skipping to change at line 465
__isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bm ap, __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bm ap,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 ); enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 );
__isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map * bmap, __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map * bmap,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 ); enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 );
__isl_give isl_map *isl_map_equate(__isl_take isl_map *map, __isl_give isl_map *isl_map_equate(__isl_take isl_map *map,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 ); enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 );
__isl_give isl_map *isl_map_oppose(__isl_take isl_map *map, __isl_give isl_map *isl_map_oppose(__isl_take isl_map *map,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 ); enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 );
__isl_give isl_map *isl_map_order_lt(__isl_take isl_map *map, __isl_give isl_map *isl_map_order_lt(__isl_take isl_map *map,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 ); enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 );
__isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *
bmap,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2
);
__isl_give isl_map *isl_map_order_gt(__isl_take isl_map *map, __isl_give isl_map *isl_map_order_gt(__isl_take isl_map *map,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 ); enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 );
__isl_export __isl_export
__isl_give isl_map *isl_set_identity(__isl_take isl_set *set); __isl_give isl_map *isl_set_identity(__isl_take isl_set *set);
__isl_export __isl_export
int isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset); int isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset);
__isl_export __isl_export
int isl_set_is_wrapping(__isl_keep isl_set *set); int isl_set_is_wrapping(__isl_keep isl_set *set);
skipping to change at line 554 skipping to change at line 568
int isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap); int isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap);
int isl_map_can_uncurry(__isl_keep isl_map *map); int isl_map_can_uncurry(__isl_keep isl_map *map);
__isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *b map); __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *b map);
__isl_give isl_map *isl_map_uncurry(__isl_take isl_map *map); __isl_give isl_map *isl_map_uncurry(__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);
__isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims(
__isl_take isl_basic_map *bmap,
enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_map *isl_map_drop_constraints_involving_dims( __isl_give isl_map *isl_map_drop_constraints_involving_dims(
__isl_take isl_map *map, __isl_take isl_map *map,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
int isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, int isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
int isl_map_involves_dims(__isl_keep isl_map *map, int isl_map_involves_dims(__isl_keep isl_map *map,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent) ; void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent) ;
int isl_map_plain_input_is_fixed(__isl_keep isl_map *map, int isl_map_plain_input_is_fixed(__isl_keep isl_map *map,
unsigned in, isl_int *val); unsigned in, isl_int *val);
int isl_map_plain_is_fixed(__isl_keep isl_map *map, int isl_map_plain_is_fixed(__isl_keep isl_map *map,
enum isl_dim_type type, unsigned pos, isl_int *val); enum isl_dim_type type, unsigned pos, isl_int *val);
int isl_map_fast_is_fixed(__isl_keep isl_map *map, int isl_map_fast_is_fixed(__isl_keep isl_map *map,
enum isl_dim_type type, unsigned pos, isl_int *val); enum isl_dim_type type, unsigned pos, isl_int *val);
__isl_give isl_val *isl_map_plain_get_val_if_fixed(__isl_keep isl_map *map,
enum isl_dim_type type, unsigned pos);
__isl_export __isl_export
__isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap , __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap ,
__isl_take isl_basic_map *context); __isl_take isl_basic_map *context);
__isl_export __isl_export
__isl_give isl_map *isl_map_gist(__isl_take isl_map *map, __isl_give isl_map *isl_map_gist(__isl_take isl_map *map,
__isl_take isl_map *context); __isl_take isl_map *context);
__isl_export __isl_export
__isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map, __isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map,
__isl_take isl_set *context); __isl_take isl_set *context);
skipping to change at line 603 skipping to change at line 622
uint32_t isl_map_get_hash(__isl_keep isl_map *map); uint32_t isl_map_get_hash(__isl_keep isl_map *map);
__isl_export __isl_export
int isl_map_foreach_basic_map(__isl_keep isl_map *map, int isl_map_foreach_basic_map(__isl_keep isl_map *map,
int (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user); int (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user);
__isl_give isl_map *isl_set_lifting(__isl_take isl_set *set); __isl_give isl_map *isl_set_lifting(__isl_take isl_set *set);
__isl_give isl_map *isl_map_fixed_power(__isl_take isl_map *map, isl_int ex p); __isl_give isl_map *isl_map_fixed_power(__isl_take isl_map *map, isl_int ex p);
__isl_give isl_map *isl_map_fixed_power_val(__isl_take isl_map *map,
__isl_take isl_val *exp);
__isl_give isl_map *isl_map_power(__isl_take isl_map *map, int *exact); __isl_give isl_map *isl_map_power(__isl_take isl_map *map, int *exact);
__isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map, __isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map,
int *exact); int *exact);
__isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map, __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map,
int *exact); int *exact);
__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);
 End of changes. 10 change blocks. 
0 lines changed or deleted 25 lines changed or added


 map_type.h   map_type.h 
#ifndef ISL_MAP_TYPE_H #ifndef ISL_MAP_TYPE_H
#define ISL_MAP_TYPE_H #define ISL_MAP_TYPE_H
#include <isl/ctx.h> #include <isl/ctx.h>
#include <isl/list.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
struct __isl_subclass(isl_map) isl_basic_map; struct __isl_subclass(isl_map) isl_basic_map;
typedef struct isl_basic_map isl_basic_map; typedef struct isl_basic_map isl_basic_map;
struct __isl_subclass(isl_union_map) isl_map; struct __isl_subclass(isl_union_map) isl_map;
typedef struct isl_map isl_map; typedef struct isl_map isl_map;
#ifndef isl_basic_set #ifndef isl_basic_set
struct __isl_subclass(isl_set) isl_basic_set; struct __isl_subclass(isl_set) isl_basic_set;
typedef struct isl_basic_set isl_basic_set; typedef struct isl_basic_set isl_basic_set;
ISL_DECLARE_LIST_TYPE(basic_set)
#endif #endif
#ifndef isl_set #ifndef isl_set
struct __isl_subclass(isl_union_set) isl_set; struct __isl_subclass(isl_union_set) isl_set;
typedef struct isl_set isl_set; typedef struct isl_set isl_set;
ISL_DECLARE_LIST_TYPE(set)
#endif #endif
ISL_DECLARE_LIST_FN(basic_set)
ISL_DECLARE_LIST_FN(set)
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 5 change blocks. 
0 lines changed or deleted 7 lines changed or added


 mat.h   mat.h 
skipping to change at line 19 skipping to change at line 19
#ifndef ISL_MAT_H #ifndef ISL_MAT_H
#define ISL_MAT_H #define ISL_MAT_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/vec.h> #include <isl/vec.h>
#include <isl/val.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_ctx *isl_mat_get_ctx(__isl_keep isl_mat *mat);
__isl_give isl_mat *isl_mat_alloc(isl_ctx *ctx, __isl_give isl_mat *isl_mat_alloc(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_val *isl_mat_get_element_val(__isl_keep isl_mat *mat,
int row, int col);
__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, __isl_give isl_mat *isl_mat_set_element_si(__isl_take isl_mat *mat,
int row, int col, int v); int row, int col, int v);
__isl_give isl_mat *isl_mat_set_element_val(__isl_take isl_mat *mat,
int row, int col, __isl_take isl_val *v);
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);
__isl_give isl_mat *isl_mat_diagonal(__isl_take isl_mat *mat1, __isl_give isl_mat *isl_mat_diagonal(__isl_take isl_mat *mat1,
__isl_take isl_mat *mat2); __isl_take isl_mat *mat2);
struct isl_mat *isl_mat_left_hermite(struct isl_mat *M, struct isl_mat *isl_mat_left_hermite(struct isl_mat *M,
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 __isl_give isl_mat *isl_mat_product(__isl_take isl_mat *left,
); __isl_take 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_scale_down_row(__isl_take isl_mat *mat, int row , __isl_give isl_mat *isl_mat_scale_down_row(__isl_take isl_mat *mat, int row ,
isl_int m); isl_int m);
__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) ; __isl_give isl_mat *isl_mat_normalize_row(__isl_take isl_mat *mat, int row) ;
 End of changes. 5 change blocks. 
3 lines changed or deleted 8 lines changed or added


 multi.h   multi.h 
#ifndef ISL_MULTI_H #ifndef ISL_MULTI_H
#define ISL_MULTI_H #define ISL_MULTI_H
#include <isl/space.h>
#include <isl/list.h> #include <isl/list.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
#define ISL_DECLARE_MULTI(BASE) \ #define ISL_DECLARE_MULTI(BASE) \
unsigned isl_multi_##BASE##_dim(__isl_keep isl_multi_##BASE *multi, \
enum isl_dim_type type); \
isl_ctx *isl_multi_##BASE##_get_ctx( \
__isl_keep isl_multi_##BASE *multi); \
__isl_give isl_space *isl_multi_##BASE##_get_space( \
__isl_keep isl_multi_##BASE *multi); \
__isl_give isl_space *isl_multi_##BASE##_get_domain_space( \
__isl_keep isl_multi_##BASE *multi); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_from_##BASE##_list( \ __isl_give isl_multi_##BASE *isl_multi_##BASE##_from_##BASE##_list( \
__isl_take isl_space *space, __isl_take isl_##BASE##_list *list); \ __isl_take isl_space *space, __isl_take isl_##BASE##_list *list); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_zero( \
__isl_take isl_space *space); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_copy( \
__isl_keep isl_multi_##BASE *multi); \
void *isl_multi_##BASE##_free(__isl_take isl_multi_##BASE *multi); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_set_dim_name( \
__isl_take isl_multi_##BASE *multi, \
enum isl_dim_type type, unsigned pos, const char *s); \
const char *isl_multi_##BASE##_get_tuple_name( \ const char *isl_multi_##BASE##_get_tuple_name( \
__isl_keep isl_multi_##BASE *multi, enum isl_dim_type type); \ __isl_keep isl_multi_##BASE *multi, enum isl_dim_type type); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_set_tuple_name(
\
__isl_take isl_multi_##BASE *multi, \
enum isl_dim_type type, const char *s); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_set_tuple_id( \
__isl_take isl_multi_##BASE *multi, \
enum isl_dim_type type, __isl_take isl_id *id); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_insert_dims( \
__isl_take isl_multi_##BASE *multi, enum isl_dim_type type, \
unsigned first, unsigned n); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_add_dims( \
__isl_take isl_multi_##BASE *multi, enum isl_dim_type type, \
unsigned n); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_drop_dims( \
__isl_take isl_multi_##BASE *multi, enum isl_dim_type type, \
unsigned first, unsigned n); \
__isl_give isl_##BASE *isl_multi_##BASE##_get_##BASE( \
__isl_keep isl_multi_##BASE *multi, int pos); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_set_##BASE( \ __isl_give isl_multi_##BASE *isl_multi_##BASE##_set_##BASE( \
__isl_take isl_multi_##BASE *multi, int pos, \ __isl_take isl_multi_##BASE *multi, int pos, \
__isl_take isl_##BASE *el); __isl_take isl_##BASE *el); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_range_splice( \
ISL_DECLARE_MULTI(aff) __isl_take isl_multi_##BASE *multi1, unsigned pos, \
ISL_DECLARE_MULTI(pw_aff) __isl_take isl_multi_##BASE *multi2); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_splice(
\
__isl_take isl_multi_##BASE *multi1, unsigned in_pos, \
unsigned out_pos, __isl_take isl_multi_##BASE *multi2); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_flat_range_product( \
__isl_take isl_multi_##BASE *multi1, \
__isl_take isl_multi_##BASE *multi2); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_range_product( \
__isl_take isl_multi_##BASE *multi1, \
__isl_take isl_multi_##BASE *multi2); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_scale_val( \
__isl_take isl_multi_##BASE *multi, __isl_take isl_val *v); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_scale_multi_val( \
__isl_take isl_multi_##BASE *multi, \
__isl_take isl_multi_val *mv); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_align_params( \
__isl_take isl_multi_##BASE *multi, \
__isl_take isl_space *model);
#if defined(__cplusplus) #if defined(__cplusplus)
} }
#endif #endif
#endif #endif
 End of changes. 5 change blocks. 
4 lines changed or deleted 57 lines changed or added


 obj.h   obj.h 
skipping to change at line 26 skipping to change at line 26
void *(*copy)(void *v1); void *(*copy)(void *v1);
void *(*add)(void *v1, void *v2); void *(*add)(void *v1, void *v2);
__isl_give isl_printer *(*print)(__isl_take isl_printer *p, void *v) ; __isl_give isl_printer *(*print)(__isl_take isl_printer *p, void *v) ;
void (*free)(void *v); void (*free)(void *v);
}; };
typedef struct isl_obj_vtable *isl_obj_type; typedef struct isl_obj_vtable *isl_obj_type;
extern struct isl_obj_vtable isl_obj_none_vtable; extern struct isl_obj_vtable isl_obj_none_vtable;
#define isl_obj_none (&isl_obj_none_vtable) #define isl_obj_none (&isl_obj_none_vtable)
extern struct isl_obj_vtable isl_obj_int_vtable; extern struct isl_obj_vtable isl_obj_int_vtable;
#define isl_obj_int (&isl_obj_int_vtable) #define isl_obj_int (&isl_obj_int_vtable)
extern struct isl_obj_vtable isl_obj_val_vtable;
#define isl_obj_val (&isl_obj_val_vtable)
extern struct isl_obj_vtable isl_obj_set_vtable; extern struct isl_obj_vtable isl_obj_set_vtable;
#define isl_obj_set (&isl_obj_set_vtable) #define isl_obj_set (&isl_obj_set_vtable)
extern struct isl_obj_vtable isl_obj_union_set_vtable; extern struct isl_obj_vtable isl_obj_union_set_vtable;
#define isl_obj_union_set (&isl_obj_union_set_vtable) #define isl_obj_union_set (&isl_obj_union_set_vtable)
extern struct isl_obj_vtable isl_obj_map_vtable; extern struct isl_obj_vtable isl_obj_map_vtable;
#define isl_obj_map (&isl_obj_map_vtable) #define isl_obj_map (&isl_obj_map_vtable)
extern struct isl_obj_vtable isl_obj_union_map_vtable; extern struct isl_obj_vtable isl_obj_union_map_vtable;
#define isl_obj_union_map (&isl_obj_union_map_vtable) #define isl_obj_union_map (&isl_obj_union_map_vtable)
extern struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable; extern struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable;
#define isl_obj_pw_qpolynomial (&isl_obj_pw_qpolynomial_vtable) #define isl_obj_pw_qpolynomial (&isl_obj_pw_qpolynomial_vtable)
 End of changes. 1 change blocks. 
0 lines changed or deleted 2 lines changed or added


 point.h   point.h 
#ifndef ISL_POINT_H #ifndef ISL_POINT_H
#define ISL_POINT_H #define ISL_POINT_H
#include <stdio.h> #include <stdio.h>
#include <isl/space.h> #include <isl/space.h>
#include <isl/val.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_ctx *isl_point_get_ctx(__isl_keep isl_point *pnt);
__isl_give isl_space *isl_point_get_space(__isl_keep isl_point *pnt); __isl_give isl_space *isl_point_get_space(__isl_keep isl_point *pnt);
__isl_give isl_point *isl_point_zero(__isl_take isl_space *dim); __isl_give isl_point *isl_point_zero(__isl_take isl_space *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);
int isl_point_get_coordinate(__isl_keep isl_point *pnt, int 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_val *isl_point_get_coordinate_val(__isl_keep isl_point *pnt,
enum isl_dim_type type, int pos);
__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_set_coordinate_val(__isl_take isl_point *pn
t,
enum isl_dim_type type, int pos, __isl_take isl_val *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,
enum isl_dim_type type, int pos, unsigned val); enum isl_dim_type type, int pos, unsigned val);
__isl_give isl_point *isl_point_sub_ui(__isl_take isl_point *pnt, __isl_give isl_point *isl_point_sub_ui(__isl_take isl_point *pnt,
enum isl_dim_type type, int pos, unsigned val); enum isl_dim_type type, int pos, unsigned val);
__isl_give isl_point *isl_point_void(__isl_take isl_space *dim); __isl_give isl_point *isl_point_void(__isl_take isl_space *dim);
int isl_point_is_void(__isl_keep isl_point *pnt); int isl_point_is_void(__isl_keep isl_point *pnt);
__isl_give isl_printer *isl_printer_print_point( __isl_give isl_printer *isl_printer_print_point(
 End of changes. 3 change blocks. 
0 lines changed or deleted 6 lines changed or added


 polynomial.h   polynomial.h 
skipping to change at line 13 skipping to change at line 13
#include <isl/ctx.h> #include <isl/ctx.h>
#include <isl/constraint.h> #include <isl/constraint.h>
#include <isl/space.h> #include <isl/space.h>
#include <isl/set_type.h> #include <isl/set_type.h>
#include <isl/point.h> #include <isl/point.h>
#include <isl/printer.h> #include <isl/printer.h>
#include <isl/union_set_type.h> #include <isl/union_set_type.h>
#include <isl/aff_type.h> #include <isl/aff_type.h>
#include <isl/polynomial_type.h> #include <isl/polynomial_type.h>
#include <isl/val.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
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_space *isl_qpolynomial_get_domain_space( __isl_give isl_space *isl_qpolynomial_get_domain_space(
__isl_keep isl_qpolynomial *qp); __isl_keep isl_qpolynomial *qp);
__isl_give isl_space *isl_qpolynomial_get_space(__isl_keep isl_qpolynomial *qp); __isl_give isl_space *isl_qpolynomial_get_space(__isl_keep isl_qpolynomial *qp);
unsigned isl_qpolynomial_dim(__isl_keep isl_qpolynomial *qp, unsigned isl_qpolynomial_dim(__isl_keep isl_qpolynomial *qp,
enum isl_dim_type type); enum isl_dim_type type);
int isl_qpolynomial_involves_dims(__isl_keep isl_qpolynomial *qp, int isl_qpolynomial_involves_dims(__isl_keep isl_qpolynomial *qp,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_val *isl_qpolynomial_get_constant_val(
__isl_keep isl_qpolynomial *qp);
__isl_give isl_qpolynomial *isl_qpolynomial_set_dim_name( __isl_give isl_qpolynomial *isl_qpolynomial_set_dim_name(
__isl_take isl_qpolynomial *qp, __isl_take isl_qpolynomial *qp,
enum isl_dim_type type, unsigned pos, const char *s); enum isl_dim_type type, unsigned pos, const char *s);
__isl_give isl_qpolynomial *isl_qpolynomial_zero_on_domain(__isl_take isl_s pace *dim); __isl_give isl_qpolynomial *isl_qpolynomial_zero_on_domain(__isl_take isl_s pace *dim);
__isl_give isl_qpolynomial *isl_qpolynomial_one_on_domain(__isl_take isl_sp ace *dim); __isl_give isl_qpolynomial *isl_qpolynomial_one_on_domain(__isl_take isl_sp ace *dim);
__isl_give isl_qpolynomial *isl_qpolynomial_infty_on_domain(__isl_take isl_ space *dim); __isl_give isl_qpolynomial *isl_qpolynomial_infty_on_domain(__isl_take isl_ space *dim);
__isl_give isl_qpolynomial *isl_qpolynomial_neginfty_on_domain(__isl_take i sl_space *dim); __isl_give isl_qpolynomial *isl_qpolynomial_neginfty_on_domain(__isl_take i sl_space *dim);
__isl_give isl_qpolynomial *isl_qpolynomial_nan_on_domain(__isl_take isl_sp ace *dim); __isl_give isl_qpolynomial *isl_qpolynomial_nan_on_domain(__isl_take isl_sp ace *dim);
__isl_give isl_qpolynomial *isl_qpolynomial_rat_cst_on_domain(__isl_take is l_space *dim, __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst_on_domain(__isl_take is l_space *dim,
const isl_int n, const isl_int d); const isl_int n, const isl_int d);
__isl_give isl_qpolynomial *isl_qpolynomial_val_on_domain(
__isl_take isl_space *space, __isl_take isl_val *val);
__isl_give isl_qpolynomial *isl_qpolynomial_var_on_domain(__isl_take isl_sp ace *dim, __isl_give isl_qpolynomial *isl_qpolynomial_var_on_domain(__isl_take isl_sp ace *dim,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
__isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp); __isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp);
void *isl_qpolynomial_free(__isl_take isl_qpolynomial *qp); void *isl_qpolynomial_free(__isl_take isl_qpolynomial *qp);
int isl_qpolynomial_plain_is_equal(__isl_keep isl_qpolynomial *qp1, int isl_qpolynomial_plain_is_equal(__isl_keep isl_qpolynomial *qp1,
__isl_keep isl_qpolynomial *qp2); __isl_keep isl_qpolynomial *qp2);
int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp); int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp);
int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp); int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp);
int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp); int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp);
skipping to change at line 69 skipping to change at line 75
__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_give isl_qpolynomial *isl_qpolynomial_scale(
__isl_take isl_qpolynomial *qp, isl_int v); __isl_take isl_qpolynomial *qp, isl_int v);
__isl_give isl_qpolynomial *isl_qpolynomial_scale_val(
__isl_take isl_qpolynomial *qp, __isl_take isl_val *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 109 skipping to change at line 117
__isl_take isl_qpolynomial *qp, __isl_take isl_space *model); __isl_take isl_qpolynomial *qp, __isl_take isl_space *model);
isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term); isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term);
__isl_give isl_term *isl_term_copy(__isl_keep isl_term *term); __isl_give isl_term *isl_term_copy(__isl_keep isl_term *term);
void isl_term_free(__isl_take isl_term *term); void isl_term_free(__isl_take isl_term *term);
unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type); unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type);
void isl_term_get_num(__isl_keep isl_term *term, isl_int *n); void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
void isl_term_get_den(__isl_keep isl_term *term, isl_int *d); void isl_term_get_den(__isl_keep isl_term *term, isl_int *d);
__isl_give isl_val *isl_term_get_coefficient_val(__isl_keep isl_term *term) ;
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_aff *isl_term_get_div(__isl_keep isl_term *term, unsigned po s); __isl_give isl_aff *isl_term_get_div(__isl_keep isl_term *term, unsigned po s);
int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp, int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp,
int (*fn)(__isl_take isl_term *term, void *user), void *user); int (*fn)(__isl_take isl_term *term, void *user), void *user);
__isl_give isl_qpolynomial *isl_qpolynomial_eval( __isl_give isl_qpolynomial *isl_qpolynomial_eval(
__isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt); __isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt);
skipping to change at line 201 skipping to change at line 210
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint(
__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp1,
__isl_take isl_pw_qpolynomial *pwqp2); __isl_take isl_pw_qpolynomial *pwqp2);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg(
__isl_take isl_pw_qpolynomial *pwqp); __isl_take isl_pw_qpolynomial *pwqp);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul(
__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp1,
__isl_take isl_pw_qpolynomial *pwqp2); __isl_take isl_pw_qpolynomial *pwqp2);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul_isl_int( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul_isl_int(
__isl_take isl_pw_qpolynomial *pwqp, isl_int v); __isl_take isl_pw_qpolynomial *pwqp, isl_int v);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_scale_val(
__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_val *v);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_pow( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_pow(
__isl_take isl_pw_qpolynomial *pwqp, unsigned exponent); __isl_take isl_pw_qpolynomial *pwqp, unsigned exponent);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_insert_dims( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_insert_dims(
__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, __isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type,
unsigned first, unsigned n); unsigned first, unsigned n);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_dims( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_dims(
__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_pw_qpolynomial *pwqp,
enum isl_dim_type type, unsigned n); enum isl_dim_type type, unsigned n);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move_dims( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move_dims(
__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_pw_qpolynomial *pwqp,
enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type dst_type, unsigned dst_pos,
enum isl_dim_type src_type, unsigned src_pos, unsigned n); enum isl_dim_type src_type, unsigned src_pos, unsigned n);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_fix_dim( __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_fix_dim(
__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_pw_qpolynomial *pwqp,
enum isl_dim_type type, unsigned n, isl_int v); enum isl_dim_type type, unsigned n, isl_int v);
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_fix_val(
__isl_take isl_pw_qpolynomial *pwqp,
enum isl_dim_type type, unsigned n, __isl_take isl_val *v);
__isl_give isl_qpolynomial *isl_pw_qpolynomial_eval( __isl_give isl_qpolynomial *isl_pw_qpolynomial_eval(
__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_point *pnt); __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_point *pnt);
__isl_give isl_qpolynomial *isl_pw_qpolynomial_max( __isl_give isl_qpolynomial *isl_pw_qpolynomial_max(
__isl_take isl_pw_qpolynomial *pwqp); __isl_take isl_pw_qpolynomial *pwqp);
__isl_give isl_qpolynomial *isl_pw_qpolynomial_min( __isl_give isl_qpolynomial *isl_pw_qpolynomial_min(
__isl_take isl_pw_qpolynomial *pwqp); __isl_take isl_pw_qpolynomial *pwqp);
int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp, int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp,
skipping to change at line 288 skipping to change at line 302
__isl_keep isl_qpolynomial_fold *fold); __isl_keep isl_qpolynomial_fold *fold);
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold( __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
__isl_take isl_qpolynomial_fold *fold1, __isl_take isl_qpolynomial_fold *fold1,
__isl_take isl_qpolynomial_fold *fold2); __isl_take isl_qpolynomial_fold *fold2);
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int( __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int(
__isl_take isl_qpolynomial_fold *fold, isl_int v); __isl_take isl_qpolynomial_fold *fold, isl_int v);
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale( __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale(
__isl_take isl_qpolynomial_fold *fold, isl_int v); __isl_take isl_qpolynomial_fold *fold, isl_int v);
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale_val(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *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 374 skipping to change at line 390
__isl_take isl_pw_qpolynomial_fold *pwf1, __isl_take isl_pw_qpolynomial_fold *pwf1,
__isl_take isl_pw_qpolynomial_fold *pwf2); __isl_take isl_pw_qpolynomial_fold *pwf2);
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fold( __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fold(
__isl_take isl_pw_qpolynomial_fold *pwf1, __isl_take isl_pw_qpolynomial_fold *pwf1,
__isl_take isl_pw_qpolynomial_fold *pwf2); __isl_take isl_pw_qpolynomial_fold *pwf2);
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint( __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint(
__isl_take isl_pw_qpolynomial_fold *pwf1, __isl_take isl_pw_qpolynomial_fold *pwf1,
__isl_take isl_pw_qpolynomial_fold *pwf2); __isl_take isl_pw_qpolynomial_fold *pwf2);
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_mul_isl_int( __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_mul_isl_int(
__isl_take isl_pw_qpolynomial_fold *pwf, isl_int v); __isl_take isl_pw_qpolynomial_fold *pwf, isl_int v);
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_scale_val(
__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_val *v);
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_project_domain_ on_params( __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_project_domain_ on_params(
__isl_take isl_pw_qpolynomial_fold *pwf); __isl_take isl_pw_qpolynomial_fold *pwf);
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_drop_dims( __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_drop_dims(
__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_pw_qpolynomial_fold *pwf,
enum isl_dim_type type, unsigned first, unsigned n); enum isl_dim_type type, unsigned first, unsigned n);
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_move_dims( __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_move_dims(
__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_pw_qpolynomial_fold *pwf,
enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type dst_type, unsigned dst_pos,
enum isl_dim_type src_type, unsigned src_pos, unsigned n); enum isl_dim_type src_type, unsigned src_pos, unsigned n);
skipping to change at line 465 skipping to change at line 483
__isl_take isl_union_pw_qpolynomial *upwqp1, __isl_take isl_union_pw_qpolynomial *upwqp1,
__isl_take isl_union_pw_qpolynomial *upwqp2); __isl_take isl_union_pw_qpolynomial *upwqp2);
__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sub( __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sub(
__isl_take isl_union_pw_qpolynomial *upwqp1, __isl_take isl_union_pw_qpolynomial *upwqp1,
__isl_take isl_union_pw_qpolynomial *upwqp2); __isl_take isl_union_pw_qpolynomial *upwqp2);
__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul( __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul(
__isl_take isl_union_pw_qpolynomial *upwqp1, __isl_take isl_union_pw_qpolynomial *upwqp1,
__isl_take isl_union_pw_qpolynomial *upwqp2); __isl_take isl_union_pw_qpolynomial *upwqp2);
__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul_isl_int( __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul_isl_int(
__isl_take isl_union_pw_qpolynomial *upwqp, isl_int v); __isl_take isl_union_pw_qpolynomial *upwqp, isl_int v);
__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_scale_val(
__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_val *v);
__isl_give isl_union_set *isl_union_pw_qpolynomial_domain( __isl_give isl_union_set *isl_union_pw_qpolynomial_domain(
__isl_take isl_union_pw_qpolynomial *upwqp); __isl_take isl_union_pw_qpolynomial *upwqp);
__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_dom ain( __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_dom ain(
__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_pw_qpolynomial *upwpq,
__isl_take isl_union_set *uset); __isl_take isl_union_set *uset);
__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_par ams( __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_intersect_par ams(
__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_pw_qpolynomial *upwpq,
__isl_take isl_set *set); __isl_take isl_set *set);
skipping to change at line 529 skipping to change at line 549
__isl_keep isl_union_pw_qpolynomial_fold *upwf); __isl_keep isl_union_pw_qpolynomial_fold *upwf);
__isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fol d( __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fol d(
__isl_take isl_union_pw_qpolynomial_fold *upwf1, __isl_take isl_union_pw_qpolynomial_fold *upwf1,
__isl_take isl_union_pw_qpolynomial_fold *upwf2); __isl_take isl_union_pw_qpolynomial_fold *upwf2);
__isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_add _union_pw_qpolynomial( __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_add _union_pw_qpolynomial(
__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_pw_qpolynomial_fold *upwf,
__isl_take isl_union_pw_qpolynomial *upwqp); __isl_take isl_union_pw_qpolynomial *upwqp);
__isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_mul _isl_int( __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_mul _isl_int(
__isl_take isl_union_pw_qpolynomial_fold *upwf, isl_int v); __isl_take isl_union_pw_qpolynomial_fold *upwf, isl_int v);
__isl_give isl_union_pw_qpolynomial_fold *
isl_union_pw_qpolynomial_fold_scale_val(
__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_val *
v);
__isl_give isl_union_set *isl_union_pw_qpolynomial_fold_domain( __isl_give isl_union_set *isl_union_pw_qpolynomial_fold_domain(
__isl_take isl_union_pw_qpolynomial_fold *upwf); __isl_take isl_union_pw_qpolynomial_fold *upwf);
__isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_int ersect_domain( __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_int ersect_domain(
__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_pw_qpolynomial_fold *upwf,
__isl_take isl_union_set *uset); __isl_take isl_union_set *uset);
__isl_give isl_union_pw_qpolynomial_fold * __isl_give isl_union_pw_qpolynomial_fold *
isl_union_pw_qpolynomial_fold_intersect_params( isl_union_pw_qpolynomial_fold_intersect_params(
__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_pw_qpolynomial_fold *upwf,
__isl_take isl_set *set); __isl_take isl_set *set);
 End of changes. 11 change blocks. 
0 lines changed or deleted 24 lines changed or added


 set.h   set.h 
skipping to change at line 19 skipping to change at line 19
#ifndef ISL_SET_H #ifndef ISL_SET_H
#define ISL_SET_H #define ISL_SET_H
#include <isl/map_type.h> #include <isl/map_type.h>
#include <isl/aff_type.h> #include <isl/aff_type.h>
#include <isl/list.h> #include <isl/list.h>
#include <isl/mat.h> #include <isl/mat.h>
#include <isl/point.h> #include <isl/point.h>
#include <isl/local_space.h> #include <isl/local_space.h>
#include <isl/val.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
unsigned isl_basic_set_n_dim(__isl_keep isl_basic_set *bset); unsigned isl_basic_set_n_dim(__isl_keep isl_basic_set *bset);
unsigned isl_basic_set_n_param(__isl_keep isl_basic_set *bset); unsigned isl_basic_set_n_param(__isl_keep isl_basic_set *bset);
unsigned isl_basic_set_total_dim(const struct isl_basic_set *bset); unsigned isl_basic_set_total_dim(const struct isl_basic_set *bset);
unsigned isl_basic_set_dim(__isl_keep isl_basic_set *bset, unsigned isl_basic_set_dim(__isl_keep isl_basic_set *bset,
enum isl_dim_type type); enum isl_dim_type type);
skipping to change at line 165 skipping to change at line 166
__isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *print er, __isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *print er,
__isl_keep isl_set *map); __isl_keep isl_set *map);
void isl_basic_set_print(__isl_keep isl_basic_set *bset, FILE *out, int ind ent, void isl_basic_set_print(__isl_keep isl_basic_set *bset, FILE *out, int ind ent,
const char *prefix, const char *suffix, unsigned output_format); const char *prefix, const char *suffix, unsigned output_format);
void isl_set_print(__isl_keep struct isl_set *set, FILE *out, int indent, void isl_set_print(__isl_keep struct isl_set *set, FILE *out, int indent,
unsigned output_format); unsigned output_format);
__isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset, __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset,
enum isl_dim_type type, unsigned pos, isl_int value); enum isl_dim_type type, unsigned pos, isl_int value);
__isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bs et, __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bs et,
enum isl_dim_type type, unsigned pos, int value); enum isl_dim_type type, unsigned pos, int value);
__isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *b
set,
enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
__isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set, __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
enum isl_dim_type type, unsigned pos, int value); enum isl_dim_type type, unsigned pos, int value);
__isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set, __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
enum isl_dim_type type, unsigned pos, int value); enum isl_dim_type type, unsigned pos, int value);
__isl_give isl_set *isl_set_lower_bound(__isl_take isl_set *set, __isl_give isl_set *isl_set_lower_bound(__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);
__isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
__isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set, __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
enum isl_dim_type type, unsigned pos, int value); enum isl_dim_type type, unsigned pos, int value);
__isl_give isl_set *isl_set_upper_bound(__isl_take isl_set *set, __isl_give isl_set *isl_set_upper_bound(__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);
__isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
__isl_give isl_set *isl_set_equate(__isl_take isl_set *set, __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 ); enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2 );
struct isl_basic_set *isl_basic_set_from_underlying_set( struct isl_basic_set *isl_basic_set_from_underlying_set(
struct isl_basic_set *bset, struct isl_basic_set *like); struct isl_basic_set *bset, struct isl_basic_set *like);
struct isl_set *isl_set_from_underlying_set( struct isl_set *isl_set_from_underlying_set(
struct isl_set *set, struct isl_basic_set *like); struct isl_set *set, struct isl_basic_set *like);
struct isl_set *isl_set_to_underlying_set(struct isl_set *set); struct isl_set *isl_set_to_underlying_set(struct isl_set *set);
skipping to change at line 215 skipping to change at line 222
__isl_export __isl_export
__isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set); __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
__isl_export __isl_export
__isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set); __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
__isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmin_pw_multi_aff( __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmin_pw_multi_aff(
__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
__isl_give isl_set **empty); __isl_give isl_set **empty);
__isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmax_pw_multi_aff( __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmax_pw_multi_aff(
__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
__isl_give isl_set **empty); __isl_give isl_set **empty);
__isl_give isl_pw_multi_aff *isl_set_lexmin_pw_multi_aff(
__isl_take isl_set *set);
__isl_give isl_pw_multi_aff *isl_set_lexmax_pw_multi_aff(
__isl_take isl_set *set);
__isl_export __isl_export
__isl_give isl_set *isl_basic_set_union( __isl_give isl_set *isl_basic_set_union(
__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset1,
__isl_take isl_basic_set *bset2); __isl_take isl_basic_set *bset2);
int isl_basic_set_compare_at(struct isl_basic_set *bset1, int isl_basic_set_compare_at(struct isl_basic_set *bset1,
struct isl_basic_set *bset2, int pos); struct isl_basic_set *bset2, int pos);
int isl_set_follows_at(__isl_keep isl_set *set1, int isl_set_follows_at(__isl_keep isl_set *set1,
__isl_keep isl_set *set2, int pos); __isl_keep isl_set *set2, int pos);
skipping to change at line 314 skipping to change at line 325
__isl_export __isl_export
__isl_give isl_set *isl_set_apply( __isl_give isl_set *isl_set_apply(
__isl_take isl_set *set, __isl_take isl_set *set,
__isl_take isl_map *map); __isl_take isl_map *map);
__isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set, __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
__isl_take isl_multi_aff *ma); __isl_take isl_multi_aff *ma);
__isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set, __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
__isl_take isl_pw_multi_aff *pma); __isl_take isl_pw_multi_aff *pma);
__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);
__isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
struct isl_set *isl_set_fix_dim_si(struct isl_set *set, struct isl_set *isl_set_fix_dim_si(struct isl_set *set,
unsigned dim, int value); unsigned dim, int value);
struct isl_set *isl_set_lower_bound_dim(struct isl_set *set, struct isl_set *isl_set_lower_bound_dim(struct isl_set *set,
unsigned dim, isl_int value); unsigned dim, isl_int value);
__isl_give isl_basic_set *isl_basic_set_insert_dims( __isl_give isl_basic_set *isl_basic_set_insert_dims(
__isl_take isl_basic_set *bset, __isl_take isl_basic_set *bset,
enum isl_dim_type type, unsigned pos, unsigned n); enum isl_dim_type type, unsigned pos, unsigned n);
__isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set, __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
enum isl_dim_type type, unsigned pos, unsigned n); enum isl_dim_type type, unsigned pos, unsigned n);
__isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set * bset, __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set * bset,
skipping to change at line 423 skipping to change at line 436
int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset, int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset,
unsigned dim, isl_int *val); unsigned dim, isl_int *val);
int isl_set_plain_is_fixed(__isl_keep isl_set *set, int isl_set_plain_is_fixed(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos, isl_int *val); enum isl_dim_type type, unsigned pos, isl_int *val);
int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set, int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set,
unsigned dim, isl_int *val); unsigned dim, isl_int *val);
int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set, int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set,
unsigned dim, isl_int *val); unsigned dim, isl_int *val);
__isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos);
int isl_set_plain_dim_has_fixed_lower_bound(__isl_keep isl_set *set, int isl_set_plain_dim_has_fixed_lower_bound(__isl_keep isl_set *set,
unsigned dim, isl_int *val); unsigned dim, isl_int *val);
int isl_set_dim_is_bounded(__isl_keep isl_set *set, int isl_set_dim_is_bounded(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
int isl_set_dim_has_lower_bound(__isl_keep isl_set *set, int isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
int isl_set_dim_has_upper_bound(__isl_keep isl_set *set, int isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
int isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set, int isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos); enum isl_dim_type type, unsigned pos);
skipping to change at line 450 skipping to change at line 465
__isl_take isl_basic_set *context); __isl_take isl_basic_set *context);
__isl_export __isl_export
__isl_give isl_set *isl_set_gist(__isl_take isl_set *set, __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
__isl_take isl_set *context); __isl_take isl_set *context);
__isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set, __isl_give isl_set *isl_set_gist_params(__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);
int isl_set_dim_residue_class_val(__isl_keep isl_set *set,
int pos, __isl_give isl_val **modulo, __isl_give isl_val **residue);
__isl_export __isl_export
__isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set); __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2); int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *se t2); int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *se t2);
int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set 2); int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set 2);
int isl_set_plain_is_disjoint(__isl_keep isl_set *set1, int isl_set_plain_is_disjoint(__isl_keep isl_set *set1,
__isl_keep isl_set *set2); __isl_keep isl_set *set2);
int isl_set_fast_is_disjoint(__isl_keep isl_set *set1, int isl_set_fast_is_disjoint(__isl_keep isl_set *set1,
skipping to change at line 474 skipping to change at line 491
int isl_set_dim_is_unique(struct isl_set *set, unsigned dim); int isl_set_dim_is_unique(struct isl_set *set, unsigned dim);
int isl_set_n_basic_set(__isl_keep isl_set *set); int isl_set_n_basic_set(__isl_keep isl_set *set);
__isl_export __isl_export
int isl_set_foreach_basic_set(__isl_keep isl_set *set, int isl_set_foreach_basic_set(__isl_keep isl_set *set,
int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user); int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user);
int isl_set_foreach_point(__isl_keep isl_set *set, int isl_set_foreach_point(__isl_keep isl_set *set,
int (*fn)(__isl_take isl_point *pnt, void *user), void *user); int (*fn)(__isl_take isl_point *pnt, void *user), void *user);
int isl_set_count(__isl_keep isl_set *set, isl_int *count); int isl_set_count(__isl_keep isl_set *set, isl_int *count);
__isl_give isl_val *isl_set_count_val(__isl_keep isl_set *set);
int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset,
isl_int max, isl_int *count); isl_int max, isl_int *count);
int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count ); int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count );
__isl_give isl_basic_set *isl_basic_set_from_point(__isl_take isl_point *pn t); __isl_give isl_basic_set *isl_basic_set_from_point(__isl_take isl_point *pn t);
__isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt); __isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt);
__isl_give isl_basic_set *isl_basic_set_box_from_points( __isl_give isl_basic_set *isl_basic_set_box_from_points(
__isl_take isl_point *pnt1, __isl_take isl_point *pnt2); __isl_take isl_point *pnt1, __isl_take isl_point *pnt2);
__isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1, __isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1,
__isl_take isl_point *pnt2); __isl_take isl_point *pnt2);
 End of changes. 9 change blocks. 
0 lines changed or deleted 19 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.11.1" #define _GENERATED_STDINT_H "isl 0.12.1"
/* generated using gnu compiler gcc (GCC) 4.6.1 20110627 (Mandriva) */ /* generated using gnu compiler gcc (GCC) 4.6.1 20110627 (Mandriva) */
#define _STDINT_HAVE_STDINT_H 1 #define _STDINT_HAVE_STDINT_H 1
#include <stdint.h> #include <stdint.h>
#endif #endif
#endif #endif
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added


 stream.h   stream.h 
skipping to change at line 17 skipping to change at line 17
* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
*/ */
#ifndef ISL_STREAM_H #ifndef ISL_STREAM_H
#define ISL_STREAM_H #define ISL_STREAM_H
#include <stdio.h> #include <stdio.h>
#include <isl/hash.h> #include <isl/hash.h>
#include <isl/aff_type.h> #include <isl/aff_type.h>
#include <isl/obj.h> #include <isl/obj.h>
#include <isl/val.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
enum isl_token_type { ISL_TOKEN_ERROR = -1, enum isl_token_type { ISL_TOKEN_ERROR = -1,
ISL_TOKEN_UNKNOWN = 256, ISL_TOKEN_VALUE, ISL_TOKEN_UNKNOWN = 256, ISL_TOKEN_VALUE,
ISL_TOKEN_IDENT, ISL_TOKEN_GE, ISL_TOKEN_IDENT, ISL_TOKEN_GE,
ISL_TOKEN_LE, ISL_TOKEN_GT, ISL_TOKEN_LT, ISL_TOKEN_LE, ISL_TOKEN_GT, ISL_TOKEN_LT,
ISL_TOKEN_NE, ISL_TOKEN_EQ_EQ, ISL_TOKEN_NE, ISL_TOKEN_EQ_EQ,
ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_LE, ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_LE,
ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LT, ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LT,
ISL_TOKEN_TO, ISL_TOKEN_AND, ISL_TOKEN_TO, ISL_TOKEN_AND,
ISL_TOKEN_OR, ISL_TOKEN_EXISTS, ISL_TOKEN_NOT, ISL_TOKEN_OR, ISL_TOKEN_EXISTS, ISL_TOKEN_NOT,
ISL_TOKEN_DEF, ISL_TOKEN_INFTY, ISL_TOKEN_NAN, ISL_TOKEN_DEF, ISL_TOKEN_INFTY, ISL_TOKEN_NAN,
ISL_TOKEN_MIN, ISL_TOKEN_MAX, ISL_TOKEN_RAT, ISL_TOKEN_MIN, ISL_TOKEN_MAX, ISL_TOKEN_RAT,
ISL_TOKEN_TRUE, ISL_TOKEN_FALSE, ISL_TOKEN_TRUE, ISL_TOKEN_FALSE,
ISL_TOKEN_CEILD, ISL_TOKEN_FLOORD, ISL_TOKEN_MOD, ISL_TOKEN_CEILD, ISL_TOKEN_FLOORD, ISL_TOKEN_MOD,
ISL_TOKEN_STRING, ISL_TOKEN_STRING,
ISL_TOKEN_MAP, ISL_TOKEN_AFF, ISL_TOKEN_MAP, ISL_TOKEN_AFF,
ISL_TOKEN_CEIL, ISL_TOKEN_FLOOR,
ISL_TOKEN_IMPLIES,
ISL_TOKEN_LAST }; ISL_TOKEN_LAST };
struct isl_token { struct isl_token {
int type; int type;
unsigned int on_new_line : 1; unsigned int on_new_line : 1;
unsigned is_keyword : 1; unsigned is_keyword : 1;
int line; int line;
int col; int col;
union { union {
isl_int v; isl_int v;
char *s; char *s;
isl_map *map; isl_map *map;
isl_pw_aff *pwaff; isl_pw_aff *pwaff;
} u; } u;
}; };
__isl_give isl_val *isl_token_get_val(isl_ctx *ctx, struct isl_token *tok);
__isl_give char *isl_token_get_str(isl_ctx *ctx, struct isl_token *tok);
int isl_token_get_type(struct isl_token *tok);
void isl_token_free(struct isl_token *tok); void isl_token_free(struct isl_token *tok);
struct isl_stream { struct isl_stream {
struct isl_ctx *ctx; struct isl_ctx *ctx;
FILE *file; FILE *file;
const char *str; const char *str;
int line; int line;
int col; int col;
int eof; int eof;
 End of changes. 3 change blocks. 
0 lines changed or deleted 6 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/space.h> #include <isl/space.h>
#include <isl/map_type.h> #include <isl/map_type.h>
#include <isl/union_map_type.h> #include <isl/union_map_type.h>
#include <isl/printer.h> #include <isl/printer.h>
#include <isl/val.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
__isl_constructor __isl_constructor
__isl_give isl_union_map *isl_union_map_from_basic_map( __isl_give isl_union_map *isl_union_map_from_basic_map(
__isl_take isl_basic_map *bmap); __isl_take isl_basic_map *bmap);
__isl_constructor __isl_constructor
__isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map); __isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map);
skipping to change at line 112 skipping to change at line 113
__isl_export __isl_export
__isl_give isl_union_map *isl_union_map_subtract_range( __isl_give isl_union_map *isl_union_map_subtract_range(
__isl_take isl_union_map *umap, __isl_take isl_union_set *dom); __isl_take isl_union_map *umap, __isl_take isl_union_set *dom);
__isl_export __isl_export
__isl_give isl_union_map *isl_union_map_apply_domain( __isl_give isl_union_map *isl_union_map_apply_domain(
__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
__isl_export __isl_export
__isl_give isl_union_map *isl_union_map_apply_range( __isl_give isl_union_map *isl_union_map_apply_range(
__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
__isl_give isl_union_map *isl_union_map_preimage_domain_multi_aff(
__isl_take isl_union_map *umap, __isl_take isl_multi_aff *ma);
__isl_export __isl_export
__isl_give isl_union_map *isl_union_map_reverse(__isl_take isl_union_map *u map); __isl_give isl_union_map *isl_union_map_reverse(__isl_take isl_union_map *u map);
__isl_give isl_union_map *isl_union_map_from_domain_and_range( __isl_give isl_union_map *isl_union_map_from_domain_and_range(
__isl_take isl_union_set *domain, __isl_take isl_union_set *range); __isl_take isl_union_set *domain, __isl_take isl_union_set *range);
__isl_export __isl_export
__isl_give isl_union_map *isl_union_map_detect_equalities( __isl_give isl_union_map *isl_union_map_detect_equalities(
__isl_take isl_union_map *umap); __isl_take isl_union_map *umap);
__isl_export __isl_export
__isl_give isl_union_set *isl_union_map_deltas(__isl_take isl_union_map *um ap); __isl_give isl_union_set *isl_union_map_deltas(__isl_take isl_union_map *um ap);
skipping to change at line 161 skipping to change at line 164
__isl_give int isl_union_map_contains(__isl_keep isl_union_map *umap, __isl_give int isl_union_map_contains(__isl_keep isl_union_map *umap,
__isl_keep isl_space *dim); __isl_keep isl_space *dim);
__isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *uma p, __isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *uma p,
__isl_take isl_space *dim); __isl_take isl_space *dim);
__isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap); __isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap);
__isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *um ap); __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *um ap);
__isl_give isl_union_map *isl_union_map_fixed_power( __isl_give isl_union_map *isl_union_map_fixed_power(
__isl_take isl_union_map *umap, isl_int exp); __isl_take isl_union_map *umap, isl_int exp);
__isl_give isl_union_map *isl_union_map_fixed_power_val(
__isl_take isl_union_map *umap, __isl_take isl_val *exp);
__isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *uma p, __isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *uma p,
int *exact); int *exact);
__isl_give isl_union_map *isl_union_map_transitive_closure( __isl_give isl_union_map *isl_union_map_transitive_closure(
__isl_take isl_union_map *umap, int *exact); __isl_take isl_union_map *umap, int *exact);
__isl_give isl_union_map *isl_union_map_lex_lt_union_map( __isl_give isl_union_map *isl_union_map_lex_lt_union_map(
__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
__isl_give isl_union_map *isl_union_map_lex_le_union_map( __isl_give isl_union_map *isl_union_map_lex_le_union_map(
__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2); __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
__isl_give isl_union_map *isl_union_map_lex_gt_union_map( __isl_give isl_union_map *isl_union_map_lex_gt_union_map(
 End of changes. 3 change blocks. 
0 lines changed or deleted 5 lines changed or added


 vec.h   vec.h 
skipping to change at line 18 skipping to change at line 18
*/ */
#ifndef ISL_VEC_H #ifndef ISL_VEC_H
#define ISL_VEC_H #define ISL_VEC_H
#include <stdio.h> #include <stdio.h>
#include <isl/int.h> #include <isl/int.h>
#include <isl/ctx.h> #include <isl/ctx.h>
#include <isl/blk.h> #include <isl/blk.h>
#include <isl/val.h>
#include <isl/printer.h> #include <isl/printer.h>
#if defined(__cplusplus) #if defined(__cplusplus)
extern "C" { extern "C" {
#endif #endif
struct isl_vec { struct isl_vec {
int ref; int ref;
struct isl_ctx *ctx; struct isl_ctx *ctx;
skipping to change at line 45 skipping to change at line 46
__isl_give isl_vec *isl_vec_alloc(isl_ctx *ctx, unsigned size); __isl_give isl_vec *isl_vec_alloc(isl_ctx *ctx, unsigned size);
__isl_give isl_vec *isl_vec_copy(__isl_keep isl_vec *vec); __isl_give isl_vec *isl_vec_copy(__isl_keep 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(__isl_take isl_vec *vec); void *isl_vec_free(__isl_take isl_vec *vec);
isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec); isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec);
int isl_vec_size(__isl_keep isl_vec *vec); int isl_vec_size(__isl_keep isl_vec *vec);
int isl_vec_get_element(__isl_keep isl_vec *vec, int pos, isl_int *v); int isl_vec_get_element(__isl_keep isl_vec *vec, int pos, isl_int *v);
__isl_give isl_val *isl_vec_get_element_val(__isl_keep isl_vec *vec, int po s);
__isl_give isl_vec *isl_vec_set_element(__isl_take isl_vec *vec, __isl_give isl_vec *isl_vec_set_element(__isl_take isl_vec *vec,
int pos, isl_int v); int pos, isl_int v);
__isl_give isl_vec *isl_vec_set_element_si(__isl_take isl_vec *vec, __isl_give isl_vec *isl_vec_set_element_si(__isl_take isl_vec *vec,
int pos, int v); int pos, int v);
__isl_give isl_vec *isl_vec_set_element_val(__isl_take isl_vec *vec,
int pos, __isl_take isl_val *v);
int isl_vec_is_equal(__isl_keep isl_vec *vec1, __isl_keep isl_vec *vec2); int isl_vec_is_equal(__isl_keep isl_vec *vec1, __isl_keep isl_vec *vec2);
int isl_vec_cmp_element(__isl_keep isl_vec *vec1, __isl_keep isl_vec *vec2,
int pos);
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_set(__isl_take isl_vec *vec, isl_int v); __isl_give isl_vec *isl_vec_set(__isl_take isl_vec *vec, isl_int v);
__isl_give isl_vec *isl_vec_set_si(__isl_take isl_vec *vec, int v); __isl_give isl_vec *isl_vec_set_si(__isl_take isl_vec *vec, int v);
__isl_give isl_vec *isl_vec_set_val(__isl_take isl_vec *vec,
__isl_take isl_val *v);
__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_neg(__isl_take isl_vec *vec); __isl_give isl_vec *isl_vec_neg(__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_fdiv_r(__isl_take isl_vec *vec, isl_int m); __isl_give isl_vec *isl_vec_fdiv_r(__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_concat(__isl_take isl_vec *vec1, __isl_give isl_vec *isl_vec_concat(__isl_take isl_vec *vec1,
__isl_take isl_vec *vec2); __isl_take isl_vec *vec2);
 End of changes. 5 change blocks. 
0 lines changed or deleted 8 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/