sparse_model_from_umb

Warning

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

sparse_model_from_umb(

umb_model: stormpy.io.UmbModel,

options: stormpy.io.UmbImportOptions = <stormpy.io.UmbImportOptions object at 0x70e03b72f830>,

) → stormpy.developer.storage._storage.ModelBase

Build a sparse model from the given UMB model