compute_reachable - Computes the set of reachable states


compute_reachable [-h]

Computes the set of reachable states. The result is then used to simplify image and preimage computations. This can result in improved performances for models with sparse state spaces. Sometimes this option may slow down the performances because the computation of reachable states may be very expensive. The environment variable forward_search is set.


Last updated on 990908 16h51