[PPL-devel] Cardinality of integers of a abstract domain in ppl

[Enea Zaffanella]

On 05/27/2013 11:30 PM, Zhoulai wrote:
> Dear all,
>
> I would like to know whether PPL library has built - in way to count the
> number of integers satisfying an abstract domain in PPL ?

No, this functionality is not currently supported by the library.

Enea.

> Say, a domain
> of Int64_box has a constraint
> {x<=2, -x<=0} which has cardinality 3, for {x>=0}, the cardinality would
> be 2ˆ32 if it is the greatest integer.
>
> The motivation is to roughly compare the precisions of two groups of
> analyses.
>
> Thanks.
>
> Zell.