CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-10-23 10:02:40

Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh

Log message: No longer defining the specialized constructor: Pointset_Powerset<C_Polyhedron>(const Pointset_Powerset<QH>&); defining the generic constructor Pointset_Powerset<PH>(const Pointset_Powerset<QH>&); instead. Similarly, generalized the specialized method: poly_difference_assign<C_Polyhedron>(...) to (temporarily) work on arbitrary instances.

Patches: 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...