sparse_model_to_umb

Warning

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

sparse_model_to_umb(

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

options: stormpy.io.UmbExportOptions,

) → stormpy.io.UmbModel

sparse_model_to_umb(

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

options: stormpy.io.UmbExportOptions,

) → stormpy.io.UmbModel

sparse_model_to_umb(

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

options: stormpy.io.UmbExportOptions,

) → stormpy.io.UmbModel

sparse_model_to_umb(

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

options: stormpy.io.UmbExportOptions,

) → stormpy.io.UmbModel

Convert a sparse model to UMB

Convert a sparse model to UMB

Convert a sparse model to UMB

Convert a sparse model to UMB