From 3d888bf4a1f9e81964266360b92212926c0b8f8d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 30 Sep 2009 12:37:35 +0200 Subject: [PATCH] export isl_mat header --- Makefile.am | 2 +- isl_mat.h => include/isl_mat.h | 8 ++------ isl_map_private.h | 6 ++++++ 3 files changed, 9 insertions(+), 7 deletions(-) rename isl_mat.h => include/isl_mat.h (92%) diff --git a/Makefile.am b/Makefile.am index 808e586..118f4de 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 similarity index 92% rename from isl_mat.h rename to include/isl_mat.h index 6e44a96..55d39b0 100644 --- a/isl_mat.h +++ b/include/isl_mat.h @@ -6,8 +6,7 @@ #include #include #include -#include -#include "isl_vec.h" +#include #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 bad2f58..bbf522a 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); -- 2.7.4