verify_with_sparse_engine

Warning

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

verify_with_sparse_engine(

env: stormpy.environments.Environment,

mdp: stormpy.developer.storage._storage._SparseMdp_Double,

task: stormpy.developer._core._CheckTask_Double,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Double,

prefer_elimination_checker: bool = False,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

mdp: stormpy.developer.storage._storage._SparseMdp_Rational,

task: stormpy.developer._core._CheckTask_Rational,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Rational,

prefer_elimination_checker: bool = False,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

mdp: stormpy.developer.storage._storage._SparseMdp_RationalFunction,

task: stormpy.developer._core._CheckTask_RationalFunction,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_RationalFunction,

prefer_elimination_checker: bool = False,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Double,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Double,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Rational,

) → stormpy.results.CheckResult

verify_with_sparse_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Rational,

) → stormpy.results.CheckResult

Verify MDP with sparse engine

Verify model with sparse engine

Verify MDP with sparse engine

Verify model with sparse engine

Verify MDP with sparse engine

Verify model with sparse engine

Verify interval DTMC with sparse engine

Verify interval MDP with sparse engine

Verify interval DTMC with sparse engine

Verify interval MDP with sparse engine