gen_fun::coefficient: reset the number of rows in the constraint matrix
commit6a1de3b077f2a9b4131f8af3c7be07564e2c87f4
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Aug 2006 11:15:19 +0000 (10 13:15 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Aug 2006 11:15:19 +0000 (10 13:15 +0200)
treef206f3cbe650620038b2b5a298fb2dc1f8a307f1
parent5954a9d0ac48ab5e75769f3bf4dde9ef9a46c01c
gen_fun::coefficient: reset the number of rows in the constraint matrix

Apparently, Constraints2Polyhedron not only changes the elements
of the matrix, but it may also change the number of rows.
genfun.cc