CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-09-15 14:40:44

Modified files: . : NEWS src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh

Log message: New constructors and assignment operators allowing to obtain a Polyhedra_PowerSet<NNC_Polyhedron> from a Polyhedra_PowerSet<C_Polyhedron> and the other way around. In the latter case, the topological clusure of the element polyhedra is computed. New method Polyhedra_PowerSet::poly_difference_assign(const Polyhedra_PowerSet& y) assigns to `*this' the poly-difference of `*this' and `y'.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inlines...