CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-03-06 13:26:39

Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh tests/BD_Shape : Makefile.am relations2.cc relations3.cc Added files: tests/BD_Shape : relations4.cc

Log message: relation_with() for a constraint can now handle any constraint even if it is not a bounded difference. Comment in BD_Shape.defs.hh for this method updated. Tests added to check this (and existing tests to check exceptions revised).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.d...