[PPL-devel] Question on shrink_bounding_box

Hello all,

I'd to like to ask what is the exact operation done by the shrink_bounding_box() method. My interpretation of the documentation is that it would 1) intersect the provided bounding box with the polyhedron and 2) compute the bounding box of the result.

I've done some tests (with PPL 0.6.1) and this does not appear to be the functionality provided. If initially

P = {x0==x1} BB = [0;1]*[-inf;inf]

then shrink_bounding_box() leaves BB unchanged (rather [0;1]*[0;1] as I expected). What is the intended operation?

Thanks in advance,

Pedro