Re: [PPL-devel] Test universe dimension

Hello Zhoulai.

On 07/04/13 07:18, Zhoulai wrote:

I there built-in function in PPL to test whether an abstract domain has universe dimension (i.e. \top) at index 'k'?

I guess you want to know if the k-th dimension is unconstrained.

The easiest thing is to test whether the line whose direction is the k-th dimension is subsumed. Kind regards,

Roberto