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

Re: Sequence of sets -> Set



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!