[PPL-devel] ppl ./NEWS src/Pointset_Powerset.cc src/Points ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-04-22 11:59:57

Modified files:
	.              : NEWS 
	src            : Pointset_Powerset.cc Pointset_Powerset.defs.hh 
	                 Pointset_Powerset.inlines.hh 
	                 Pointset_Powerset.templates.hh 
	tests/BD_Shape : Makefile.am 
	tests/Box      : Makefile.am 
	tests/Grid     : Makefile.am 
	tests/Octagonal_Shape: Makefile.am 
	tests/Polyhedron: Makefile.am 
Added files:
	tests/BD_Shape : pointsetpowerset1.cc 
	tests/Box      : pointsetpowerset2.cc 
	tests/Grid     : pointsetpowerset1.cc 
	tests/Octagonal_Shape: pointsetpowerset1.cc 
	tests/Polyhedron: pointsetpowerset6.cc 

Log message:
	Added constructors for the pointset powerset domain from other
	domains that are not products or powersets.
	
	Added to all the constructors for the pointset powerset domain from
	other sematic domains an optional complexity argument.
	
	Tests for these new constructors added.
	A note added in the NEWS file on these additions

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.227&r2=1.228
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.37&r2=1.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templates.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowerset1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.75&r2=1.76
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset2.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvsroot=ppl&r1=1.58&r2=1.59
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointsetpowerset1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cvsroot=ppl&r1=1.64&r2=1.65
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/pointsetpowerset1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset6.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&r1=1.121&r2=1.122