barvinok_enumerate_e_r: don't assume AddConstraints computes vertices
commit37de2562810121a294b02f6c7851a3f2271d1005
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Jun 2007 14:26:04 +0000 (30 16:26 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Jun 2007 15:20:54 +0000 (30 17:20 +0200)
treee5052d4dd7c9e6416ff9acfff007ff8851d1484e
parentddacd47b7bb646d353b45b6216b5d1517f62f04f
barvinok_enumerate_e_r: don't assume AddConstraints computes vertices

In earlier versions of PolyLib AddConstraints would always compute
the vertices, even if POL_NO_DUAL was set and some code depended
on this fact.  Remove some of these assumptions by explicitly calling
POL_ENSURE_VERTICES.
barvinok.cc