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?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.template... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetdifference1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower...