Next: Instanz der Klasse Problem Up: PCP : Postsches Korrespondenzproblem Previous: Problembeschreibung Contents
Folgende Module werden von PCProblem benötigt:
Challenger Hauptmodul, welches Graceful aufruft und in dem die
Klasse Problem definiert ist
FiniteMap stellt die Datenstruktur FiniteMap zur Verfügung
PCP.Type stellt die Datenstruktur PCP zur Verfügung
System wird zur Ausgabe in Dateien benötigt
Set stellt die Datenstruktur Menge zur Verfügung
ToDoc Fehlermeldungen sind im Doc Format