[PPL-devel] ppl src/BD_Shape.defs.hh src/BD_Shape.template ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at 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?cvsroot=ppl&r1=1.113&r2=1.114
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.92&r2=1.93
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.71&r2=1.72
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.diff?cvsroot=ppl&r1=1.29&r2=1.30