transform_continuous_to_discrete_time_sparse_model

Warning

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

transform_continuous_to_discrete_time_sparse_model(

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

formulas: collections.abc.Sequence[stormpy.logic.Formula],

) → tuple[stormpy.developer.storage._storage._SparseModel_Double, list[stormpy.logic.Formula]]

transform_continuous_to_discrete_time_sparse_model(

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

formulas: collections.abc.Sequence[stormpy.logic.Formula],

) → tuple[stormpy.developer.storage._storage._SparseModel_Rational, list[stormpy.logic.Formula]]

transform_continuous_to_discrete_time_sparse_model(

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

formulas: collections.abc.Sequence[stormpy.logic.Formula],

) → tuple[stormpy.developer.storage._storage._SparseModel_RationalFunction, list[stormpy.logic.Formula]]

Transform continuous-time model into discrete-time model

Transform continuous-time model into discrete-time model

Transform continuous-time model into discrete-time model