[PPL-devel] Powerset Domain C interface?

[Pedro Vasconcelos]

Hello,

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?

Thanks for any help,

Pedro Vasconcelos

-- 
Pedro Vasconcelos, School of Computer Science, University of St Andrews
-----------------------------------------------------------------------
"The difference between Theory and Practice 
is greater in Practice than in Theory."