[tlaplus] Variables must contain some specific value

[jansher042@xxxxxxxxx]

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.