CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2006-05-30 13:57:33

Modified files: src : Grid_public.cc

Log message: Move the modulus negation check back out of the congruence creation in generalized_affine_image/3 and generalized_affine_preimage/3.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo...