Graph.Viz

Das Modul Graph.Viz stellt einen Graph mittels Graphviz dar.
Die Erstellung der Ausgabedatei mit dem Graphen ist dreistufig:

• Transformation (Graph a) -> (Graphviz a) mittels GVTrans
• erzeugen der Eingabedatei für das Graphviztool
• Aufruf des Graphviztools, welches die Ausgabedatei erzeugt