compute_expected_visiting_times_with_sparse_engine

Warning

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

compute_expected_visiting_times_with_sparse_engine(

env: stormpy.environments.Environment,

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

) → stormpy.results.CheckResult

compute_expected_visiting_times_with_sparse_engine(

env: stormpy.environments.Environment,

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

) → stormpy.results.CheckResult

Compute expected visiting times of deterministic model

Compute expected visiting times of deterministic model