Implementierungsdetails

Bei der Validierung und Verifizierung werden verschiedene Tests abgearbeitet. Weitere Hilfsfunktionen führen die einzelnen Tests durch. Zu beachten ist, das der Graph als gerichteter Graph angesehen wird, und man bei Bedarf zwei Kanten für Hin- und Rückrichtung einfügen muss.