
CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-05-26 20:24:49
Modified files: src : Grid_simplify.cc Grid_conversion.cc Congruence.inlines.hh Congruence.defs.hh
Log message: Make the Congruence normalize methods protected and flag setting methods private. In Congruence rename is_congruence to is_proper_congruence, and add method zero_dim_false.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?cv...