[PPL-devel] ppl src/Polyhedron.inlines.hh tests/boundingbo ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2002-04-20 22:52:41

Modified files:
	src            : Polyhedron.inlines.hh 
	tests          : boundingbox1.cc 

Log message:
	shrink_bounding_box now works for NNC polyhedra
	defined both with and without strict inequalites.
	The test file boundingbox1.cc has been also updated
	to deal with NNC polyhedra.
	Extra tests have been added to check the changes.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6