Next: Instanz der Klasse Problem Up: Col: Drei-Färbung Previous: Problembeschreibung Contents
Folgende Module werden von Col benötigt:
Graph.Type Datenstruktur und Klasseninstanzen eines Graphen
Graph.Util Utilities für Graphen
Challenger Hauptmodul, welches Col.hs aufruft und in dem die
Klasse Problem definiert ist
ToDoc Fehlermeldungen sind im Doc format
Set fuer das Arbeiten mit Mengen
Sort fuers Sortieren
Monad (guard) fuer Fallunterscheidungen