[PPL-devel] ppl src/Polyhedron_widenings.cc tests/Polyhedr ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2005-03-05 13:52:45

Modified files:
	src            : Polyhedron_widenings.cc 
	tests/Polyhedron: boundedh79extrapolation1.cc 

Log message:
	Polyhedron::bounded_BHRZ03_extrapolation_assign() and
	Polyhedron::bounded_H79_extrapolation_assign() now use
	Bounding_Box::CC76_widening_assign() to make sure the interval constraints
	that are preserved do not cause termination problems.
	Test program boundedh79extrapolation1.cc (it was testing nothing anyway).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.41&r2=1.42
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedh79extrapolation1.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4