Re: [PPL-devel] Feasibility of Octagons in PPL

On 06/17/11 18:03, Ramakrishna Upadrasta wrote:

Hello All,

Hi Ramakrishna.

I would like to know if there is any feasibility test developed specifically of octagons in PPL. I am looking for a solution to the following problem: given a set of octagonal constraints, determine if the system is empty or not.

http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-0.11.2-html/classParm...

If so, what are its details (method followed, complexity etc.)?

It is basically a transitive closure, cubic in the worst case in the number of dimensions of the octagonal shape. Cheers,

Roberto