compute_all_transient_probabilities

Warning

The stormpy developer API is internal and can be subject to change.

compute_all_transient_probabilities(

env: stormpy.environments.Environment,

rate_matrix: stormpy.developer.storage._storage._SparseMatrix_Double,

initial_states: stormpy.datastructures.BitVector,

phi_states: stormpy.datastructures.BitVector,

psi_states: stormpy.datastructures.BitVector,

exit_rates: collections.abc.Sequence[SupportsFloat | SupportsIndex],

time_bound: SupportsFloat | SupportsIndex,

) → list[float]

Compute transient probabilities for all states of a CTMC