[PPL-devel] Test universe dimension

[Roberto Bagnara]

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

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com