add isl_tab_set_initial_basis_with_cone
[platform/upstream/isl.git] / isl_equalities.h
1 #ifndef ISL_EQUALITIES_H
2 #define ISL_EQUALITIES_H
3
4 #include <isl_set.h>
5 #include <isl_mat.h>
6
7 #if defined(__cplusplus)
8 extern "C" {
9 #endif
10
11 struct isl_mat *isl_mat_variable_compression(
12                         struct isl_mat *B, struct isl_mat **T2);
13 struct isl_mat *isl_mat_parameter_compression(
14                         struct isl_mat *B, struct isl_vec *d);
15 struct isl_basic_set *isl_basic_set_remove_equalities(
16         struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2);
17
18 #if defined(__cplusplus)
19 }
20 #endif
21
22 #endif