From ae9186a0e3559f21f4faf74180ede3e88ce91195 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 27 Jun 2011 10:25:52 +0200 Subject: [PATCH] isl_constraint: drop constraint iteration isl_constraint used to have two meanings, one as an iterator for the constraints in a set or relation and one as an independent constraint. We want to get rid of the first meaning because it allows the user to change one object through another object. In particular, we remove here the ability to iterate over the constraints of a basic map through an isl_constraint object. These function were never documented, but they were used by CLooG. Now that CLooG has been updated not to use them, we can remove them. Signed-off-by: Sven Verdoolaege --- include/isl/constraint.h | 5 ----- isl_constraint.c | 38 -------------------------------------- 2 files changed, 43 deletions(-) diff --git a/include/isl/constraint.h b/include/isl/constraint.h index 6f2e8c77..8c655bbd 100644 --- a/include/isl/constraint.h +++ b/include/isl/constraint.h @@ -31,11 +31,6 @@ struct isl_constraint *isl_constraint_cow(struct isl_constraint *c); struct isl_constraint *isl_constraint_copy(struct isl_constraint *c); void isl_constraint_free(struct isl_constraint *c); -__isl_give isl_constraint *isl_basic_map_first_constraint( - __isl_take isl_basic_map *bmap); -__isl_give isl_constraint *isl_basic_set_first_constraint( - __isl_take isl_basic_set *bset); -struct isl_constraint *isl_constraint_next(struct isl_constraint *c); int isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap, int (*fn)(__isl_take isl_constraint *c, void *user), void *user); int isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset, diff --git a/isl_constraint.c b/isl_constraint.c index 7c4b7782..8179d4b1 100644 --- a/isl_constraint.c +++ b/isl_constraint.c @@ -171,44 +171,6 @@ void isl_constraint_free(struct isl_constraint *c) free(c); } -__isl_give isl_constraint *isl_basic_map_first_constraint( - __isl_take isl_basic_map *bmap) -{ - if (!bmap) - return NULL; - - if (bmap->n_eq > 0) - return isl_basic_map_constraint(bmap, &bmap->eq[0]); - - if (bmap->n_ineq > 0) - return isl_basic_map_constraint(bmap, &bmap->ineq[0]); - - isl_basic_map_free(bmap); - return NULL; -} - -__isl_give isl_constraint *isl_basic_set_first_constraint( - __isl_take isl_basic_set *bset) -{ - return isl_basic_map_first_constraint((struct isl_basic_map *)bset); -} - -struct isl_constraint *isl_constraint_next(struct isl_constraint *c) -{ - c = isl_constraint_cow(c); - if (c->line >= c->bmap->eq) { - c->line++; - if (c->line < c->bmap->eq + c->bmap->n_eq) - return c; - c->line = c->bmap->ineq; - } else - c->line++; - if (c->line < c->bmap->ineq + c->bmap->n_ineq) - return c; - isl_constraint_free(c); - return NULL; -} - int isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap, int (*fn)(__isl_take isl_constraint *c, void *user), void *user) { -- 2.11.4.GIT