[PPL-devel] ppl/src Polyhedron.cc

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at cs.unipr.it	2002-10-10 11:20:44

Modified files:
	src            : Polyhedron.cc 

Log message:
	Some improvements to the third technique of
	Polyhedron::BBRZ02_widening_assign():
	- the test y.relation_with(x_g) == Poly_Gen_Relation::nothing() is done
	after testing if x_g is a ray;
	- corrected the test of the elements of the vector "considered";
	- now we use a const reference x_g (for x.gen_sys[i]) to find how it
	evolved since a ray of "y" and a copy of "x_g" to built the new ray.
	Use "H79_con_sys" instead of "common_con_sys" in
	Polyhedron::BBRZ02_widening_assign() and in Polyhedron::H79_widening_assign().

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