export isl_map_plain_is_single_valued

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index 1899300..f3b21f9 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1620,6 +1620,8 @@ is already known to be empty.
 
 =item * Single-valuedness
 
+       int isl_map_plain_is_single_valued(
+               __isl_keep isl_map *map);
        int isl_map_is_single_valued(__isl_keep isl_map *map);
        int isl_union_map_is_single_valued(__isl_keep isl_union_map *umap);
 

diff --git a/include/isl/map.h b/include/isl/map.h
index bc087e8..f17d46b 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -483,6 +483,7 @@ __isl_export
 int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 __isl_export
 int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
+int isl_map_plain_is_single_valued(__isl_keep isl_map *map);
 __isl_export
 int isl_map_is_single_valued(__isl_keep isl_map *map);
 int isl_map_plain_is_injective(__isl_keep isl_map *map);