4 Jul
2013
4 Jul
'13
8:19 a.m.
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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com