Re: [Rodin-b-sharp-user] A set of n elements

[Thái S. H. <ts...@us...>]

 Hi Faten Fakhfakh,
 You probably want to have a constant function (bijection) between the
range 1..n and COLORS.

 SETS COLORS
 CONSTANT n, colors
 AXIOMS
     n : NAT1
     colors : 1..n >->> COLORS
 END

 Best,
Son


2016-07-18 18:12 GMT+01:00 Faten Fakhfakh <fat...@gm...>:

> Hello,
>
> Please, I would like to write with Event-B that the colors
> (c1, c2, ...,cn) constitue a partition of COLORS knowing that
> the card(c1, c2, ...,cn)=n   and   n∈ℕ .
> Can I write this with Event-B
>
>
>
>
>
> ------------------------------------------------------------------------------
> What NetFlow Analyzer can do for you? Monitors network bandwidth and
> traffic
> patterns at an interface-level. Reveals which users, apps, and protocols
> are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning
> reports.http://sdm.link/zohodev2dev
> _______________________________________________
> Rodin-b-sharp-user mailing list
> Rod...@li...
> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
>
>