[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] recursion
- From: jiaojiao cai <caijiaojiao118921@xxxxxxxxx>
- Date: Wed, 2 Mar 2022 18:09:55 -0800 (PST)
- Ironport-data: A9a23:XnV7RaxIZAiD8LBh+CF6t+eSwyrEfRIJ4+MujC+fZmUNrF6WrkUPn zYYDDiAbKzfamekfdAla42wp0MD6sLRnNUwHVBvqVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvW4 Ymq/6UzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhtz fxSkqeiFD4IO7bS38IlTCJAQipxaPguFL/veRBTsOSWxkzCNnztmrBgVRFme4If/elzDCdF8 vlwxDIlNEjSwbLrhuvlFa811pRLwMrDZOvzvll8yTjBCes9AprFSI/myv1o5wkdvfFtN9yDS OUgQhtWSTv5Ti0TZQksVKMWk+CviX3yfCdftUqO46Ew5gA/ySQrjOG0aYWLIbRmQ+1kr3eVi DvKoF7BEyk0L4CVyxyA/0uj07qncSTTAdpOTtVU7MVCjFyIzXEIEzUKUVL9pOKjz0+4QdNWb U0S4Csn66YonHFHVfH4Vhy85XmF51sSAooAVeI97w6Jx+zf5APx6nU4oiBpdNkPq+gNV2ET9 1qSgZTPPSNUqOyeRifInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqfHr6P94bl3rXI9SHML yOi93dh2u1C5SIf/+DqogCd2mPESo3hF1Ztvm3qsnSZAhSVjbNJiqSt4FnfqPFBdcOXFwnR+ ncDnMea4aYFCpTleM2xrAclQ+rBCxWtama0bbtT838Jqm7FF5mLIdA43d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPa8S465C6CMNoEQMvCdkTNrGgk+NSZ8OEi9wCARfV0XZ P93jO7wVy9BUf0/pNZIb75Ej+53rszB+Y8jbcmjk07PPUu2a3mSRrMIWGZinchohJ5oVD79o oY3H5LSlX13CbSiCgGKr9N7BQ1VdRATWMCnw+QKJ7XrClc3RAkJVq6BqZt/INcNt/oOxo/1E oSVAxAwJKzX2SabeG1nqxlLNNvSYHqIhSljbHx0YA3xgCBLjETGxP53SqbbtIIPrIRLpcOYh dFfEylZKvgQGDnB5RoHapzx8N5reBix3FzcMC2ibzwycIRnWhTSvNTje1K3piUJCyO2s+o4o qGhh1OAGsNYGFo9AZaEcu+rwnOwoWMZxLB4UXzOL4QBY07r6oVrd3H8g6ZvccEBIBnO3BWA0 AOSDUtKrOXBud5n/9zAhKTCpICsSrMsEk1fFmjdzLC3KSiKpjr5kdEcCL6FJGmPWnn19aOuY fRu48v9aPBXzkxXt4dcEqpwyf1s6tbqoYhcxFs2EXjOaWOtFeo8cHSL2M94tppNyKVcjg24V x/d4dJdI7iIZJroHVNIf1glY+2P2OsulyHW/OgyJEmmtiZ78KDeDxddOB6DjCFSNrxoKJhjy uAk4ZZE5wu6gxssE9CHkiEFpz/XdydfDfoq5sMAHYvmqgs30VUeM5bSPSn7vcOUYNJWP0h2f zKZifaQh7lYwUaeIXM/GWKXgbhYjJUK/RdLlRoMfgTZ3NXCgfAz0Vta9jFuFlZZyRBO0uRSP Gl3Nh0qef/foW8w3MUTDXqxHwxhBQGC/hCjwVU+kmCEHVKjUXbALTFgNOvcrkQY6H5heCNG9 rWUlDTsXTrwIpGj2yIzXVJi+fPkStN1+wLYn92/BIGAFp8zbjem2fD+NDZV9Uu4WJpvx1DBv vRg5+1qaKf2HSEXpKI/BoaA0qkIU1aPI2kbGaNt+6YAHGf9fjCu2GnecBvoIZwTePGao1WlD 8FOJ95UU0js3ii5qD1GV7UHJKV5naJ06dcOJuHiKWIc7+rNriZ1qImCsW/xnmg2W84onsE6J YfcMTmFFyufn3xJgyjRqMBcPnejJsIZbhb3xuG//egES8AZvOd3fR1g27e4pS/JYg5u/hbRu wKaIqGPn7wkxoNrkI/hVK5EAlzse9/0Ue2J9iG1sshPPYyTa5aQ71tNpwm1JRlSMJsQR89zy eaHvunx0R6Xp70xSW3Yx8SMGqQhCR9ehwaL3h8b7UW2nBdunOfp6hoHvme5cNlHyYMNoMagQ AS8ZY27ctt9txKxApFKQ3A2LvrfI/2fgmTcSeeVoPOLBRwQ3hbAMcu8s3TuaAm3swcWbobmB FacV+mGv7hlQUclOPPAL/5hBJB8LVD5XrY+bJv6sjzw4qxERL+dkuOKqCfMIg0nxpVJ/AgWL H4FqtXDmMyOhZz1
- Ironport-hdrordr: A9a23:gDhg3aHIrzQCwSmnpLqEd8eALOsnbusQ8zAXPiFKOGZom6mj/a 2TdZsgpHvJYVoqKRYdcT7pAtj1fZvznaQFlLX5fo3SLTUPgQOTXfNfBPLZskrd8k7Fh5VgPR IKSdkBNDSPNykCsS+g2njGLz9I+rDum9HLuQ659QYQcehEUc5dBmxCe36m+yNNNW977VtQLu v+2iOFnVSdkLYsAvhSthI+Lpv+ThHw9a4PkXU9dmMaAcC17ULM1JfKVyKA1hNbeTJCy7Uv/C zklEjW/aO+qpiAu2/h61M=
- Ironport-sdr: 9o7qd1SdQnvyUaRxhfzJXxABwKz5Q70tpjInVsPFvTA3tfj4quOhCJ1SbofaaTdt5G+vqGRmlp yQ3aUatXAjBiKaH+VWHNxURYO/JI5IKLF4CYmJvo9mLR76/00pP0mlBJ1qr4eVO4e7d0zxYEIR /ryHHq8wLZkMmNUHSmfyydjfMkk/1ABrkEZZRrPKIuow4LMNEAFB49WcRr7hBdz7aHb2F/HtDw FQP6b5/1Cm/oJ9OkJayjTjYbRQSyE7jH/qLgv5dAiTWiCQ264brZ0j9z70U0s+eAgrr5peibnY V2Eq5o3DIjRomN/n6Q/G9d35
I have a sequence, which is a set of records. The records include three parts: oldVal, newVal and Boolean value. Now I need to traverse the sequence. When I traverse the record a, I need to find the Boolean value of the record B closest to a as true. If the Boolean value of a is true, you need to judge whether the a.oldVal is equal to the B.newVal. if so, traverse the next record, otherwise return false; If the Boolean value of a is false, you need to judge whether a.oldVal is not equal to B.newVal. if so traverse the next record, otherwise returns false。How can such function be implemented using recursion in TLA+
--
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 on the web visit https://groups.google.com/d/msgid/tlaplus/ef8335ae-08d3-42dc-a8e6-b37c5ef3d595n%40googlegroups.com.