isl_tab_lexmin_add_eq: make sure the tableau has enough room
[isl.git] / isl_mat_private.h
blobfd808ed0e26aabe340803584d6ab9103a9182c57
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_down_row(__isl_take isl_mat *mat, int row,
36 isl_int m);
38 __isl_give isl_vec *isl_mat_get_row(__isl_keep isl_mat *mat, unsigned row);
40 int isl_mat_is_scaled_identity(__isl_keep isl_mat *mat);
42 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);
44 void isl_mat_col_mul(struct isl_mat *mat, int dst_col, isl_int f, int src_col);
45 void isl_mat_col_submul(struct isl_mat *mat,
46 int dst_col, isl_int f, int src_col);
48 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v);
49 __isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,
50 int row, int col, isl_int v);