[PPL-devel] Question on shrink_bounding_box

[Pedro Vasconcelos]

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