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

[tlaplus] Variables must contain some specific value

I have to check the variable values by using TLA+ in TLC. 

For example

Res_Word == {"_","N"} 

variables my_variable = "Some_valueONE"

Check == my_variable \in Res_Word

\* means check it if variable contains some of the specific value as required in set.

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/e32f705f-3742-4312-b7a5-35b623ea9d3e%40googlegroups.com.