CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)sandbox.cs.unipr.it 01/10/03 09:40:37
Modified files:
src : Polyhedron.cc
Log message:
Little changes in widening_assign().
Moreover, in widening_assign(), now the check y.is_empty() is done after
y.minimize().
