summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2009-09-28 15:40:24 +0200
committerSven Verdoolaege <skimo@kotnet.org>2009-10-07 23:00:18 +0200
commit53cf12b07d5d278df95bb113cf97333d0e144796 (patch)
tree4239782ec219dbdbdedeb35e7d6cc58792e76533 /include
parent119b88a5a541d00fed70c6727e7c664419a972a4 (diff)
downloadisl-53cf12b07d5d278df95bb113cf97333d0e144796.tar.gz
isl-53cf12b07d5d278df95bb113cf97333d0e144796.tar.bz2
isl-53cf12b07d5d278df95bb113cf97333d0e144796.zip
add isl_basic_set_detect_equalities
Diffstat (limited to 'include')
-rw-r--r--include/isl_set.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/isl_set.h b/include/isl_set.h
index 31289667..509c8ebc 100644
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -112,6 +112,8 @@ __isl_give isl_basic_set *isl_basic_set_apply(
__isl_give isl_basic_set *isl_basic_set_affine_hull(
__isl_take isl_basic_set *bset);
struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset);
+__isl_give isl_basic_set *isl_basic_set_detect_equalities(
+ __isl_take isl_basic_set *bset);
struct isl_basic_set *isl_basic_set_product(struct isl_basic_set_list *list);
#define ISL_FORMAT_POLYLIB 1