[PPL-devel] ppl src/Pointset_Powerset.cc src/Pointset_Powe ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-03-25 10:27:22

Modified files:
	src            : Pointset_Powerset.cc Pointset_Powerset.defs.hh 
	                 Pointset_Powerset.inlines.hh 
	                 Pointset_Powerset.templates.hh 
	tests/Grid     : powersetdifference1.cc 
	tests/Polyhedron: pointsetpowerset1.cc 

Log message:
	Changes mainly affect poly_difference_assign().
	
	Added difference_assign() to be a clone of poly_difference_assign().
	Added a couple of tests and improved an existing test.
	
	Replaced all lines:
	// FIXME: this is buggy when PS is not an abstraction of NNC_Polyhedron.
	by
	// This code is only used when PS is an abstraction of NNC_Polyhedron.
	since the Grid domains are specialised separately.
	
	Corrected a bug in poly_difference_assign() for Grids where some
	precision was wrongly lost (when a remainder was negative and had
	been assumed to be positive).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templates.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetdifference1.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset1.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9