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

*From*: loki der quaeler <qua...@xxxxxxxxx>*Date*: Sun, 5 Nov 2017 21:30:15 -0800 (PST)*References*: <7928ce64-f9ac-4cb3-91bb-925a58a7cb8d@googlegroups.com> <be04f72b-6dfc-4d01-9214-51f50e1409a6@googlegroups.com> <5dd7fc21-643d-40d9-9818-8704389306d7@googlegroups.com>

One last thing I wondered, does the order of terms matter?

WRT TLC, the ordering of the terms does matter for conjunctions; since in your modified spec, pc = "grape" never evaluates to true, any following same-depth conjuncts will not be evaluated, i believe.

loki

**References**:**What does f[x] mean when f is not a function?***From:*azte . . .

**Re: What does f[x] mean when f is not a function?***From:*Leslie Lamport

**Re: What does f[x] mean when f is not a function?***From:*Greg Wiley

- Prev by Date:
**Re: Analysis: Runway, a new formal specification system** - Next by Date:
**Login required for TLA toolbox?** - Previous by thread:
**Re: What does f[x] mean when f is not a function?** - Next by thread:
**Re: [tlaplus] Re: What does f[x] mean when f is not a function?** - Index(es):