diff --git a/src/Aufgabe4.lhs b/src/Aufgabe4.lhs index 3d6b963..aceb0dd 100644 --- a/src/Aufgabe4.lhs +++ b/src/Aufgabe4.lhs @@ -43,25 +43,16 @@ dass nur die eine nötige Lösung berechnet wird. > data Land = Land Landname [Landname] > deriving (Show,Eq) -> defaultMap = [ Land Frankreich [Spanien, Italien, Schweiz, Deutschland, Luxemburg] +> defaultMap = [ Land Frankreich [Schweiz, Deutschland, Luxemburg] > , Land Deutschland [Frankreich, Schweiz, Oesterreich, Luxemburg, Polen, Niederlande, Belgien, Tschechien] > , Land Niederlande [Deutschland, Belgien] -> , Land Grossbritannien [Irland] > , Land Belgien [Frankreich, Deutschland, Luxemburg] -> , Land Polen [Slowakei, Tschechien, Deutschland] -> , Land Oesterreich [Italien, Schweiz, Deutschland, Slowakei, Liechtenstein, Slowenien, Ungarn, Tschechien] -> , Land Ungarn [Oesterreich, Slowenien, Slowakei,Deutschland ] -> , Land Island [Schweiz] -> , Land Schweiz [Frankreich, Italien, Oesterreich, Deutschland] +> , Land Polen [Tschechien, Deutschland] +> , Land Oesterreich [Schweiz, Deutschland, Tschechien] +> , Land Schweiz [Frankreich, Oesterreich, Deutschland] +> , Land Island [] > , Land Luxemburg [Frankreich, Deutschland] -> , Land Irland [Grossbritannien] -> , Land Italien [Frankreich, Schweiz, Oesterreich, Slowenien ] -> , Land Portugal [Spanien] -> , Land Spanien [Frankreich, Spanien] -> , Land Slowenien [Italien, Oesterreich, Ungarn ] -> , Land Liechtenstein [Schweiz, Oesterreich] -> , Land Slowakei [Oesterreich, Ungarn, Tschechien] -> , Land Tschechien [Oesterreich, Slowakei, Polen, Deutschland ] +> , Land Tschechien [Oesterreich, Polen, Deutschland ] > ] Schreiben Sie eine Funktion `gültig :: (Farbe,Land) -> [(Farbe, Land)] -> Bool`, diff --git a/src/Aufgabe4.md b/src/Aufgabe4.md index 6fcd1f0..5533920 100644 --- a/src/Aufgabe4.md +++ b/src/Aufgabe4.md @@ -43,26 +43,16 @@ data Landname = Frankreich data Land = Land Landname [Landname] deriving (Show,Eq) -defaultMap = [ Land Frankreich [Spanien, Italien, Schweiz, Deutschland, Luxemburg] +defaultMap = [ Land Frankreich [Schweiz, Deutschland, Luxemburg] , Land Deutschland [Frankreich, Schweiz, Oesterreich, Luxemburg, Polen, Niederlande, Belgien, Tschechien] , Land Niederlande [Deutschland, Belgien] - , Land Grossbritannien [Irland] , Land Belgien [Frankreich, Deutschland, Luxemburg] - , Land Polen [Slowakei, Tschechien, Deutschland] - , Land Oesterreich [Italien, Schweiz, Deutschland, Slowakei, - Liechtenstein, Slowenien, Ungarn, Tschechien] - , Land Ungarn [Oesterreich, Slowenien, Slowakei,Deutschland ] - , Land Island [Schweiz] - , Land Schweiz [Frankreich, Italien, Oesterreich, Deutschland] + , Land Polen [Tschechien, Deutschland] + , Land Oesterreich [Schweiz, Deutschland, Tschechien] + , Land Schweiz [Frankreich, Oesterreich, Deutschland] + , Land Island [] , Land Luxemburg [Frankreich, Deutschland] - , Land Irland [Grossbritannien] - , Land Italien [Frankreich, Schweiz, Oesterreich, Slowenien ] - , Land Portugal [Spanien] - , Land Spanien [Frankreich, Spanien] - , Land Slowenien [Italien, Oesterreich, Ungarn ] - , Land Liechtenstein [Schweiz, Oesterreich] - , Land Slowakei [Oesterreich, Ungarn, Tschechien] - , Land Tschechien [Oesterreich, Slowakei, Polen, Deutschland ] + , Land Tschechien [Oesterreich, Polen, Deutschland ] ] ```