print_reachable_states - Prints out the number of reachable states. In verbose mode, prints also the list of reachable states.


print_reachable_states [-h] [-v]

Prints the number of reachable states of the given model. In verbose mode, prints also the list of all reachable states. The reachable states are computed if needed.


Last updated on 2009/01/30 14h:53