[ library(grasper) | Third Party Libraries | Reference Manual | Alphabetic Index ]

export_graph(+Graph, ++File)

Exports Graph to Filename in a .dot format which can then be loaded by GraphViz.
Graph
A graph.
File
Name of the file where a GraphViz 'dot' format of the graph is to be exported.

Description

Exports Graph to Filename in a .dot format which can then be loaded by GraphViz.