[tlaplus] Is this a (hidden) variable that tells me the state the model checker is in?

[recepient recepient <netsmaza@xxxxxxxxx>]

... to do something like,

print << __state_num__, msgQueue >>; (* perhaps state_num is hash on current state *)

to help disambiguate msgQueue in different states which have the same valu?

-- 
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/da07b1ce-41d4-4c7b-b0cb-9c2e6eadfff9n%40googlegroups.com.