Next:
Problembeschreibung
Up:
Kontrolleurmodule
Previous:
Darstellung des Beweises
Contents
Graceful
Das Modul Graceful ist ein Kontrolleurmodul, welches das Problem Graceful Labeling behandelt.
Subsections
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Johannes Waldmann 2009-11-17