CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2007-10-06 22:37:39 Modified files: src : Direct_Product.defs.hh Grid.defs.hh Polyhedron.defs.hh Log message: Revised comments for some congruences() and minimized_congruences() methods and also similarly for some constraints() and minimized_constraints() methods. A couple of other typos fixed in comments in Grid.defs.hh Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.dif... 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/Polyhedron.defs.hh.diff?cv...