isl_tab.c: to_row: allow pivoting in arbitrary direction
commit35d050172ce3e402c0d95ac6044a311c16cbeda4
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 23 Jul 2009 16:15:17 +0000 (23 18:15 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 4 Aug 2009 17:26:36 +0000 (4 19:26 +0200)
tree248af6ab148a8a171c4980fa4d23cf8b93aa2b88
parentb6552f15e4d9705858596ae6bcf34c6ce70678e8
isl_tab.c: to_row: allow pivoting in arbitrary direction

While undoing the allocation of a row, we may be dealing with
a row that was unbounded in both directions and is now in a column.
To move the column back to a row, we just pivot using any non-zero entry.
isl_tab.c