From 6f0fbba2c3d65331d63b43b5964b0a3d67f327df Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 1 Oct 2009 11:23:05 +0200 Subject: [PATCH] add isl_set_detect_equalities --- include/isl_set.h | 1 + isl_affine_hull.c | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/include/isl_set.h b/include/isl_set.h index 084aca5..eb4f72f 100644 --- a/include/isl_set.h +++ b/include/isl_set.h @@ -172,6 +172,7 @@ void isl_set_free(__isl_take isl_set *set); struct isl_set *isl_set_dup(struct isl_set *set); __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset); __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set); +__isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set); __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set); __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set); struct isl_basic_set *isl_set_simple_hull(struct isl_set *set); diff --git a/isl_affine_hull.c b/isl_affine_hull.c index 00108ce..e345151 100644 --- a/isl_affine_hull.c +++ b/isl_affine_hull.c @@ -641,6 +641,11 @@ error: return NULL; } +__isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set) +{ + return (isl_set *)isl_map_detect_equalities((isl_map *)set); +} + /* After computing the rational affine hull (by detecting the implicit * equalities), we compute the additional equalities satisfied by * the integer points (if any) and add the original equalities back in. -- 2.7.4