add isl_basic_set_from_underlying_set

diff --git a/include/isl_set.h b/include/isl_set.h
index 1b6e07c..6c1c4d1 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -94,6 +94,8 @@ struct isl_basic_set *isl_basic_set_read_from_file(struct isl_ctx *ctx,
                FILE *input, unsigned nparam, unsigned input_format);
 struct isl_set *isl_set_read_from_file(struct isl_ctx *ctx,
                FILE *input, unsigned nparam, unsigned input_format);
+struct isl_basic_set *isl_basic_set_from_underlying_set(
+       struct isl_basic_set *bset, struct isl_basic_set *like);
 
 int isl_basic_set_is_equal(
                struct isl_basic_set *bset1, struct isl_basic_set *bset2);

diff --git a/isl_map.c b/isl_map.c
index 2b23e03..5bc1ad2 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2087,6 +2087,13 @@ error:
        return NULL;
 }
 
+struct isl_basic_set *isl_basic_set_from_underlying_set(
+       struct isl_basic_set *bset, struct isl_basic_set *like)
+{
+       return (struct isl_basic_set *)
+               isl_basic_map_overlying_set(bset, (struct isl_basic_map *)like);
+}
+
 struct isl_set *isl_map_underlying_set(struct isl_map *map)
 {
        int i;