summaryrefslogtreecommitdiff
path: root/isl_constraint.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2011-08-21 10:38:41 +0200
committerSven Verdoolaege <skimo@kotnet.org>2011-09-03 12:02:47 +0200
commitd07eed3bf4d0e290118588ca80997a8035eaeb21 (patch)
treea91f34068f9540feeaf3fe687ca363968de9b5a2 /isl_constraint.c
parentcd1939ed06617d00159e8e51b72a804b467e98b4 (diff)
downloadisl-d07eed3bf4d0e290118588ca80997a8035eaeb21.tar.gz
isl-d07eed3bf4d0e290118588ca80997a8035eaeb21.tar.bz2
isl-d07eed3bf4d0e290118588ca80997a8035eaeb21.zip
rename isl_dim to isl_space
The old name was confusing because the name suggested that the object represents a single dimension, while in fact it represents an entire space. The documented isl_dim based names are for backward compatibility. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_constraint.c')
-rw-r--r--isl_constraint.c32
1 files changed, 16 insertions, 16 deletions
diff --git a/isl_constraint.c b/isl_constraint.c
index c3c3526b..6fa4988f 100644
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -12,7 +12,7 @@
#include <isl_map_private.h>
#include <isl_constraint_private.h>
-#include <isl_dim_private.h>
+#include <isl_space_private.h>
#include <isl_div_private.h>
#include <isl/seq.h>
#include <isl_aff_private.h>
@@ -36,14 +36,14 @@ static unsigned offset(struct isl_constraint *c, enum isl_dim_type type)
static unsigned basic_map_offset(__isl_keep isl_basic_map *bmap,
enum isl_dim_type type)
{
- return type == isl_dim_div ? 1 + isl_dim_total(bmap->dim)
- : 1 + isl_dim_offset(bmap->dim, type);
+ return type == isl_dim_div ? 1 + isl_space_dim(bmap->dim, isl_dim_all)
+ : 1 + isl_space_offset(bmap->dim, type);
}
static unsigned basic_set_offset(struct isl_basic_set *bset,
enum isl_dim_type type)
{
- struct isl_dim *dim = bset->dim;
+ isl_space *dim = bset->dim;
switch (type) {
case isl_dim_param: return 1;
case isl_dim_in: return 1 + dim->nparam;
@@ -108,14 +108,14 @@ struct isl_constraint *isl_basic_set_constraint(struct isl_basic_set *bset,
return isl_basic_map_constraint((struct isl_basic_map *)bset, line);
}
-struct isl_constraint *isl_equality_alloc(struct isl_dim *dim)
+struct isl_constraint *isl_equality_alloc(__isl_take isl_space *dim)
{
struct isl_basic_map *bmap;
if (!dim)
return NULL;
- bmap = isl_basic_map_alloc_dim(dim, 0, 1, 0);
+ bmap = isl_basic_map_alloc_space(dim, 0, 1, 0);
if (!bmap)
return NULL;
@@ -124,14 +124,14 @@ struct isl_constraint *isl_equality_alloc(struct isl_dim *dim)
return isl_basic_map_constraint(bmap, &bmap->eq[0]);
}
-struct isl_constraint *isl_inequality_alloc(struct isl_dim *dim)
+struct isl_constraint *isl_inequality_alloc(__isl_take isl_space *dim)
{
struct isl_basic_map *bmap;
if (!dim)
return NULL;
- bmap = isl_basic_map_alloc_dim(dim, 0, 0, 1);
+ bmap = isl_basic_map_alloc_space(dim, 0, 0, 1);
if (!bmap)
return NULL;
@@ -234,17 +234,17 @@ struct isl_basic_map *isl_basic_map_add_constraint(
struct isl_basic_map *bmap, struct isl_constraint *constraint)
{
isl_ctx *ctx;
- isl_dim *dim;
- int equal_dim;
+ isl_space *dim;
+ int equal_space;
if (!bmap || !constraint)
goto error;
ctx = isl_constraint_get_ctx(constraint);
- dim = isl_constraint_get_dim(constraint);
- equal_dim = isl_dim_equal(bmap->dim, dim);
- isl_dim_free(dim);
- isl_assert(ctx, equal_dim, goto error);
+ dim = isl_constraint_get_space(constraint);
+ equal_space = isl_space_is_equal(bmap->dim, dim);
+ isl_space_free(dim);
+ isl_assert(ctx, equal_space, goto error);
bmap = isl_basic_map_intersect(bmap,
isl_basic_map_from_constraint(constraint));
@@ -280,10 +280,10 @@ __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
return isl_map_add_constraint(set, constraint);
}
-__isl_give isl_dim *isl_constraint_get_dim(
+__isl_give isl_space *isl_constraint_get_space(
__isl_keep isl_constraint *constraint)
{
- return constraint ? isl_aff_get_dim(constraint->aff) : NULL;
+ return constraint ? isl_aff_get_space(constraint->aff) : NULL;
}
int isl_constraint_dim(struct isl_constraint *constraint,