CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-01-28 22:39:09

Modified files: src : Congruence_System.defs.hh Grid.defs.hh Grid_Generator.defs.hh Grid_Generator_System.defs.hh Polyhedron.defs.hh

Log message: Revised documentation so that sample code has `grid_point' and `grid_line' instead of `point' and `line'. Added an example to Grid_defs.hh showing use of a parameter. Revised explanation of affine image and preimage. Corrected some bugs in the explanation of affine image and preimage in Polyhedron.defs.hh.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.defs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv...