isl_basic_set_factorizer: make sure group information gets updated
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 20 Jan 2011 13:42:37 +0000 (14:42 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 21 Jan 2011 21:07:54 +0000 (22:07 +0100)
commitf49c27407547f4eb3a8070408f5f8acc659cabca
tree7b47f11e8c534dbd63290103ac1808db04506053
parent3e8262655c090adb32238c9ebc17f8b5a7594454
isl_basic_set_factorizer: make sure group information gets updated

We lazily keep track of which group a column belongs to.
The actual construction of the factors assumes the groups have been
updated, however, so we need to make sure that the group of each
column eventually gets updated.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
include/isl/ctx.h
isl_factorization.c
isl_test.c