add isl_basic_map_add_constraint

diff --git a/include/isl_constraint.h b/include/isl_constraint.h
index 8494581..c0b0ce6 100644 (file)
--- a/include/isl_constraint.h
+++ b/include/isl_constraint.h
@@ -31,6 +31,8 @@ struct isl_constraint *isl_constraint_next(struct isl_constraint *c);
 int isl_constraint_is_equal(struct isl_constraint *constraint1,
                            struct isl_constraint *constraint2);
 
+struct isl_basic_map *isl_basic_map_add_constraint(
+       struct isl_basic_map *bmap, struct isl_constraint *constraint);
 struct isl_basic_set *isl_basic_set_add_constraint(
        struct isl_basic_set *bset, struct isl_constraint *constraint);
 

diff --git a/isl_constraint.c b/isl_constraint.c
index 741edb4..8668341 100644 (file)
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -171,25 +171,33 @@ int isl_constraint_is_equal(struct isl_constraint *constraint1,
               constraint1->line == constraint2->line;
 }
 
-struct isl_basic_set *isl_basic_set_add_constraint(
-       struct isl_basic_set *bset, struct isl_constraint *constraint)
+struct isl_basic_map *isl_basic_map_add_constraint(
+       struct isl_basic_map *bmap, struct isl_constraint *constraint)
 {
-       if (!bset || !constraint)
+       if (!bmap || !constraint)
                goto error;
 
        isl_assert(constraint->ctx,
-               isl_dim_equal(bset->dim, constraint->bmap->dim), goto error);
+               isl_dim_equal(bmap->dim, constraint->bmap->dim), goto error);
 
-       bset = isl_basic_set_intersect(bset,
-               isl_basic_set_copy((struct isl_basic_set *)constraint->bmap));
+       bmap = isl_basic_map_intersect(bmap,
+                                   isl_basic_map_copy(constraint->bmap));
        isl_constraint_free(constraint);
-       return bset;
+       return bmap;
 error:
-       isl_basic_set_free(bset);
+       isl_basic_map_free(bmap);
        isl_constraint_free(constraint);
        return NULL;
 }
 
+struct isl_basic_set *isl_basic_set_add_constraint(
+       struct isl_basic_set *bset, struct isl_constraint *constraint)
+{
+       return (struct isl_basic_set *)
+               isl_basic_map_add_constraint((struct isl_basic_map *)bset,
+                                               constraint);
+}
+
 struct isl_constraint *isl_constraint_add_div(struct isl_constraint *constraint,
        struct isl_div *div, int *pos)
 {