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

[tlaplus] Graph of actions that enable other actions


I read in the Current and Future Tools for Interactive TLA+ article that TLC can make a graph of actions that enable other actions, but it's not documented or integrated into the GUI. I'm wondering if anyone has more info on this? A code example would be most welcome.

Best regards,

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/CAFG8yPTdN%2B42OjzjAFRbjpzBb-RL6cwC21pBFbntFip5x%2Bz6CQ%40mail.gmail.com.