reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

   22 	isl_int		*obj;
   23 	isl_int		 opt;
   24 	isl_int		 opt_denom;
   25 	isl_int		 tmp;
   26 	isl_int		 tmp2;
   91 static void set_lp_obj(struct tab_lp *lp, isl_int *row, int dim);
   95 static int add_lp_row(struct tab_lp *lp, isl_int *row, int dim);
   98 static int cut_lp_to_hyperplane(struct tab_lp *lp, isl_int *row);
  174 static void set_lp_obj(struct tab_lp *lp, isl_int *row, int dim)
  220 static int cut_lp_to_hyperplane(struct tab_lp *lp, isl_int *row)
  268 static int add_lp_row(struct tab_lp *lp, isl_int *row, int dim)

   58 	isl_int tmp;
   65 	isl_int mu[2];

  629 isl_stat isl_aff_get_denominator(__isl_keep isl_aff *aff, isl_int *v)
  734 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v)
  811 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v)
  887 	isl_int t;
  901 __isl_give isl_aff *isl_aff_add_constant_num(__isl_take isl_aff *aff, isl_int v)
  929 	isl_int t;
  971 	enum isl_dim_type type, int pos, isl_int v)
 1116 	enum isl_dim_type type, int pos, isl_int v)
 1220 	isl_int t;
 1303 	isl_int v;
 1604 __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff, isl_int m)
 1711 	isl_int gcd, f;
 1806 __isl_give isl_aff *isl_aff_scale(__isl_take isl_aff *aff, isl_int f)
 1808 	isl_int gcd;
 1872 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f)
 1874 	isl_int gcd;
 1940 	isl_int v;
 3170 	isl_int v)
 4115 	isl_int f)
 4393 	__isl_keep isl_multi_aff *ma, int n, isl_int *c, isl_int denom)
 4393 	__isl_keep isl_multi_aff *ma, int n, isl_int *c, isl_int denom)
 4397 	isl_int d;
 4790 static int is_potential_div_constraint(isl_int *c, int offset, int d, int total)
 4845 	isl_int sum;
 4999 	isl_int gcd)
 5089 	isl_int gcd;
 5106 			isl_int *eq = hull->eq[j];
 5277 	isl_int v;
 5437 void isl_seq_preimage(isl_int *dst, isl_int *src,
 5437 void isl_seq_preimage(isl_int *dst, isl_int *src,
 5440 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom)
 5440 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom)
 5440 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom)
 5440 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom)
 5525 	isl_int f, c1, c2, g;
 9172 	isl_int n, d;

   86 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
   88 	enum isl_dim_type type, int pos, isl_int v);
   89 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
  117 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
  119 	isl_int f);
  121 	isl_int f);
  160 void isl_seq_preimage(isl_int *dst, isl_int *src,
  160 void isl_seq_preimage(isl_int *dst, isl_int *src,
  163 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
  163 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
  163 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
  163 	isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);

   78 	isl_int m, c;
   98 	isl_int *t;
  122 	isl_int a;
  123 	isl_int b;
  158 	isl_int a, b, g;
  250 static struct isl_vec *outside_point(struct isl_tab *tab, isl_int *eq, int up)
  999 	isl_int gcd;

   65 	isl_int denom;

   55 	isl_int *p;

   21 	isl_int *data;

   45 static int status_in(isl_int *ineq, struct isl_tab *tab)
 1182 	isl_int max;
 1193 	isl_int max_k;
 1286 static int add_wrap(struct isl_wraps *wraps, int w, isl_int *bound,
 1287 	isl_int *ineq, unsigned len, __isl_keep isl_set *set, int negate)
 1324 	struct isl_coalesce_info *info, isl_int *bound, __isl_keep isl_set *set)
 1438 	struct isl_coalesce_info *info, int k, isl_int *bound,
 1709 static enum isl_ineq_type type_of_relaxed(struct isl_tab *tab, isl_int *ineq)
 2373 	isl_int shift)
 2423 	isl_int shift, stride;
 2515 	isl_int d;
 2740 	isl_int val;

  105 	isl_int **line)
  135 	isl_int **line)
  476 	isl_int *v)
  498 	enum isl_dim_type type, int pos, isl_int *v)
  541 	__isl_take isl_constraint *constraint, isl_int v)
  592 	enum isl_dim_type type, int pos, isl_int v)
  757 	isl_int *c;
  859 	isl_int m;
  860 	isl_int **lower_line, **upper_line;
  919 	__isl_take isl_basic_set *bset, isl_int *a, isl_int *b,
  919 	__isl_take isl_basic_set *bset, isl_int *a, isl_int *b,
  923 	isl_int t;

   22 	isl_int **line);
   25 	isl_int *v);
   27 	enum isl_dim_type type, int pos, isl_int *v);

  116 static int uset_is_bound(__isl_keep isl_set *set, isl_int *c, unsigned len)
  120 	isl_int opt;
  121 	isl_int opt_denom;
  161 	struct isl_basic_set *bset, isl_int *c)
  188 	__isl_take isl_set *set, isl_int *c)
  332 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
  333 	isl_int *facet, isl_int *ridge)
  333 	isl_int *facet, isl_int *ridge)
  341 	isl_int num, den;
  504 	isl_int *c)
  624 	isl_int *lower = NULL;
  625 	isl_int *upper = NULL;
  627 	isl_int a, b;
 1525 	isl_int *b = (isl_int *)val;
 1531 	isl_int *con, unsigned len, int n, int ineq)
 1564 	isl_int *con, unsigned len, int n)
 1652 			isl_int *eq = set->p[s]->eq[i];
 1660 			isl_int *ineq = set->p[s]->ineq[i];
 1684 			isl_int *ineq = set->p[s]->ineq[i];
 1985 	isl_int		*p;
 1990 	isl_int *row = (isl_int *)entry;
 1998 			isl_int *ineq, unsigned len)
 2078 	isl_int *ineq, int shift)
 2081 	isl_int opt;
 2120 	int i, isl_int *ineq, uint32_t c_hash, struct ineq_cmp_data *v)
 2129 		isl_int *ineq_j;
 2169 	struct sh_data *data, __isl_keep isl_set *set, int i, isl_int *ineq,
 2631 	__isl_keep isl_set *set, isl_int *ineq)
 2653 			isl_int *ineq_i = entry->data;
 2703 	__isl_take isl_set *set, int n_ineq, isl_int **ineq)
 2753 	__isl_keep isl_basic_set_list *list, isl_int **ineq)
 2790 	isl_int * const *ineq1 = a;
 2791 	isl_int * const *ineq2 = b;
 2816 	isl_int **ineq = NULL;

   21 	isl_int			zero;
   22 	isl_int			one;
   23 	isl_int			two;
   24 	isl_int			negone;
   26 	isl_int			normalize_gcd;

  112 static void copy_constraint_dim_map(isl_int *dst, isl_int *src,
  112 static void copy_constraint_dim_map(isl_int *dst, isl_int *src,
  127 static void copy_div_dim_map(isl_int *dst, isl_int *src,
  127 static void copy_div_dim_map(isl_int *dst, isl_int *src,

  163 	isl_int D;
  314 	isl_int D;
  571 		isl_int g;
  736 	int pos, isl_int *modulo, isl_int *residue)
  736 	int pos, isl_int *modulo, isl_int *residue)
  817 	int pos, isl_int *modulo, isl_int *residue)
  817 	int pos, isl_int *modulo, isl_int *residue)
  819 	isl_int m;
  820 	isl_int r;

  279 	isl_int opt;
  337 	isl_int l;
 1687 	__isl_take isl_qpolynomial_fold *fold, isl_int v)
 1720 	__isl_take isl_qpolynomial_fold *fold, isl_int v)

   84 	isl_int *f)
  107 	isl_int *f, isl_int l, isl_int u)
  107 	isl_int *f, isl_int l, isl_int u)
  107 	isl_int *f, isl_int l, isl_int u)
  150 	isl_int *f, isl_int *opt, __isl_take isl_vec *sol, isl_int l, isl_int u)
  150 	isl_int *f, isl_int *opt, __isl_take isl_vec *sol, isl_int l, isl_int u)
  150 	isl_int *f, isl_int *opt, __isl_take isl_vec *sol, isl_int l, isl_int u)
  150 	isl_int *f, isl_int *opt, __isl_take isl_vec *sol, isl_int l, isl_int u)
  152 	isl_int tmp;
  209 	isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p)
  209 	isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p)
  212 	isl_int l, u;
  264 	int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p)
  264 	int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p)
  306 	int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p)
  306 	int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p)
  341 	__isl_keep isl_aff *obj, isl_int *opt)
  372 	__isl_keep isl_aff *obj, isl_int *opt)
  439 	__isl_keep isl_aff *obj, isl_int *opt)
  444 	isl_int opt_i;
  481 	__isl_keep isl_aff *obj, isl_int *opt)

    9 	int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p);
    9 	int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p);

  254 static int accept_cst_factor(__isl_keep isl_stream *s, isl_int *f)
  513 		isl_int f;
  524 		isl_int f;
  545 static __isl_give isl_pw_aff *add_cst(__isl_take isl_pw_aff *pwaff, isl_int v)
 1893 	isl_int *c;

   50 	isl_int i);

  636 static int cmp_row(isl_int *row_i, isl_int *row_j, int i, int j,
  636 static int cmp_row(isl_int *row_i, isl_int *row_j, int i, int j,
 1031 	enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len,
 1035 	isl_int v;
 1192 	isl_int *constraint, unsigned div, int *sign)
 1236 	isl_int *constraint, unsigned div)
 1280 	isl_int *constraint, unsigned div)
 1296 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l)
 1396 	isl_int f, c1, c2, g;

   59 	isl_int *constraint, unsigned div);
   61 	isl_int *constraint, unsigned div);
   63 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
   67 	enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len,

   26 	int maximize, isl_int *f, isl_int denom, isl_int *opt,
   26 	int maximize, isl_int *f, isl_int denom, isl_int *opt,
   26 	int maximize, isl_int *f, isl_int denom, isl_int *opt,
   27 	isl_int *opt_denom, __isl_give isl_vec **sol)
   65 	int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom,
   65 	int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom,
   65 	int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom,
   65 	int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom,
   78 				      isl_int *f, isl_int d, isl_int *opt,
   78 				      isl_int *f, isl_int d, isl_int *opt,
   78 				      isl_int *f, isl_int d, isl_int *opt,
   79 				      isl_int *opt_denom,
   87 				      isl_int *f, isl_int d, isl_int *opt,
   87 				      isl_int *f, isl_int d, isl_int *opt,
   87 				      isl_int *f, isl_int d, isl_int *opt,
   88 				      isl_int *opt_denom,
   92 	isl_int o;
   93 	isl_int t;
   94 	isl_int opt_i;
   95 	isl_int opt_denom_i;
  196 				      isl_int *f, isl_int d, isl_int *opt,
  196 				      isl_int *f, isl_int d, isl_int *opt,
  196 				      isl_int *f, isl_int d, isl_int *opt,
  197 				      isl_int *opt_denom,

    9 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
    9 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
    9 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
    9 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   12 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   12 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   12 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   12 	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   15 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   15 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   15 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   15 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   18 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   18 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   18 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
   18 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,

 1438 		isl_int *t;
 1477 	isl_int *t;
 1501 	isl_int *t;
 1559 	isl_int *t;
 1580 	isl_int *eq)
 1604 	isl_int *ineq)
 1711 static void copy_constraint(struct isl_basic_map *dst_map, isl_int *dst,
 1712 			    struct isl_basic_map *src_map, isl_int *src,
 1750 static void copy_div(struct isl_basic_map *dst_map, isl_int *dst,
 1751 		     struct isl_basic_map *src_map, isl_int *src,
 1978 static void swap_vars(struct isl_blk blk, isl_int *a,
 2136 	isl_int *t = bmap->div[a];
 2170 static void constraint_drop_vars(isl_int *c, unsigned n, unsigned rem)
 2194 	isl_int **div;
 2375 		isl_int *t = bmap->div[div];
 2585 	unsigned total, isl_int v, int lb, int ub)
 2688 	isl_int v;
 3195 			isl_int c, int pos, FILE *out)
 3222 static void dump_constraint_sign(struct isl_basic_map *bmap, isl_int *c,
 3228 	isl_int v;
 3245 static void dump_constraint(struct isl_basic_map *bmap, isl_int *c,
 3268 				isl_int **c, unsigned n,
 3277 static void dump_affine(struct isl_basic_map *bmap, isl_int *exp, FILE *out)
 3557 	isl_int s;
 4243 	isl_int **new_div;
 4244 	isl_int *old;
 4737 		isl_int d)
 4790 __isl_give isl_map *isl_map_floordiv(__isl_take isl_map *map, isl_int d)
 5217 	unsigned pos, isl_int *div)
 5236 	unsigned pos, isl_int *div)
 5262 	unsigned pos, isl_int *div)
 5272 	unsigned pos, isl_int *div)
 5431 		isl_int **div;
 6187 	__isl_take isl_basic_map *bmap, unsigned pos, isl_int value)
 6216 		enum isl_dim_type type, unsigned pos, isl_int value)
 6374 		enum isl_dim_type type, unsigned pos, isl_int value)
 6554 	enum isl_dim_type type, unsigned pos, isl_int value, int upper)
 6585 	enum isl_dim_type type, unsigned pos, isl_int value, int upper)
 6610 	enum isl_dim_type type, unsigned pos, isl_int value)
 6616 	enum isl_dim_type type, unsigned pos, isl_int value)
 9186 	int pos, isl_int *opt)
 9238 	isl_int opt;
 9337 	__isl_keep isl_basic_map *bmap, unsigned pos, isl_int *val)
 9366 	unsigned pos, isl_int *val)
 9369 	isl_int v;
 9370 	isl_int tmp;
 9395 	__isl_keep isl_basic_set *bset, unsigned pos, isl_int *val)
 9402 	enum isl_dim_type type, unsigned pos, isl_int *val)
 9440 	enum isl_dim_type type, unsigned pos, isl_int *val)
 9491 	unsigned dim, isl_int *val)
 9517 	isl_int **c1 = (isl_int **) p1;
 9518 	isl_int **c2 = (isl_int **) p2;
 9544 	isl_int *c1, isl_int *c2)
 9544 	isl_int *c1, isl_int *c2)
 9566 	if (isl_sort(bmap->ineq, bmap->n_ineq, sizeof(isl_int *),
10937 	isl_int *c, int first, int n)
10975 	int pos, isl_int m)
11291 static int unique(isl_int *p, unsigned pos, unsigned len)
12633 	isl_int v;
12961 	isl_int f, c1, c2, g;

   67 	isl_int **eq;
   68 	isl_int **ineq;
   72 	isl_int **div;
  245 	isl_int *eq);
  247 	isl_int *eq);
  251 	isl_int *ineq);
  295 	isl_int *c1, isl_int *c2);
  295 	isl_int *c1, isl_int *c2);
  414 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
  415 	isl_int *facet, isl_int *ridge);
  415 	isl_int *facet, isl_int *ridge);
  431 	unsigned pos, isl_int *div);
  433 	unsigned pos, isl_int *div);
  435 	isl_int *constraint, unsigned div);
  437 	isl_int *constraint, unsigned div);
  503 	unsigned dim, isl_int *val);
  518 	int pos, isl_int *modulo, isl_int *residue);
  518 	int pos, isl_int *modulo, isl_int *residue);
  520 	int pos, isl_int *modulo, isl_int *residue);
  520 	int pos, isl_int *modulo, isl_int *residue);
  523 	enum isl_dim_type type, unsigned pos, isl_int value);
  525 	enum isl_dim_type type, unsigned pos, isl_int value);
  527 	enum isl_dim_type type, unsigned pos, isl_int value);
  529 	enum isl_dim_type type, unsigned pos, isl_int *val);
  538 	__isl_take isl_basic_map *bmap, int div, int pos, isl_int shift);
  541 	isl_int max, isl_int *count);
  541 	isl_int max, isl_int *count);
  542 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count);
  542 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count);

   33 	isl_int *t = bmap->eq[a];
   41 		isl_int *t = bmap->ineq[a];
   51 	isl_int gcd;
  131 	isl_int shift;
  288 	unsigned pos, isl_int *eq, int keep_divs, int *progress)
  346 	isl_int *eq, unsigned div, int keep_divs)
  360 static isl_bool ok_to_eliminate_div(__isl_keep isl_basic_map *bmap, isl_int *eq,
  627 	isl_int ***index;
  667 static int hash_index_ineq(struct isl_constraint_index *ci, isl_int **ineq)
  729 	isl_int *ineq)
  899 	isl_int v;
 1129 	__isl_take isl_basic_map *bmap, int k, int l, isl_int sum,
 1166 	isl_int sum;
 1378 	isl_int *constraint, unsigned div)
 1414 	isl_int *constraint, unsigned div)
 1789 static int reduced_using_equalities(isl_int *dst, isl_int *src,
 1789 static int reduced_using_equalities(isl_int *dst, isl_int *src,
 1811 static int set_reduced_using_equalities(isl_int *dst, isl_int *src,
 1811 static int set_reduced_using_equalities(isl_int *dst, isl_int *src,
 1977 static int is_related(isl_int *c, int len, int *relevant)
 2035 static void update_groups(int dim, int *group, isl_int *c)
 2492 	isl_int rem;
 2861 static void remove_incomplete_powers(isl_int *g, isl_int c)
 2861 static void remove_incomplete_powers(isl_int *g, isl_int c)
 2863 	isl_int t;
 2931 	isl_int gcd;
 3865 static int is_zero_or_one(isl_int v)
 3994 	isl_int g;
 3995 	isl_int fl;
 3996 	isl_int fu;
 4270 	isl_int m;
 4526 	int ineq, int lower, int pos, isl_int *l)
 4550 	int ineq, int upper, int pos, isl_int *u)
 4588 	isl_int l, u;
 4647 	isl_int c;
 4831 static isl_stat preimage(isl_int *c, __isl_keep isl_mat *T)
 5182 	__isl_take isl_basic_map *bmap, int div, int pos, isl_int shift)

   33 	isl_int *c, int *div_map, unsigned n_div)
  751 	isl_int m;

   93 	isl_int *old;
   94 	isl_int **row;
  146 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row,
  182 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
  182 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
  191 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
  191 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
  317 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v)
  343 	int row, int col, isl_int v)
  384 __isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d)
  598 	struct isl_mat **Q, unsigned row, unsigned i, unsigned j, isl_int m)
  642 	isl_int c;
  945 static int row_first_non_zero(isl_int **row, unsigned n_row, unsigned col)
  955 static int row_abs_min_non_zero(isl_int **row, unsigned n_row, unsigned col)
  988 	unsigned row, unsigned i, isl_int m)
 1005 	isl_int a, b;
 1094 void isl_mat_col_scale(struct isl_mat *mat, unsigned col, isl_int m)
 1103 	isl_int m1, unsigned src1, isl_int m2, unsigned src2)
 1103 	isl_int m1, unsigned src1, isl_int m2, unsigned src2)
 1106 	isl_int tmp;
 1121 	isl_int a, b;
 1244 	isl_int *t;
 1315 static int preimage(struct isl_ctx *ctx, isl_int **q, unsigned n,
 1444 isl_stat isl_mat_sub_transform(isl_int **row, unsigned n_row,
 1642 			int dst_col, isl_int f, int src_col)
 1662 void isl_mat_col_mul(struct isl_mat *mat, int dst_col, isl_int f, int src_col)
 1674 	isl_int f, int src_col)
 1902 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd)
 1912 void isl_mat_gcd(__isl_keep isl_mat *mat, isl_int *gcd)
 1915 	isl_int g;
 1931 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m)
 1948 __isl_give isl_mat *isl_mat_scale_down(__isl_take isl_mat *mat, isl_int m)
 1966 	isl_int m)
 1982 	isl_int gcd;

   15 	isl_int **row;
   30 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row,
   32 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
   32 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
   34 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
   34 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
   36 isl_stat isl_mat_sub_transform(isl_int **row, unsigned n_row,
   38 __isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d);
   42 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m);
   44 	isl_int m);
   52 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);
   54 void isl_mat_col_mul(struct isl_mat *mat, int dst_col, isl_int f, int src_col);
   56 			int dst_col, isl_int f, int src_col);
   58 	isl_int f, int src_col);
   62 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v);
   64 	int row, int col, isl_int v);

  573 	isl_int gcd;

   66 	isl_int *c = ineq ? bmap->ineq[n] : bmap->eq[n];
  266 	isl_int c, unsigned pos, __isl_take isl_printer *p, int latex)
  298 	__isl_take isl_printer *p, isl_int *c, int len)
  330 	__isl_keep isl_space *space, __isl_keep isl_mat *div, isl_int *c)
  520 	isl_int *c, int last, const char *op, int latex)
  543 	isl_int *c, int last, const char *op, int latex)
  604 	isl_int c)
  647 	isl_int *c, int last, int latex)
  679 	__isl_keep isl_space *space, __isl_keep isl_mat *div, isl_int *c,
 1861 	isl_int den;
 2062 	__isl_keep isl_space *dim, __isl_keep isl_basic_set *bset, isl_int *c);
 2087 	__isl_keep isl_basic_set *bset, isl_int c, unsigned pos)
 2112 	__isl_keep isl_basic_set *bset, isl_int *c, unsigned len)
 2140 	__isl_keep isl_space *dim, __isl_keep isl_basic_set *bset, isl_int *c)
 2153 	__isl_keep isl_basic_set *bset, isl_int *c, const char *op, int *first)
 2700 	__isl_keep isl_local_space *ls, isl_int *c);
 2723 	__isl_keep isl_local_space *ls, isl_int c, unsigned pos)
 2748 	isl_int *c, unsigned len)
 2776 	__isl_keep isl_local_space *ls, isl_int *c)

  561 	isl_int t;

  366 	isl_int n, isl_int d)
  366 	isl_int n, isl_int d)
  646 	isl_int gcd;
  810 	__isl_take struct isl_upoly *up, isl_int v)
  826 	__isl_take struct isl_upoly *up, isl_int v)
  852 	__isl_take struct isl_upoly *up, isl_int v)
  871 	__isl_take struct isl_upoly *up, isl_int v)
 1565 	__isl_take isl_qpolynomial *qp, isl_int v)
 1594 	__isl_take isl_qpolynomial *qp, isl_int v)
 1621 	__isl_take isl_qpolynomial *qp, isl_int v)
 1804 	isl_int v)
 1823 	isl_int *n, isl_int *d)
 1823 	isl_int *n, isl_int *d)
 1924 	isl_int gcd;
 1925 	isl_int f;
 2053 static void upoly_update_den(__isl_keep struct isl_upoly *up, isl_int *d)
 2075 void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d)
 2158 __isl_give struct isl_upoly *isl_upoly_from_affine(isl_ctx *ctx, isl_int *f,
 2159 	isl_int denom, unsigned len)
 2300 	isl_int v;
 2442 	__isl_take isl_space *dim, const isl_int n, const isl_int d)
 2442 	__isl_take isl_space *dim, const isl_int n, const isl_int d)
 2784 	isl_int denom;
 3151 	isl_int t;
 3336 	isl_int *f, isl_int denom)
 3336 	isl_int *f, isl_int denom)
 3836 void isl_term_get_num(__isl_keep isl_term *term, isl_int *n)
 4307 	__isl_keep isl_qpolynomial *qp, int div, isl_int v)
 4349 	__isl_take isl_qpolynomial *qp, int div, isl_int v,
 4388 	__isl_take isl_qpolynomial *qp, int div, isl_int min, isl_int max,
 4388 	__isl_take isl_qpolynomial *qp, int div, isl_int min, isl_int max,
 4419 	isl_int min, max;
 4759 		isl_int *row = qp->div->row[i];

   18 	isl_int n;
   19 	isl_int d;
   43 	isl_int n;
   44 	isl_int d;
  119 void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
  139 	__isl_take struct isl_upoly *up, isl_int v);
  147 	isl_int v);
  149 	__isl_take isl_space *space, const isl_int n, const isl_int d);
  149 	__isl_take isl_space *space, const isl_int n, const isl_int d);
  155 	isl_int *n, isl_int *d);
  155 	isl_int *n, isl_int *d);
  176 	isl_int *f, isl_int denom);
  176 	isl_int *f, isl_int denom);
  266 void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d);
  268 	__isl_take isl_qpolynomial *qp, isl_int v);
  270 	__isl_take isl_qpolynomial *qp, isl_int v);
  272 	__isl_take isl_pw_qpolynomial *pwqp, isl_int v);
  275 	__isl_take isl_qpolynomial_fold *fold, isl_int v);
  278 	__isl_take isl_qpolynomial_fold *fold, isl_int v);
  280 	__isl_take isl_pw_qpolynomial_fold *pwf, isl_int v);
  282 	__isl_take isl_union_pw_qpolynomial *upwqp, isl_int v);
  285 	__isl_take isl_union_pw_qpolynomial_fold *upwf, isl_int v);

   10 __isl_give TYPE *FN(TYPE,fixed_power)(__isl_take TYPE *map, isl_int exp)
   14 	isl_int r;

   46 static __isl_give isl_printer *file_print_isl_int(__isl_take isl_printer *p, isl_int i)
  169 	isl_int i)
  190 						isl_int i);
  649 	isl_int i)

 1357 	enum isl_dim_type type, unsigned pos, isl_int v)
 1828 __isl_give PW *FN(PW,mul_isl_int)(__isl_take PW *pw, isl_int v)

  164 	isl_int c;
  192 	isl_int n;

   58 	isl_int t;
  970 static void vec_sum_of_neg(struct isl_vec *v, isl_int *s)
 1002 	isl_int v;

   21 	isl_int count;
   22 	isl_int max;
   39 static int increment_range(struct isl_scan_callback *cb, isl_int min, isl_int max)
   39 static int increment_range(struct isl_scan_callback *cb, isl_int min, isl_int max)
  250 	isl_int max, isl_int *count)
  250 	isl_int max, isl_int *count)
  276 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count)
  276 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count)
  302 int isl_set_count(__isl_keep isl_set *set, isl_int *count)

 3016 	isl_int v;
 4259 	isl_int gcd, gcd_i;
 4384 	isl_int max;

   14 void isl_seq_clr(isl_int *p, unsigned len)
   21 void isl_seq_set_si(isl_int *p, int v, unsigned len)
   28 void isl_seq_set(isl_int *p, isl_int v, unsigned len)
   28 void isl_seq_set(isl_int *p, isl_int v, unsigned len)
   35 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len)
   35 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len)
   42 void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len)
   42 void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len)
   49 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len)
   49 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len)
   49 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len)
   56 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len)
   56 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len)
   56 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len)
   63 void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len)
   63 void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len)
   70 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   70 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   70 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   77 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   77 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   77 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   84 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   84 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   84 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   91 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   91 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   91 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   98 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   98 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len)
   98 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len)
  105 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
  105 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
  105 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
  106 			isl_int m2, isl_int *src2, unsigned len)
  106 			isl_int m2, isl_int *src2, unsigned len)
  109 	isl_int tmp;
  132 void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len,
  132 void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len,
  133 		  isl_int *m)
  135 	isl_int a;
  136 	isl_int b;
  159 int isl_seq_eq(isl_int *p1, isl_int *p2, unsigned len)
  159 int isl_seq_eq(isl_int *p1, isl_int *p2, unsigned len)
  168 int isl_seq_cmp(isl_int *p1, isl_int *p2, unsigned len)
  168 int isl_seq_cmp(isl_int *p1, isl_int *p2, unsigned len)
  178 int isl_seq_is_neg(isl_int *p1, isl_int *p2, unsigned len)
  178 int isl_seq_is_neg(isl_int *p1, isl_int *p2, unsigned len)
  193 int isl_seq_first_non_zero(isl_int *p, unsigned len)
  203 int isl_seq_last_non_zero(isl_int *p, unsigned len)
  213 void isl_seq_abs_max(isl_int *p, unsigned len, isl_int *max)
  213 void isl_seq_abs_max(isl_int *p, unsigned len, isl_int *max)
  224 int isl_seq_abs_min_non_zero(isl_int *p, unsigned len)
  238 void isl_seq_gcd(isl_int *p, unsigned len, isl_int *gcd)
  238 void isl_seq_gcd(isl_int *p, unsigned len, isl_int *gcd)
  256 void isl_seq_normalize(struct isl_ctx *ctx, isl_int *p, unsigned len)
  266 void isl_seq_lcm(isl_int *p, unsigned len, isl_int *lcm)
  266 void isl_seq_lcm(isl_int *p, unsigned len, isl_int *lcm)
  279 void isl_seq_inner_product(isl_int *p1, isl_int *p2, unsigned len,
  279 void isl_seq_inner_product(isl_int *p1, isl_int *p2, unsigned len,
  280 			   isl_int *prod)
  292 uint32_t isl_seq_hash(isl_int *p, unsigned len, uint32_t hash)
  325 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
  325 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
  326 	int p_len, int subs_len, isl_int v)
  335 uint32_t isl_seq_get_hash(isl_int *p, unsigned len)
  342 uint32_t isl_seq_get_hash_bits(isl_int *p, unsigned len, unsigned bits)
  350 void isl_seq_dump(isl_int *p, unsigned len)

   23 void isl_seq_clr(isl_int *p, unsigned len);
   24 void isl_seq_set(isl_int *p, isl_int v, unsigned len);
   24 void isl_seq_set(isl_int *p, isl_int v, unsigned len);
   25 void isl_seq_set_si(isl_int *p, int v, unsigned len);
   26 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len);
   26 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len);
   27 void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len);
   27 void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len);
   28 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
   28 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
   28 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
   29 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
   29 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
   29 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
   30 void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len);
   30 void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len);
   31 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int f, unsigned len);
   31 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int f, unsigned len);
   31 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int f, unsigned len);
   32 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int f, unsigned len);
   32 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int f, unsigned len);
   32 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int f, unsigned len);
   33 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   33 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   33 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   34 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   34 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   34 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   35 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   35 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   35 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len);
   36 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
   36 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
   36 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
   37 			isl_int m2, isl_int *src2, unsigned len);
   37 			isl_int m2, isl_int *src2, unsigned len);
   38 void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len,
   38 void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len,
   39 		  isl_int *m);
   40 void isl_seq_abs_max(isl_int *p, unsigned len, isl_int *max);
   40 void isl_seq_abs_max(isl_int *p, unsigned len, isl_int *max);
   41 void isl_seq_gcd(isl_int *p, unsigned len, isl_int *gcd);
   41 void isl_seq_gcd(isl_int *p, unsigned len, isl_int *gcd);
   42 void isl_seq_lcm(isl_int *p, unsigned len, isl_int *lcm);
   42 void isl_seq_lcm(isl_int *p, unsigned len, isl_int *lcm);
   43 void isl_seq_normalize(struct isl_ctx *ctx, isl_int *p, unsigned len);
   44 void isl_seq_inner_product(isl_int *p1, isl_int *p2, unsigned len,
   44 void isl_seq_inner_product(isl_int *p1, isl_int *p2, unsigned len,
   45 			   isl_int *prod);
   46 int isl_seq_first_non_zero(isl_int *p, unsigned len);
   47 int isl_seq_last_non_zero(isl_int *p, unsigned len);
   48 int isl_seq_abs_min_non_zero(isl_int *p, unsigned len);
   49 int isl_seq_eq(isl_int *p1, isl_int *p2, unsigned len);
   49 int isl_seq_eq(isl_int *p1, isl_int *p2, unsigned len);
   50 int isl_seq_cmp(isl_int *p1, isl_int *p2, unsigned len);
   50 int isl_seq_cmp(isl_int *p1, isl_int *p2, unsigned len);
   51 int isl_seq_is_neg(isl_int *p1, isl_int *p2, unsigned len);
   51 int isl_seq_is_neg(isl_int *p1, isl_int *p2, unsigned len);
   53 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
   53 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
   54 	int p_len, int subs_len, isl_int v);
   56 uint32_t isl_seq_get_hash(isl_int *p, unsigned len);
   57 uint32_t isl_seq_get_hash_bits(isl_int *p, unsigned len, unsigned bits);

   14 		isl_int	v;

  623 static int row_cmp(struct isl_tab *tab, int r1, int r2, int c, isl_int *t)
  664 	isl_int t;
  710 	isl_int *tr;
 1516 	isl_int *r;
 1823 int isl_tab_add_row(struct isl_tab *tab, isl_int *line)
 1827 	isl_int *row;
 1828 	isl_int a, b;
 1907 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq)
 1911 	isl_int cst;
 2002 static struct isl_tab *add_eq(struct isl_tab *tab, isl_int *eq)
 2055 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq)
 2099 	isl_int *row;
 2119 int isl_tab_add_eq(struct isl_tab *tab, isl_int *eq)
 2126 	isl_int cst;
 2248 	isl_stat (*add_ineq)(void *user, isl_int *), void *user)
 2330 	isl_stat (*add_ineq)(void *user, isl_int *), void *user)
 2441 	isl_int cst;
 2573 	isl_int m;
 2608 	struct isl_tab_var *var, int sgn, isl_int *v)
 2695 	isl_int *row;
 2834 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift)
 3238 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
 3238 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
 3238 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
 3238 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
 3337 	isl_int *value)
 3370 	isl_int target, isl_int *tmp)
 3370 	isl_int target, isl_int *tmp)
 3398 	int sgn, isl_int target, isl_int *tmp)
 3398 	int sgn, isl_int target, isl_int *tmp)
 3441 	struct isl_tab_var *var, isl_int *target, isl_int *tmp)
 3441 	struct isl_tab_var *var, isl_int *target, isl_int *tmp)
 3495 	isl_int *value)
 3497 	isl_int target, tmp;
 3527 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value)
 3975 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq)

  207 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
  207 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
  207 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
  207 	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
  210 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq) WARN_UNUSED;
  211 int isl_tab_add_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
  212 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
  237 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq);
  285 	isl_int *eq);
  305 int isl_tab_add_row(struct isl_tab *tab, isl_int *line) WARN_UNUSED;
  325 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value);
  332 	isl_stat (*add_ineq)(void *user, isl_int *), void *user);
  335 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift) WARN_UNUSED;

   79 	void (*add_eq)(struct isl_context *context, isl_int *eq,
   84 	void (*add_ineq)(struct isl_context *context, isl_int *ineq,
   90 			isl_int *ineq, int strict);
   92 	int (*test_ineq)(struct isl_context *context, isl_int *ineq);
  602 static void scale_rows(struct isl_mat *mat, isl_int m, int n_row)
  668 	isl_int m;
  832 static void get_row_parameter_line(struct isl_tab *tab, int row, isl_int *line)
 1178 	int row, int col1, int col2, isl_int tmp)
 1181 	isl_int *tr;
 1187 		isl_int *r;
 1261 	isl_int *tr;
 1262 	isl_int tmp;
 1377 	isl_int *tr;
 1489 static struct isl_tab *add_lexmin_valid_eq(struct isl_tab *tab, isl_int *eq)
 1568 static int add_lexmin_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
 1569 static int add_lexmin_eq(struct isl_tab *tab, isl_int *eq)
 1647 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq)
 1819 	isl_int *r_row;
 1907 static struct isl_tab *check_samples(struct isl_tab *tab, isl_int *ineq, int eq)
 1910 	isl_int v;
 2006 static int tab_has_valid_sample(struct isl_tab *tab, isl_int *ineq, int eq)
 2009 	isl_int v;
 2037 	isl_stat (*add_ineq)(void *user, isl_int *), void *user)
 2115 static int find_div(struct isl_tab *tab, isl_int *div, isl_int denom)
 2115 static int find_div(struct isl_tab *tab, isl_int *div, isl_int denom)
 2179 	isl_int *r_row;
 2237 		isl_int gcd;
 2459 static void context_lex_add_eq(struct isl_context *context, isl_int *eq,
 2482 static void context_lex_add_ineq(struct isl_context *context, isl_int *ineq,
 2504 static isl_stat context_lex_add_ineq_wrap(void *user, isl_int *ineq)
 2514 static enum isl_tab_row_sign tab_ineq_sign(struct isl_tab *tab, isl_int *ineq,
 2519 	isl_int tmp;
 2552 			isl_int *ineq, int strict)
 2561 static int context_lex_test_ineq(struct isl_context *context, isl_int *ineq)
 3061 static struct isl_tab *add_gbr_eq(struct isl_tab *tab, isl_int *eq)
 3087 static void context_gbr_add_eq(struct isl_context *context, isl_int *eq,
 3121 static void add_gbr_ineq(struct isl_context_gbr *cgbr, isl_int *ineq)
 3169 static void context_gbr_add_ineq(struct isl_context *context, isl_int *ineq,
 3193 static isl_stat context_gbr_add_ineq_wrap(void *user, isl_int *ineq)
 3201 			isl_int *ineq, int strict)
 3210 static int context_gbr_test_ineq(struct isl_context *context, isl_int *ineq)
 3259 static int last_non_zero_var_col(struct isl_tab *tab, isl_int *p)
 3730 	isl_int gcd;
 3888 static void find_in_pos(struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)
 4462 static int single_occurrence(int n, isl_int *c, int *occurrences)
 4506 	isl_int *val;
 4514 	isl_int **row = (isl_int **)entry;
 5568 	isl_int *eq)

 7426 	isl_int m, r;

   62 	isl_int *c;
  288 	__isl_keep isl_basic_set *bset, isl_int *c, int *div_purity)
  332 static int purity(__isl_keep isl_basic_set *bset, isl_int *c, int *div_purity,
  462 	isl_int **delta_c = eq ? delta->eq : delta->ineq;
  468 		isl_int *path_c;
 2162 	isl_int opt;

 2836 	isl_int v;

  184 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n)
  202 	isl_int n, isl_int d)
  202 	isl_int n, isl_int d)
  298 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n)
 1048 static void isl_int_gcdext(isl_int *g, isl_int *x, isl_int *y,
 1048 static void isl_int_gcdext(isl_int *g, isl_int *x, isl_int *y,
 1048 static void isl_int_gcdext(isl_int *g, isl_int *x, isl_int *y,
 1049 	isl_int a, isl_int b)
 1049 	isl_int a, isl_int b)
 1051 	isl_int d, tmp;
 1052 	isl_int a_copy, b_copy;
 1286 	isl_int t;
 1351 	isl_int t;
 1395 	isl_int t;

   21 	isl_int n;
   22 	isl_int d;
   32 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n);
   34 	isl_int n, isl_int d);
   34 	isl_int n, isl_int d);
   37 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n);

  269 	int pos, isl_int v)
  387 __isl_give isl_vec *isl_vec_set(__isl_take isl_vec *vec, isl_int v)
  434 void isl_vec_lcm(struct isl_vec *vec, isl_int *lcm)
  472 __isl_give isl_vec *isl_vec_scale(__isl_take isl_vec *vec, isl_int m)
  485 __isl_give isl_vec *isl_vec_fdiv_r(__isl_take isl_vec *vec, isl_int m)
  518 	const isl_int *i1 = (const isl_int *) p1;
  519 	const isl_int *i2 = (const isl_int *) p2;

   13 	isl_int *el;
   22 void isl_vec_lcm(struct isl_vec *vec, isl_int *lcm);
   23 int isl_vec_get_element(__isl_keep isl_vec *vec, int pos, isl_int *v);
   24 __isl_give isl_vec *isl_vec_set(__isl_take isl_vec *vec, isl_int v);

  235 static int is_independent(__isl_keep isl_mat *facets, int n, isl_int *f)
 1426 	isl_int m;