compute_all_until_probabilities

Warning

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

compute_all_until_probabilities(

env: stormpy.environments.Environment,

task: storm::modelchecker::CheckTask<storm::logic::Formula,

double>,

ctmc: stormpy.developer.storage._storage._SparseCtmc_Double,

phi_states: stormpy.datastructures.BitVector,

psi_states: stormpy.datastructures.BitVector,

) → list[float]

Compute until probabilities for all states of a CTMC