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

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@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.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedh79ext...