export isl_basic_map_read_from_str

diff --git a/doc/user.pod b/doc/user.pod
index d780e1f..d0d5909 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -386,6 +386,8 @@ to foreign file formats.
        #include <isl_map.h>
        __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);
 
 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 9d9e785..924750f 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -183,6 +183,8 @@ struct isl_basic_map *isl_basic_map_detect_equalities(
                                                struct isl_basic_map *bmap);
 __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);
 struct isl_basic_map *isl_basic_map_fix_si(struct isl_basic_map *bmap,
                enum isl_dim_type type, unsigned pos, int value);