Haskellcode

instance (ToDoc ((Graph a), Integer), Show ((Graph a), Integer), Read ((Graph a), Integer)
         , ToDoc (Set a), Show (Set a), Read (Set a), Ord a, ToDoc a
         , Show a, ToDoc [a])
    => Problem Vertex ((Graph a), Integer) (Set a) where

    validiere Vertex (g, k) lsg
    verifiziere Vertex (g, k) lsg
    getInstanz Vertex (graph, k) cover dateiName
    getBeweis Vertex (graph, k) cover dateiName