Next: Instanz der Klasse Problem Up: Hamilton Previous: Problembeschreibung Contents
Folgende Module werden von Hamilton benötigt:
Graph.Type Datenstruktur und Klasseninstanzen eines Graphen
Graph.Util Utilities für Graphen
Graph.Viz zur Darstellung der Instanz und des Beweises als Bild
Challenger Hauptmodul, welches Graceful aufruft und in dem die
Klasse Problem definiert ist
ToDoc Fehlermeldungen sind im Doc format
Set stellt die Datenstruktur Menge zur Verfügung