print_reachable_states - Prints the number of reachable states.


print_reachable_states [-h]

Prints the number of reachable states of the given model. The reachable states are coputed if needed.


Last updated on 990908 16h51