[PPL-devel] ppl src/BD_Shape.templates.hh tests/BD_Shape/M ...

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi@cs.unipr.it 2006-11-06 12:06:06

Modified files: src : BD_Shape.templates.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : boundedaffinepreimage1.cc

Log message: Defined a new method: BD_Shape::bounded_affine_preimage() and added some tests on it.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/boundedaffinepr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif...