isl_basic_set_compare_at: combine constraints before setting up objective
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Dec 2008 15:25:34 +0000 (16:25 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Dec 2008 15:25:34 +0000 (16:25 +0100)
commit89ba296aee5aa06b1c97febb4cb2e294f7b3572f
tree826e8c21f7d8a94e81d99731964c98d761e42aff
parent4433b45d31f7f5461ee372a8a4aa2d3a955f96b5
isl_basic_set_compare_at: combine constraints before setting up objective

The number of columns in the objective function should be equal
to the number of columns in the domain, but this number may change
during the call to add_constraints if bmap2 has any divs.
isl_map.c