int isl_union_map_is_empty(__isl_keep isl_union_map *umap);
int isl_union_map_is_single_valued(__isl_keep isl_union_map *umap);
+int isl_union_map_plain_is_injective(__isl_keep isl_union_map *umap);
int isl_union_map_is_injective(__isl_keep isl_union_map *umap);
int isl_union_map_is_bijective(__isl_keep isl_union_map *umap);