isl_map_coalesce: allowing cutting equalities in adjacent facet
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 18 Apr 2010 16:37:56 +0000 (18:37 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Apr 2010 10:48:08 +0000 (12:48 +0200)
commita5da2eb5016ea2ac7f960ac9859364c96279668d
tree02fc246977c7dbe619b9ab61f12f651d3520ed61
parentef727b1e6646de8ad3e9a5850d56843f67a407d8
isl_map_coalesce: allowing cutting equalities in adjacent facet

From the start, we have been very careful not to allow any cutting
equalities anywhere.  However, it makes sense to wrap in a piece
of a hyperplane adjacent to a facet, even if this piece is
lower-dimensional.
isl_coalesce.c
isl_test.c