[PPL-devel] ppl src/Grid.defs.hh src/Grid_nonpublic.cc src ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2007-10-20 18:41:33

Modified files:
	src            : Grid.defs.hh Grid_nonpublic.cc Grid_public.cc 
	tests/Grid     : relations1.cc relations2.cc relations3.cc 

Log message:
	Revised the grid relation_with() methods for congruences and
	constraints so that saturates() is included in the result whenever
	the congruence or constraint is an equality and every point of the
	grid satisfies the equality.
	
	Added grid relation_with() methods for a generator so that a point or
	closure point has the same relation with the grid as the corresponding
	grid point, and a ray or line has the same relation with the grid as
	a grid line.
	
	Expected results revised and new tests for the grid relation_with()
	methods for a generator added to relations1.cc.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&r1=1.56&r2=1.57
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&r1=1.60&r2=1.61
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations3.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8