[PPL-devel] Widening operation in Powerset

Hello,

I have understood that, in the polyhedron class, there is a BHRZ03_widening_assign() function which basically does the widening operation. But I am dealing with set of Polyhedrons, so I am using a Powerset class for it. But in the powerset class, I cannot find any widening operator. I want to do widening on my set of polyherdrons. Can someone please point me in the right direction in this regard.