diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-18 17:35:41 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-20 16:46:54 +0100 |
commit | 227fe61bb08f9433327a5051e8fc87499408c135 (patch) | |
tree | b08d01105b79851d0f717a39e41ca4f3211c8f3e | |
parent | dd68f9ebd8b0ac482ba5028883b9680f52a88856 (diff) | |
download | isl-227fe61bb08f9433327a5051e8fc87499408c135.tar.gz isl-227fe61bb08f9433327a5051e8fc87499408c135.tar.bz2 isl-227fe61bb08f9433327a5051e8fc87499408c135.zip |
add isl_map_implicit_equalities
-rw-r--r-- | isl_affine_hull.c | 19 |
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 |