CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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