[PPL-devel] ppl/src Grid.inlines.hh Grid.defs.hh Generator ...

Mon Sep 5 22:37:19 CEST 2005

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at 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?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.18&r2=1.1.2.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.43&r2=1.1.2.44
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.7.2.4&r2=1.7.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.13&r2=1.1.2.14