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
Comments
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,
Eric.