add isl_map_is_strict_subset

diff --git a/include/isl_map.h b/include/isl_map.h
index 4917e2e..042010d 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -262,6 +262,7 @@ struct isl_set *isl_set_from_map(struct isl_map *map);
 int isl_map_fast_is_empty(struct isl_map *map);
 int isl_map_is_empty(struct isl_map *map);
 int isl_map_is_subset(struct isl_map *map1, struct isl_map *map2);
+int isl_map_is_strict_subset(struct isl_map *map1, struct isl_map *map2);
 int isl_map_is_equal(struct isl_map *map1, struct isl_map *map2);
 
 void isl_map_dump(struct isl_map *map, FILE *out, int indent);

diff --git a/isl_map.c b/isl_map.c
index 3a77a7a..0477eaa 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -3870,6 +3870,21 @@ int isl_basic_map_is_strict_subset(
        return !is_subset;
 }
 
+int isl_map_is_strict_subset(struct isl_map *map1, struct isl_map *map2)
+{
+       int is_subset;
+
+       if (!map1 || !map2)
+               return -1;
+       is_subset = isl_map_is_subset(map1, map2);
+       if (is_subset != 1)
+               return is_subset;
+       is_subset = isl_map_is_subset(map2, map1);
+       if (is_subset == -1)
+               return is_subset;
+       return !is_subset;
+}
+
 int isl_basic_map_is_universe(struct isl_basic_map *bmap)
 {
        if (!bmap)