import_umb

Warning

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

import_umb(

path: str,

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

) → stormpy.io.UmbModel

Import a UMB model from the given archive path