[PPL-devel] some questions regarding PPL

[Bishoksan Kafle]

On Feb 11, 2016, at 8:05 AM, Roberto Bagnara <bagnara at cs.unipr.it<mailto:bagnara at cs.unipr.it>> wrote:


2. In the article
(http://bugseng.com/products/ppl/documentation/BagnaraRZH02.pdf),
you mentioned that poly_hull_assign is different from
upper_bound_assign for Polyhedra

Where exactly do you read that?

Sorry I wanted to ask the difference between poly-hull and convex-hull. Please ignore my previous question.

thank you
Bishoksan

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20160211/b01ca23e/attachment.htm>