From dd2dd42fe4a6d34ddec541580ca8020b875478fb Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 21 Feb 2012 18:00:37 +0100 Subject: [PATCH] export isl_map_plain_is_single_valued Signed-off-by: Sven Verdoolaege --- doc/user.pod | 2 ++ include/isl/map.h | 1 + 2 files changed, 3 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 18993007..f3b21f9a 100644 --- 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 bc087e84..f17d46b5 100644 --- 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); -- 2.11.4.GIT