Darstellung des Beweises

Der Graph wird mit Knotennamen, Knoten- und Kantenlabels dargestellt. Wobei die Label der Knoten die vom Labeling gegebenen und die der Kanten die Differenzen sind. Die Formate sind wie bei der Instanz.
Transformationsstruktur:

getBeweisTrans :: (ShowText knoten, Ord knoten)
        => (Labeling knoten) -> (GVTrans knoten)
getBeweisTrans labeling = GVTrans
        { getGVProg = Neato
        , getGVFormat = "png"
        , isGVDirected = True
        , getGVNID = showText
        , getGVNName = showText
        , getGVNLabel = Just (getNLabel labeling)
        , getGVNColor = Nothing
        , getGVNXAtts = Nothing
        , getGVELabel = Just (getELabel labeling)
        , getGVEXAtts = Nothing
        }