Re: [PPL-devel] Powerset Domain C interface?

Pedro Vasconcelos wrote:

I am interested in exploring the convex polyhera powerset domain to improve some precison loss in a size analysis that's part of my PhD research. I read the PPL documentation and saw no mention of the C interface to this. Does this mean it only usable thru the C++ library?

Dear Pedro,

yes, currently polyhedra powersets are only available through the C++ interface of the library. Hosung Song has similar needs as yours and has written some interface code that suits his particular application. His message is archived at http://www.cs.unipr.it/pipermail/ppl-devel/2004-October/005075.html I will explain the reasons why we still have not provided this functionality in a subsequent message. All the best,

Roberto