[PPL-devel] ppl src/Pointset_Powerset.defs.hh src/Pointset ...
Patricia Hill
hill at cs.unipr.it
Wed Jan 16 17:13:25 CET 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2008-01-16 17:13:25
Modified files:
src : Pointset_Powerset.defs.hh
Pointset_Powerset.templates.hh
tests/Polyhedron: Makefile.am
Added files:
tests/Polyhedron: pointsetpowerset4.cc
Log message:
For the powerset domains, added methods:
bounds_from_above(), bounds_from_below(), maximize()
and minimize() - both with and without returning the point.
Tests added to check these.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templates.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset4.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.117&r2=1.118
More information about the PPL-devel
mailing list