add isl_set_is_strict_subset

diff --git a/doc/user.pod b/doc/user.pod
index 480f3df..03cd214 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -673,6 +673,9 @@ is already known to be empty.
 
        int isl_set_is_subset(__isl_keep isl_set *set1,
                __isl_keep isl_set *set2);
+       int isl_set_is_strict_subset(
+               __isl_keep isl_set *set1,
+               __isl_keep isl_set *set2);
        int isl_basic_map_is_subset(
                __isl_keep isl_basic_map *bmap1,
                __isl_keep isl_basic_map *bmap2);

diff --git a/include/isl_set.h b/include/isl_set.h
index 423604a..64cb358 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -209,6 +209,7 @@ void isl_set_dump(__isl_keep isl_set *set, FILE *out, int indent);
 struct isl_set *isl_set_swap_vars(struct isl_set *set, unsigned n);
 int isl_set_is_empty(__isl_keep isl_set *set);
 int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
+int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 
 struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);

diff --git a/isl_map.c b/isl_map.c
index 9ff397b..2821a69 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -4052,6 +4052,11 @@ int isl_map_is_strict_subset(struct isl_map *map1, struct isl_map *map2)
        return !is_subset;
 }
 
+int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
+{
+       return isl_map_is_strict_subset((isl_map *)set1, (isl_map *)set2);
+}
+
 int isl_basic_map_is_universe(struct isl_basic_map *bmap)
 {
        if (!bmap)