add isl_set_remove

diff --git a/include/isl_set.h b/include/isl_set.h
index 944041f..1aa47ea 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -215,6 +215,8 @@ struct isl_basic_set *isl_basic_set_remove_dims(struct isl_basic_set *bset,
 struct isl_basic_set *isl_basic_set_remove_divs(struct isl_basic_set *bset);
 struct isl_set *isl_set_eliminate_dims(struct isl_set *set,
                unsigned first, unsigned n);
+__isl_give isl_set *isl_set_remove(__isl_take isl_set *bset,
+       enum isl_dim_type type, unsigned first, unsigned n);
 struct isl_set *isl_set_remove_dims(struct isl_set *set,
                unsigned first, unsigned n);
 struct isl_set *isl_set_remove_divs(struct isl_set *set);

diff --git a/isl_map.c b/isl_map.c
index 3cbfdf8..5927b7b 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -1272,6 +1272,12 @@ error:
        return NULL;
 }
 
+__isl_give isl_set *isl_set_remove(__isl_take isl_set *bset,
+       enum isl_dim_type type, unsigned first, unsigned n)
+{
+       return (isl_set *)isl_map_remove((isl_map *)bset, type, first, n);
+}
+
 /* Project out n inputs starting at first using Fourier-Motzkin */
 struct isl_map *isl_map_remove_inputs(struct isl_map *map,
        unsigned first, unsigned n)