diff options
-rw-r--r-- | Makefile.am | 2 | ||||
-rw-r--r-- | include/isl_mat.h (renamed from isl_mat.h) | 8 | ||||
-rw-r--r-- | isl_map_private.h | 6 |
3 files changed, 9 insertions, 7 deletions
diff --git a/Makefile.am b/Makefile.am index 808e586d..118f4de9 100644 --- a/Makefile.am +++ b/Makefile.am @@ -68,7 +68,6 @@ libisl_la_SOURCES = \ isl_map_private.h \ isl_map_piplib.h \ isl_mat.c \ - isl_mat.h \ isl_name.c \ isl_name.h \ isl_output.c \ @@ -140,6 +139,7 @@ pkginclude_HEADERS = \ include/isl_hash.h \ include/isl_list.h \ include/isl_lp.h \ + include/isl_mat.h \ include/isl_map.h \ include/isl_map_polylib.h \ include/isl_polylib.h \ diff --git a/isl_mat.h b/include/isl_mat.h index 6e44a96c..55d39b08 100644 --- a/isl_mat.h +++ b/include/isl_mat.h @@ -6,8 +6,7 @@ #include <isl_int.h> #include <isl_ctx.h> #include <isl_blk.h> -#include <isl_set.h> -#include "isl_vec.h" +#include <isl_vec.h> #if defined(__cplusplus) extern "C" { @@ -31,6 +30,7 @@ struct isl_mat { struct isl_blk block; }; +typedef struct isl_mat isl_mat; struct isl_mat *isl_mat_alloc(struct isl_ctx *ctx, unsigned n_row, unsigned n_col); @@ -75,10 +75,6 @@ void isl_mat_col_mul(struct isl_mat *mat, int dst_col, isl_int f, int src_col); void isl_mat_col_submul(struct isl_mat *mat, int dst_col, isl_int f, int src_col); -struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset, - struct isl_mat *mat); -struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat); - struct isl_mat *isl_mat_unimodular_complete(struct isl_mat *M, int row); void isl_mat_dump(struct isl_mat *mat, FILE *out, int indent); diff --git a/isl_map_private.h b/isl_map_private.h index bad2f58a..bbf522ad 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -123,3 +123,9 @@ struct isl_basic_set *isl_basic_set_recession_cone(struct isl_basic_set *bset); struct isl_basic_set *isl_basic_set_lineality_space(struct isl_basic_set *bset); struct isl_basic_set *isl_basic_set_set_rational(struct isl_basic_set *bset); + +struct isl_mat; + +struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset, + struct isl_mat *mat); +struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat); |