4.3 Hilfsfunktionen

Dieser Abschnitt beschreibt einige Hilfsfunktionen.

• <Q> Quit
• <W> Write the actual marking to a file
• <S> Show the stubborn set used by the stubborn red. reachab. graph
• <A> All minimal stubborn sets to be shown

<Q> Quit

Mit dieser Taste können Sie das Schalten beenden und ins Hauptmenü zurückkehren, die ursprüngliche Markierung des Netzes wird automatisch wiederhergestellt. Längerdauernde Berechnungen können ebenso abgebrochen werden.

<W> Write the actual marking to a file

Diese Funktion bietet Ihnen die Möglichkeit, die gerade erreichte Markierung in eine Datei zu speichern, um z.B. später einen kürzesten Pfad zu berechnen. Nach der Eingabe eines Dateinamens wird die aktuelle Markierung mit der Extension .mar geschrieben.

Die beiden folgenden Funktionen werden nur angeboten, wenn eine sture Reduktion (siehe Seite im Kapitel 6.5.1) möglich ist. Zu Details der Implementation siehe [Pog94, Berechnung sturer Mengen].

<S> Show the stubborn set used by the stubborn red. reachab. graph

Mit dieser Funktion können Sie sich die sture Menge anzeigen lassen, die bei der sturen Reduktion des Erreichbarkeitsgraphen von INA ausgewählt wird.

<A> All minimal stubborn sets to be shown

Mit dieser Funktion werden alle minimalen sturen Mengen ausgegeben.