CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreimag... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepre...