[PPL-devel] ppl ./NEWS src/Polyhedra_PowerSet.defs.hh src/ ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at 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.104&r2=1.105
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.hh.diff?cvsroot=ppl&r1=1.34&r2=1.35
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inlines.hh.diff?cvsroot=ppl&r1=1.40&r2=1.41