CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi@cs.unipr.it 2006-09-22 15:41:46

Modified files: tests/BD_Shape : mapspacedims1.cc

Log message: Rewritten test04 using the method BD_Shape::minimized_constraints().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims1.c...