verify_with_dd_engine

Warning

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

verify_with_dd_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Double,

) → stormpy.results.CheckResult

verify_with_dd_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_Rational,

) → stormpy.results.CheckResult

verify_with_dd_engine(

env: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_RationalFunction,

) → stormpy.results.CheckResult

Verify model with dd engine

Verify model with dd engine

Verify model with dd engine