[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: rar...@xxxxxxxx*Date*: Sun, 25 Nov 2018 14:26:31 -0800 (PST)*References*: <52f9d103-431c-4747-a7ad-955f2551bb6c@googlegroups.com>

Perfect, thanks! On Sunday, November 25, 2018 at 3:28:27 PM UTC-5, Richard Artoul wrote: > I'm working on my first "production" TLA+ specification and have everything working except for one nagging piece. > > > I have a sequence that looks like: << {1, 2, 3}, {4, 5, 6}, {7, 8, 9} >> and I need to convert it to: {1, 2, 3, 4, 5, 6, 7, 8, 9} > > > > I know that if you have a set of sets, you can just use the UNION operator, but not sure how to Reduce over a sequence like this. > > > Any help would be appreciated!

**References**:**Sequence of sets -> Set***From:*Richard Artoul

- Prev by Date:
**Re: [tlaplus] Sequence of sets -> Set** - Next by Date:
**Is it correct to use symmetry set in this spec?** - Previous by thread:
**Re: [tlaplus] Sequence of sets -> Set** - Next by thread:
**Is it correct to use symmetry set in this spec?** - Index(es):