[PPL-devel] Polyhedra/src Polyhedron.cc

[Elisa Ricci]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	ericci at 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().