<R>: Reset to the initial state <B>: Back to the previous state <W>: Write the actual marking to a file <S>: Show the stubborn set used by the stubborn reduced reachability graph <A>: All minimal stubborn sets to be shown <Q>: Quit computation
Vor jedem Schaltvorgang wird dieses Menü nocheinmal in einer verkürzten
Form ausgegeben:
<r>eset | <b>ack | <w>rite | <s>tubborn set | <a>ll stubborn sets | <q>uit
© 1996-98 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Handbuch Version 2.1 zuletzt geändert: 1998-03-24