CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-01-30 12:36:32 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 src : Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset5.cc Log message: Added methods for expand_space_dimension() and fold_space_dimensions() and constructor from a box, for the pointset_powerset domain. Added tests for add and remove (higher) space dimensions for the powerset domain as well as tests for the new methods. Enabled the corresponding procedures in all the interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... 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/Polyhedron/pointsetpower...