
export_graph(+Graph, ++File)

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

Arguments
   Graph               A graph.
   File                Name of the file where a GraphViz 'dot' format of the graph is to be exported.

Type
   library(grasper)

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


