Dump a DOT graph to the user‐provided file name.
Synopsis
Parameters
Name |
Description |
G |
Graph to write. |
FileName |
Destination path for the DOT file. |
Title |
Optional title used as the graph name and label. |
ShortNames |
If true, request short names from the DOT traits. |
Name |
Twine used when generating a temporary file name. |
Created with MrDocs