Haskellcode

instance (ToDoc (Graph a), Show (Graph a), Read (Graph a), Iso (Graph a)
         , ToDoc (TGraph a), Show (TGraph a), Read (TGraph a), Ord a, ToDoc a
         , Show a)
    => Problem Clique (Graph a) (TGraph a) where


     validiere Clique graph tgraph 
     verifiziere Clique graph tgraph
     getInstanz Clique graph tgraph dateiName
     getBeweis Clique graph tgraph dateiName