Haskellcode

instance (ToDoc (Graph a), Show (Graph a), Read (Graph a), Iso (Graph a)
         , ToDoc (Kreis a), Show (Kreis a), Read (Kreis a), Ord a, ToDoc a
         , Show a)
    => Problem Hamilton (Graph a) (Kreis a) where

    validiere Hamilton graph kreis 
    verifiziere Hamilton graph kreis 
    getInstanz Hamilton graph kreis dateiName
    getBeweis Hamilton graph kreis dateiName