22 Jun
2005
22 Jun
'05
12:02 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2005-06-22 12:02:12
Modified files: src : Polyhedron_public.cc
Log message: Corrected the bug in Polyhedron::generalized_affine_image() that was shown by test generalizedaffineimage13.cc. We should actually check for emptyness before adding lines to the polyhedron.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?...