CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations3.cc.diff?...