[PPL-devel] ppl/src Polyhedron.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2002-10-07 11:31:22

Modified files:
	src            : Polyhedron.cc 

Log message:
	Modified method Polyhedron::is_BBRZ02_stabilizing(x, y) so that:
	- we check for a decreasing number of rays lying inside the faces
	of an orthant.
	- we check whether x and y do happens to be the same polyhedron.
	Modified method  Polyhedron::BBRZ02_widening_assign(y) to apply,
	as a last resort, the widening H79.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.239&r2=1.240