Haskellcode

instance (ToDoc (TSP a), Show (TSP a), Read (TSP a), Iso (TSP a)
         , ToDoc (Rundreise a), Show (Rundreise a), Read (Rundreise a), Ord a, ToDoc a
         , Show a)
    => Problem TSProblem (TSP a) (Rundreise a) where

        validiere TSProblem tsp rundreise
        verifiziere TSProblem tsp rundreise
        getInstanz TSProblem tsp rundreise dateiName
        getBeweis TSProblem tsp rundreise dateiName