to_archive

Warning

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

to_archive(

umb_model: stormpy.io.UmbModel,

path: str,

options: stormpy.io.UmbExportOptions = <stormpy.io.UmbExportOptions object at 0x70e0478f60b0>,

) → None

Export a UMB model to the given archive path