 | GraphViewerShowGraphWithDot Method |
Shows the graph dumped in dot format with graphviz (one of its renderers specified by programName, plus the arguments.
The .dot and .pgn files are deleted if !keep (the return value is the filename of the dot file).
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerAssembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
See Also