summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2009-03-18 13:09:24 +0100
committerSven Verdoolaege <skimo@kotnet.org>2009-03-20 16:46:54 +0100
commitdd68f9ebd8b0ac482ba5028883b9680f52a88856 (patch)
tree29104549152cf988f640b591e4fff6bcc4eb3985
parentf148fc3121c1785ce7c049a8078de5a7397256c1 (diff)
downloadisl-dd68f9ebd8b0ac482ba5028883b9680f52a88856.tar.gz
isl-dd68f9ebd8b0ac482ba5028883b9680f52a88856.tar.bz2
isl-dd68f9ebd8b0ac482ba5028883b9680f52a88856.zip
add isl_basic_set_free_equality
-rw-r--r--isl_map.c5
-rw-r--r--isl_map_private.h1
2 files changed, 6 insertions, 0 deletions
diff --git a/isl_map.c b/isl_map.c
index 82f1dff8..10955962 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -503,6 +503,11 @@ int isl_basic_map_free_equality(struct isl_basic_map *bmap, unsigned n)
return 0;
}
+int isl_basic_set_free_equality(struct isl_basic_set *bset, unsigned n)
+{
+ return isl_basic_map_free_equality((struct isl_basic_map *)bset, n);
+}
+
int isl_basic_map_drop_equality(struct isl_basic_map *bmap, unsigned pos)
{
isl_int *t;
diff --git a/isl_map_private.h b/isl_map_private.h
index 16307166..3ef8dbfa 100644
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -35,6 +35,7 @@ int isl_basic_map_alloc_equality(struct isl_basic_map *bmap);
int isl_basic_set_alloc_equality(struct isl_basic_set *bset);
int isl_basic_set_free_inequality(struct isl_basic_set *bset, unsigned n);
int isl_basic_map_free_equality(struct isl_basic_map *bmap, unsigned n);
+int isl_basic_set_free_equality(struct isl_basic_set *bset, unsigned n);
int isl_basic_set_alloc_inequality(struct isl_basic_set *bset);
int isl_basic_map_alloc_inequality(struct isl_basic_map *bmap);
int isl_basic_map_free_inequality(struct isl_basic_map *bmap, unsigned n);