30 Jan
2006
30 Jan
'06
9:52 a.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2006-01-30 09:52:06
Modified files: src : Grid_public.cc
Log message: Update add_generator(g) to throw an exception when a parameter is given and the grid is zero dimension empty. Rework the generalized_affine_image(lhs,..) and generalized_affine_preimage(lhs,..) lhs space dimension calculation to aid coverage analysis.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo...