4 Jul
2013
4 Jul
'13
1:41 p.m.
On 07/04/2013 08:19 AM, Roberto Bagnara wrote:
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
An even easier approach is to use method "constrains":
bool constrains(Variable var) const;
or better, since you are interested in the Java interface:
public native boolean constrains(Variable var);
Enea.