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

Checking whether something is a record or a set?

From: Jaak Ristioja <jaak.r...@xxxxxxxx>
Date: Thu, 12 Nov 2015 10:30:34 +0200
User-agent: curl/7.42.1

Hello!

Is it possible in TLA+ to check whether something is a record or set?
For example:

    Invariant == isRecord(myRecord) /\ isSet(someVariable.mySet)


Best regards,
Jaak

Follow-Ups:
- Re: [tlaplus] Checking whether something is a record or a set?
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] How to choose a record field when a record is an element of a set?
Next by Date: Re: [tlaplus] Checking whether something is a record or a set?
Previous by thread: Re: [tlaplus] Conditionally modify array elements
Next by thread: Re: [tlaplus] Checking whether something is a record or a set?
Index(es):
- Date
- Thread