add isl_set_neg and isl_set_sum

diff --git a/include/isl_set.h b/include/isl_set.h
index 8a8fc48..c6e5237 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -271,6 +271,10 @@ 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);
 
+__isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
+       __isl_take isl_set *set2);
+__isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
+
 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
 struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);
 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);

diff --git a/isl_map.c b/isl_map.c
index d60d1d7..dcc592a 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2613,6 +2613,12 @@ error:
        return NULL;
 }
 
+__isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
+       __isl_take isl_set *set2)
+{
+       return (isl_set *)isl_map_sum((isl_map *)set1, (isl_map *)set2);
+}
+
 /* Given a basic map A -> f(A), construct A -> -f(A).
  */
 struct isl_basic_map *isl_basic_map_neg(struct isl_basic_map *bmap)
@@ -2660,6 +2666,11 @@ error:
        return NULL;
 }
 
+__isl_give isl_set *isl_set_neg(__isl_take isl_set *set)
+{
+       return (isl_set *)isl_map_neg((isl_map *)set);
+}
+
 /* Given a basic map A -> f(A) and an integer d, construct a basic map
  * A -> floor(f(A)/d).
  */