export the Dot File?

KnixKnix Posts: 2
Hello, I am looking for a way to get the used dot file when generating a state graph. Unfortunately this is not stored internally in a file by the program, it will processed immediately. But maybe someone knows a way to get to the dot file anyway?

Thank you for your answers

LG Kinx



  • hverbeekhverbeek Posts: 910
    Hello LG,

    If the layout of the state graph is indeed generated by dot, then using CTRL+i you can typically save the image to a number of formats, including dot. However, dot is not always used to layout graphs, and the state graphs may be an example where dot is not used. In such a case, you can try to visualize the state graph using the "Visualize Transition System (Dot)" first, after which you could save it as a dot file.

    Kind regards,

  • KnixKnix Posts: 2
    nice. CTRL+i helps :) Tanks you
Sign In or Register to comment.