CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff?... 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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointsetpowerset1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/pointset... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpower... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.d...