Next: Datenstruktur Up: Labeling Previous: Labeling Contents
Folgende Module werden von Graceful benötigt:
Graph.Graph wegen der Datenstruktur (Graph knoten).
Wird nur bei der Funktion getDiff gebraucht. Es ist zu überlegen
das Labeling komplett unabhängig vom Graph zu machen.
FiniteMap weil das Labeling mit einer FiniteMap
implementiert ist.
ReadFM das Labeling muss auch gelesen werden können
ToDoc für die ToDoc Instanz des Labeling
Maybe Maybe halt
Sort sortieren halt