Darstellung der Instanz

Der Graph wird mit den Knotennamen dargestellt. Außerdem wird das Graphviz Tool neato genutzt und die Grafik im png Format ausgegeben.
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
        }



Johannes Waldmann 2009-11-17