From d1374f24acec4c3b3e65f1c6f44b54406500470d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 9 May 2010 16:06:52 +0200 Subject: [PATCH] privately export isl_set_is_bounded --- isl_convex_hull.c | 7 ++++++- isl_map_private.h | 2 ++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/isl_convex_hull.c b/isl_convex_hull.c index d4bf780..17212c3 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -869,13 +869,18 @@ static int isl_basic_set_is_bounded(struct isl_basic_set *bset) struct isl_tab *tab; int bounded; + if (!bset) + return -1; + if (isl_basic_set_fast_is_empty(bset)) + return 1; + tab = isl_tab_from_recession_cone(bset); bounded = isl_tab_cone_is_bounded(tab); isl_tab_free(tab); return bounded; } -static int isl_set_is_bounded(struct isl_set *set) +int isl_set_is_bounded(__isl_keep isl_set *set) { int i; diff --git a/isl_map_private.h b/isl_map_private.h index 4b2b39a..21438db 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -169,3 +169,5 @@ int isl_basic_set_vars_get_sign(__isl_keep isl_basic_set *bset, int isl_basic_set_add_div_constraints_var(__isl_keep isl_basic_set *bset, unsigned pos, isl_int *div); + +int isl_set_is_bounded(__isl_keep isl_set *set); -- 2.7.4