[PPL-devel] ppl src/Box.templates.hh tests/Box/Makefile.am ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-02-29 15:57:16

Modified files:
	src            : Box.templates.hh 
	tests/Box      : Makefile.am generalizedaffinepreimage1.cc 
Added files:
	tests/Box      : boundedaffinepreimage1.cc 

Log message:
	Added code for generalized_affine_preimage (both versions)
	and bounded_affine_preimage.
	Minor improvement to bounded_affine_image where we add the constraint
	that the lower bound expression must be less than the upper
	bound expression (or vice versa if the denominator is negative).
	
	Some tests added or revised.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.100&r2=1.101
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreimage1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvsroot=ppl&r1=1.52&r2=1.53
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9