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

The function return the index of element in a queue

From: the anh pham <thean...@xxxxxxxxx>
Date: Tue, 6 Feb 2018 05:10:24 -0800 (PST)

Hello every one,

I am a beginner of TLA. I have an issue and I hope you can help me.
I want to have a function: getIndex(e, seq) in which e is a value in seq, seq is a sequence. This function must return the index of e in the seq (e is unique in seq)

Coul you help me, please?

Follow-Ups:
- Re: [tlaplus] The function return the index of element in a queue
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] TLA+ Toolbox 1.5.6 release
Next by Date: Re: [tlaplus] The function return the index of element in a queue
Previous by thread: Re: [tlaplus] TLA+ Toolbox 1.5.6 release
Next by thread: Re: [tlaplus] The function return the index of element in a queue
Index(es):
- Date
- Thread