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

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Thu, 22 Dec 2022 16:57:02 +0100*References*: <135ba505-ec94-4f0d-9f9d-d3312e9d9444n@googlegroups.com>

Hello, using TLC for evaluating the constant _expression_ [1] {{xx, yy, zz} : xx \in 1 .. 2, yy \in 3 .. 4, zz \in 5 .. 6} produces { {1, 3, 5}, {1, 3, 6}, {1, 4, 5}, {1, 4, 6}, {2, 3, 5}, {2, 3, 6}, {2, 4, 5}, {2, 4, 6} } Is this what you had in mind? Stephan [1] Note that TLC will complain if the base sets are not homogeneous, for example if you mix integers and strings.
--
You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/67ED407B-ABDE-4E90-AF1D-F6865C0388CB%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] How to get a set like this in TLA+?***From:*Delta Striker

**References**:**[tlaplus] How to get a set like this in TLA+?***From:*Delta Striker

- Prev by Date:
**[tlaplus] How to get a set like this in TLA+?** - Next by Date:
**[tlaplus] TCP Protocl model satisfies** - Previous by thread:
**[tlaplus] How to get a set like this in TLA+?** - Next by thread:
**Re: [tlaplus] How to get a set like this in TLA+?** - Index(es):