From 47c29b05d2b35599bd319780334f38a909efb1dd Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 24 Feb 2012 09:55:43 +0100 Subject: [PATCH] add isl_basic_set_is_subset Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/set.h | 3 +++ isl_map.c | 6 ++++++ 3 files changed, 12 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 0d82edd7..11c92994 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1715,6 +1715,9 @@ i.e., whether both domain and range are nested relations. =item * Subset + int isl_basic_set_is_subset( + __isl_keep isl_basic_set *bset1, + __isl_keep isl_basic_set *bset2); int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2); int isl_set_is_strict_subset( diff --git a/include/isl/set.h b/include/isl/set.h index 43c1a23f..80aeb939 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -225,6 +225,9 @@ int isl_basic_set_fast_is_empty(__isl_keep isl_basic_set *bset); __isl_export int isl_basic_set_is_empty(__isl_keep isl_basic_set *bset); int isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset); +__isl_export +int isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1, + __isl_keep isl_basic_set *bset2); struct isl_set *isl_set_alloc(struct isl_ctx *ctx, unsigned nparam, unsigned dim, int n, unsigned flags); diff --git a/isl_map.c b/isl_map.c index 6339d46f..58ef4cd9 100644 --- a/isl_map.c +++ b/isl_map.c @@ -6713,6 +6713,12 @@ int isl_basic_map_is_subset( return is_subset; } +int isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1, + __isl_keep isl_basic_set *bset2) +{ + return isl_basic_map_is_subset(bset1, bset2); +} + int isl_basic_map_is_equal( struct isl_basic_map *bmap1, struct isl_basic_map *bmap2) { -- 2.11.4.GIT