CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-09-05 22:37:19

Modified files: src : Grid.inlines.hh Grid.defs.hh Generator_System.defs.hh Congruence_System.defs.hh

Log message: Befriend Grid_Certificate where necessary. Enable Grid::strictly_contains. Add difference_assign.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsro... 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/Generator_System.defs.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh....