print_fair_transitions - Prints the number of fair transitions. In verbose mode, prints also the list of fair states. NOTE: THESE ARE NOT REALLY TRANSITIONS, BUT RATHER STATE_INPUT PAIRS.
print_fair_transitions [-h] [-v]
Last updated on 2009/01/30 14h:53