export isl_map_read_from_file

diff --git a/doc/user.pod b/doc/user.pod
index d0d5909..625b3c4 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -388,6 +388,8 @@ to foreign file formats.
                isl_ctx *ctx, FILE *input, unsigned nparam);
        __isl_give isl_basic_map *isl_basic_map_read_from_str(
                isl_ctx *ctx, const char *str, unsigned nparam);
+       __isl_give isl_map *isl_map_read_from_file(
+               struct isl_ctx *ctx, FILE *input, unsigned nparam);
 
 The input may be either in C<PolyLib> format or in an
 C<Omega>-like format.

diff --git a/include/isl_map.h b/include/isl_map.h
index 924750f..16478bf 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -185,6 +185,8 @@ __isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx,
                FILE *input, unsigned nparam);
 __isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx,
                const char *str, unsigned nparam);
+__isl_give isl_map *isl_map_read_from_file(struct isl_ctx *ctx,
+               FILE *input, unsigned nparam);
 struct isl_basic_map *isl_basic_map_fix_si(struct isl_basic_map *bmap,
                enum isl_dim_type type, unsigned pos, int value);