[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] Checking whether something is a record or a set?
From
: Y2i <
yur...@xxxxxxxxx
>
Date
: Thu, 12 Nov 2015 07:23:58 -0800 (PST)
Cc
:
jaak.r...@xxxxxxxx
References
: <
56444E2A.2070001@cyber.ee
> <
604D5A01-3C1A-4C68-97B7-98E8216BDA3D@gmail.com
> <
56445539.3090102@cyber.ee
> <
BF24F5DA-C505-481B-8962-C1FBCFEB3D9A@gmail.com
> <
56445D64.80607@cyber.ee
> <
18b71287-f3af-4c87-b1b5-d8e15798a555@googlegroups.com
>
Another thought:
To test if something is a set of records, I use
IsSet(s) == s \subseteq Record
The main idea is to define a Record as a set of records.
Follow-Ups
:
Re: [tlaplus] Checking whether something is a record or a set?
From:
Y2i
References
:
Checking whether something is a record or a set?
From:
Jaak Ristioja
Re: [tlaplus] Checking whether something is a record or a set?
From:
Stephan Merz
Re: [tlaplus] Checking whether something is a record or a set?
From:
Jaak Ristioja
Re: [tlaplus] Checking whether something is a record or a set?
From:
Stephan Merz
Re: [tlaplus] Checking whether something is a record or a set?
From:
Jaak Ristioja
Re: [tlaplus] Checking whether something is a record or a set?
From:
Y2i
Prev by Date:
Re: [tlaplus] Checking whether something is a record or a set?
Next by Date:
Re: [tlaplus] Checking whether something is a record or a set?
Previous by thread:
Re: [tlaplus] Checking whether something is a record or a set?
Next by thread:
Re: [tlaplus] Checking whether something is a record or a set?
Index(es):
Date
Thread