compute_steady_state_distribution_with_sparse_engine

Warning

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

compute_steady_state_distribution_with_sparse_engine(

env: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseModel_Double,

) → stormpy.results.CheckResult

compute_steady_state_distribution_with_sparse_engine(

env: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseModel_Rational,

) → stormpy.results.CheckResult

Compute steady-state distribution of deterministic model

Compute steady-state distribution of deterministic model