summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2009-03-18 17:35:41 +0100
committerSven Verdoolaege <skimo@kotnet.org>2009-03-20 16:46:54 +0100
commit227fe61bb08f9433327a5051e8fc87499408c135 (patch)
treeb08d01105b79851d0f717a39e41ca4f3211c8f3e
parentdd68f9ebd8b0ac482ba5028883b9680f52a88856 (diff)
downloadisl-227fe61bb08f9433327a5051e8fc87499408c135.tar.gz
isl-227fe61bb08f9433327a5051e8fc87499408c135.tar.bz2
isl-227fe61bb08f9433327a5051e8fc87499408c135.zip
add isl_map_implicit_equalities
-rw-r--r--isl_affine_hull.c19
1 files changed, 19 insertions, 0 deletions
diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index 73a5e945..fbdcddf1 100644
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -40,6 +40,25 @@ struct isl_basic_set *isl_basic_set_implicit_equalities(
isl_basic_map_implicit_equalities((struct isl_basic_map*)bset);
}
+struct isl_map *isl_map_implicit_equalities(struct isl_map *map)
+{
+ int i;
+
+ if (!map)
+ return map;
+
+ for (i = 0; i < map->n; ++i) {
+ map->p[i] = isl_basic_map_implicit_equalities(map->p[i]);
+ if (!map->p[i])
+ goto error;
+ }
+
+ return map;
+error:
+ isl_map_free(map);
+ return NULL;
+}
+
/* Make eq[row][col] of both bmaps equal so we can add the row
* add the column to the common matrix.
* Note that because of the echelon form, the columns of row row