--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on October 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Express the cardinality of a set ?



Dear Frama-C people,

I have a quick question for ACSL:

Is it possible to express the cardinality of a set in ACSL ?
For example, I want to express something like this :  3 == cardinality ( 0
.. 2 )

Thank you.

Ziqing Luo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171027/6c4dbee4/attachment.html>