[PPL-devel] Widening operation in Powerset

[Gokul Ramaswamy]

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.


-- 
Regards,
Gokul Ramaswamy,
Graduate Student,
Department of CSE, IIT Bombay
+919757417460
http://www.cse.iitb.ac.in/~ramaswamy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110618/0899437c/attachment.htm>