Hello,<br><br>   I have understood that, in the polyhedron class, there is a <a style="" class="el">BHRZ03_widening_assign() function which<br>basically does the widening operation.</a> But I am dealing with set of Polyhedrons, so I am using a Powerset<br>
class for it. But in the powerset class, I cannot find any widening operator. I want to do widening on my set <br>of polyherdrons. Can someone please point me in the right direction in this regard.<br clear="all"><br><br>
-- <br>Regards,<br>Gokul Ramaswamy,<br>Graduate Student,<br>Department of CSE, IIT Bombay<br>+919757417460<br><a href="http://www.cse.iitb.ac.in/%7Eramaswamy" target="_blank">http://www.cse.iitb.ac.in/~ramaswamy</a><br><br>