Darstellung der Instanz

Der Graph wird mit den Knotennamen aber ohne Labels dargestellt. Außerdem wird das Graphviz Tool neato genutzt und die Grafik im PNG Format ausgegeben. Der Graph ist natürlich ungerichtet.
Transformationsstruktur:

instanzTrans :: ShowText knoten => GVTrans knoten
instanzTrans = GVTrans
        { getGVProg = Neato
        , getGVFormat = "png"
        , isGVDirected = True
        , getGVNID = showText   -- Graphviz Knoten ID ist einfach showText knoten
        , getGVNName = showText -- Knotenname auch
        , getGVNLabel = Nothing
        , getGVNColor = Nothing
        , getGVNXAtts = Nothing
        , getGVELabel = Nothing
        , getGVEXAtts = Nothing
        }