85639bea4fa421796186574611ec4dd81d6069c6
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
21 #if defined(__cplusplus)
26 typedef struct isl_mat isl_mat
;
28 isl_ctx
*isl_mat_get_ctx(__isl_keep isl_mat
*mat
);
30 __isl_give isl_mat
*isl_mat_alloc(isl_ctx
*ctx
,
31 unsigned n_row
, unsigned n_col
);
32 struct isl_mat
*isl_mat_dup(struct isl_mat
*mat
);
33 struct isl_mat
*isl_mat_extend(struct isl_mat
*mat
,
34 unsigned n_row
, unsigned n_col
);
35 struct isl_mat
*isl_mat_identity(struct isl_ctx
*ctx
, unsigned n_row
);
36 __isl_give isl_mat
*isl_mat_copy(__isl_keep isl_mat
*mat
);
37 struct isl_mat
*isl_mat_cow(struct isl_mat
*mat
);
38 void *isl_mat_free(__isl_take isl_mat
*mat
);
40 int isl_mat_rows(__isl_keep isl_mat
*mat
);
41 int isl_mat_cols(__isl_keep isl_mat
*mat
);
42 int isl_mat_get_element(__isl_keep isl_mat
*mat
, int row
, int col
, isl_int
*v
);
43 __isl_give isl_val
*isl_mat_get_element_val(__isl_keep isl_mat
*mat
,
45 __isl_give isl_mat
*isl_mat_set_element(__isl_take isl_mat
*mat
,
46 int row
, int col
, isl_int v
);
47 __isl_give isl_mat
*isl_mat_set_element_si(__isl_take isl_mat
*mat
,
48 int row
, int col
, int v
);
49 __isl_give isl_mat
*isl_mat_set_element_val(__isl_take isl_mat
*mat
,
50 int row
, int col
, __isl_take isl_val
*v
);
52 struct isl_mat
*isl_mat_swap_cols(struct isl_mat
*mat
, unsigned i
, unsigned j
);
53 struct isl_mat
*isl_mat_swap_rows(struct isl_mat
*mat
, unsigned i
, unsigned j
);
55 struct isl_vec
*isl_mat_vec_product(struct isl_mat
*mat
, struct isl_vec
*vec
);
56 struct isl_vec
*isl_vec_mat_product(struct isl_vec
*vec
, struct isl_mat
*mat
);
57 __isl_give isl_vec
*isl_mat_vec_inverse_product(__isl_take isl_mat
*mat
,
58 __isl_take isl_vec
*vec
);
59 struct isl_mat
*isl_mat_aff_direct_sum(struct isl_mat
*left
,
60 struct isl_mat
*right
);
61 __isl_give isl_mat
*isl_mat_diagonal(__isl_take isl_mat
*mat1
,
62 __isl_take isl_mat
*mat2
);
63 struct isl_mat
*isl_mat_left_hermite(struct isl_mat
*M
,
64 int neg
, struct isl_mat
**U
, struct isl_mat
**Q
);
65 struct isl_mat
*isl_mat_lin_to_aff(struct isl_mat
*mat
);
66 struct isl_mat
*isl_mat_inverse_product(struct isl_mat
*left
,
67 struct isl_mat
*right
);
68 __isl_give isl_mat
*isl_mat_product(__isl_take isl_mat
*left
,
69 __isl_take isl_mat
*right
);
70 struct isl_mat
*isl_mat_transpose(struct isl_mat
*mat
);
71 __isl_give isl_mat
*isl_mat_right_inverse(__isl_take isl_mat
*mat
);
72 __isl_give isl_mat
*isl_mat_right_kernel(__isl_take isl_mat
*mat
);
74 __isl_give isl_mat
*isl_mat_scale_down_row(__isl_take isl_mat
*mat
, int row
,
77 __isl_give isl_mat
*isl_mat_normalize(__isl_take isl_mat
*mat
);
78 __isl_give isl_mat
*isl_mat_normalize_row(__isl_take isl_mat
*mat
, int row
);
80 struct isl_mat
*isl_mat_drop_cols(struct isl_mat
*mat
,
81 unsigned col
, unsigned n
);
82 struct isl_mat
*isl_mat_drop_rows(struct isl_mat
*mat
,
83 unsigned row
, unsigned n
);
84 __isl_give isl_mat
*isl_mat_insert_cols(__isl_take isl_mat
*mat
,
85 unsigned col
, unsigned n
);
86 __isl_give isl_mat
*isl_mat_insert_rows(__isl_take isl_mat
*mat
,
87 unsigned row
, unsigned n
);
88 __isl_give isl_mat
*isl_mat_move_cols(__isl_take isl_mat
*mat
,
89 unsigned dst_col
, unsigned src_col
, unsigned n
);
90 __isl_give isl_mat
*isl_mat_add_rows(__isl_take isl_mat
*mat
, unsigned n
);
91 __isl_give isl_mat
*isl_mat_insert_zero_cols(__isl_take isl_mat
*mat
,
92 unsigned first
, unsigned n
);
93 __isl_give isl_mat
*isl_mat_add_zero_cols(__isl_take isl_mat
*mat
, unsigned n
);
94 __isl_give isl_mat
*isl_mat_insert_zero_rows(__isl_take isl_mat
*mat
,
95 unsigned row
, unsigned n
);
96 __isl_give isl_mat
*isl_mat_add_zero_rows(__isl_take isl_mat
*mat
, unsigned n
);
98 void isl_mat_col_add(__isl_keep isl_mat
*mat
, int dst_col
, int src_col
);
99 void isl_mat_col_mul(struct isl_mat
*mat
, int dst_col
, isl_int f
, int src_col
);
100 void isl_mat_col_submul(struct isl_mat
*mat
,
101 int dst_col
, isl_int f
, int src_col
);
103 struct isl_mat
*isl_mat_unimodular_complete(struct isl_mat
*M
, int row
);
105 __isl_give isl_mat
*isl_mat_from_row_vec(__isl_take isl_vec
*vec
);
106 __isl_give isl_mat
*isl_mat_concat(__isl_take isl_mat
*top
,
107 __isl_take isl_mat
*bot
);
108 __isl_give isl_mat
*isl_mat_vec_concat(__isl_take isl_mat
*top
,
109 __isl_take isl_vec
*bot
);
111 int isl_mat_is_equal(__isl_keep isl_mat
*mat1
, __isl_keep isl_mat
*mat2
);
113 int isl_mat_initial_non_zero_cols(__isl_keep isl_mat
*mat
);
115 void isl_mat_print_internal(__isl_keep isl_mat
*mat
, FILE *out
, int indent
);
116 void isl_mat_dump(__isl_keep isl_mat
*mat
);
118 #if defined(__cplusplus)