From 0568f99542631aca91d82c497e891f52a945d398 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 8 Jun 2010 21:24:44 +0200 Subject: [PATCH] privately export isl_basic_set_sort_constraints and isl_basic_set_fast_is_equal --- isl_map.c | 14 ++++++++++++++ isl_map_private.h | 4 ++++ 2 files changed, 18 insertions(+) diff --git a/isl_map.c b/isl_map.c index c4c693a..3e66b1b 100644 --- a/isl_map.c +++ b/isl_map.c @@ -5950,6 +5950,13 @@ error: return NULL; } +__isl_give isl_basic_set *isl_basic_set_sort_constraints( + __isl_take isl_basic_set *bset) +{ + return (struct isl_basic_set *)isl_basic_map_sort_constraints( + (struct isl_basic_map *)bset); +} + struct isl_basic_map *isl_basic_map_normalize(struct isl_basic_map *bmap) { if (!bmap) @@ -6020,6 +6027,13 @@ static int isl_basic_map_fast_is_equal(struct isl_basic_map *bmap1, return isl_basic_map_fast_cmp(bmap1, bmap2) == 0; } +int isl_basic_set_fast_is_equal(__isl_keep isl_basic_set *bset1, + __isl_keep isl_basic_set *bset2) +{ + return isl_basic_map_fast_is_equal((isl_basic_map *)bset1, + (isl_basic_map *)bset2); +} + static int qsort_bmap_cmp(const void *p1, const void *p2) { const struct isl_basic_map *bmap1 = *(const struct isl_basic_map **)p1; diff --git a/isl_map_private.h b/isl_map_private.h index 4b2b39a..95953af 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -92,6 +92,10 @@ struct isl_basic_map *isl_basic_map_gauss( struct isl_basic_map *bmap, int *progress); struct isl_basic_set *isl_basic_set_gauss( struct isl_basic_set *bset, int *progress); +__isl_give isl_basic_set *isl_basic_set_sort_constraints( + __isl_take isl_basic_set *bset); +int isl_basic_set_fast_is_equal(__isl_keep isl_basic_set *bset1, + __isl_keep isl_basic_set *bset2); struct isl_basic_map *isl_basic_map_normalize_constraints( struct isl_basic_map *bmap); struct isl_basic_set *isl_basic_set_normalize_constraints( -- 2.7.4