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

[tlaplus] Defining a function in terms of variables in TLA

From: marta zhango <martazhango@xxxxxxxxx>
Date: Wed, 20 Nov 2024 02:28:19 -0800 (PST)

How can I define a function of time or some other variable, say of a seismogram

in TLA ? But without specifying the mapping.

Using a VARIABLE, LET, or something else ?

--
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 visit https://groups.google.com/d/msgid/tlaplus/fe0b118c-2efd-4519-8e43-0f8587d697b2n%40googlegroups.com.

Follow-Ups:
- [tlaplus] Re: Defining a function in terms of variables in TLA
  - From: Andrew Helwer
- Re: [tlaplus] Defining a function in terms of variables in TLA
  - From: Hillel Wayne

Prev by Date: [tlaplus] Defining linearity of integrals using Temporal Logic of Actions
Next by Date: Re: [tlaplus] Question about weak fairness in A Science of Concurrent Programs
Previous by thread: [tlaplus] Re: Defining linearity of integrals using Temporal Logic of Actions
Next by thread: Re: [tlaplus] Defining a function in terms of variables in TLA
Index(es):
- Date
- Thread