isl_*_partial_lex{min,max}_pw_multi_aff: handle existentially quantified vars
[isl.git] / isl_mat_private.h
blob197106fff89af94617b0d36dea86b6a2bac12e28
1 #include <isl/mat.h>
2 #include <isl_blk.h>
4 struct isl_mat {
5 int ref;
7 struct isl_ctx *ctx;
9 #define ISL_MAT_BORROWED (1 << 0)
10 unsigned flags;
12 unsigned n_row;
13 unsigned n_col;
15 isl_int **row;
17 /* actual size of the rows in memory; n_col <= max_col */
18 unsigned max_col;
20 struct isl_blk block;
23 uint32_t isl_mat_get_hash(__isl_keep isl_mat *mat);
25 __isl_give isl_mat *isl_mat_sub_alloc(__isl_keep isl_mat *mat,
26 unsigned first_row, unsigned n_row, unsigned first_col, unsigned n_col);
27 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row,
28 unsigned first_row, unsigned n_row, unsigned first_col, unsigned n_col);
29 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
30 unsigned n_row, unsigned dst_col, unsigned src_col, unsigned n_col);
31 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
32 unsigned n_row, unsigned dst_col, unsigned src_col, unsigned n_col);
33 __isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d);
35 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m);
36 __isl_give isl_mat *isl_mat_scale_down_row(__isl_take isl_mat *mat, int row,
37 isl_int m);
39 __isl_give isl_vec *isl_mat_get_row(__isl_keep isl_mat *mat, unsigned row);
41 int isl_mat_is_scaled_identity(__isl_keep isl_mat *mat);
43 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);
45 void isl_mat_col_mul(struct isl_mat *mat, int dst_col, isl_int f, int src_col);
46 void isl_mat_col_submul(struct isl_mat *mat,
47 int dst_col, isl_int f, int src_col);
49 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v);
50 __isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,
51 int row, int col, isl_int v);