compute_reachable - Computes the set of reachable states
compute_reachable [-h] [-k number]
The set of reachable states is used to simplify
image and preimage computations. This can result in improved
performances for models with sparse state spaces.
Command Options:
- -k number
- Provides an explicit bound to perform at most "number"
steps.
- -t number
- Provides a fail cut-off maximum
CPU time to halt the computation. This option can be used to limit
execution time.
Last updated on 2012/11/18 14h:16