[PPL-devel] ppl/src Makefile.am Polyhedra_Powerset.defs.hh ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2005-09-21 19:22:57

Modified files:
	src            : Makefile.am Polyhedra_Powerset.defs.hh 
	                 Polyhedra_Powerset.inlines.hh algorithms.hh 
Added files:
	src            : Polyhedra_Powerset.cc 

Log message:
	Added new specializations for Polyhedra_powerset mixed constructors.
	Function check_containment() now works with different instantiations
	of Polyhedra_Powerset; the same happens for geometrically_covers() and
	geometrically_equals().
	A few non-inline full specialization of member templates have been moved
	into file Polyhedra_Powerset.cc.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.119&r2=1.120
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines.hh.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot=ppl&r1=1.42&r2=1.43