Next:
Problembeschreibung
Up:
Kontrolleurmodule
Previous:
Darstellung des Beweises
Contents
Clique
Das Modul Clique ist ein Kontrolleurmodul, welches das Problem Clique 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