From 94fa36a6ef63f2de288c3b06dfba67712a22cce2 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 31 May 2019 11:22:32 +0200 Subject: [PATCH] export isl_union_{set,map}_is_disjoint These complement the already exported isl_{set,map}_is_disjoint. Signed-off-by: Sven Verdoolaege --- include/isl/union_map.h | 1 + include/isl/union_set.h | 1 + 2 files changed, 2 insertions(+) diff --git a/include/isl/union_map.h b/include/isl/union_map.h index b83797db..8f38c545 100644 --- a/include/isl/union_map.h +++ b/include/isl/union_map.h @@ -233,6 +233,7 @@ isl_bool isl_union_map_is_subset(__isl_keep isl_union_map *umap1, __isl_export isl_bool isl_union_map_is_equal(__isl_keep isl_union_map *umap1, __isl_keep isl_union_map *umap2); +__isl_export isl_bool isl_union_map_is_disjoint(__isl_keep isl_union_map *umap1, __isl_keep isl_union_map *umap2); __isl_export diff --git a/include/isl/union_set.h b/include/isl/union_set.h index 844dbb1d..0a6f4236 100644 --- a/include/isl/union_set.h +++ b/include/isl/union_set.h @@ -115,6 +115,7 @@ isl_bool isl_union_set_is_subset(__isl_keep isl_union_set *uset1, __isl_export isl_bool isl_union_set_is_equal(__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2); +__isl_export isl_bool isl_union_set_is_disjoint(__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2); __isl_export -- 2.11.4.GIT