Re: [tlaplus] Re: dot/graphviz visualization for TLC

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 06.01.2016 19:59, fl wrote:
> Can you give us the algorithm you use. Tlaplus+ comments
> is good choice (Reading the code is not a goog one).
> 
> Having the algorithm will give us the ability to make sense of
> all that and to develop the feeling required above.

Hi Frederic,

there is no algorithm to study. The feature simply extends TLC's "-dump"
command and makes it output states in dot format [1] (instead of the
default TLA+ format). The dot output can then be fed into GraphViz [2]
which renders it to a graph.

Cheers
Markus

[1] https://en.wikipedia.org/wiki/DOT_(graph_description_language)
[2] http://www.graphviz.org/