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

[Hillel Wayne <hwayne@xxxxxxxxx>]

Could you provide a pseudocode example of what you're looking for, and some information on what you've already tried?

H

On Wed, Nov 20, 2024 at 4:28 AM marta zhango <martazhango@xxxxxxxxx> wrote:

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.

-- 
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/CAJ-b8sweu7xO-wMfLjYmUrbPWF5%3Dt%3DpF-B-Rf9Ewp5otaa4f0A%40mail.gmail.com.