collect_model_information

Warning

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

collect_model_information(

model: stormpy.io.JaniModel,

) → stormpy.developer.storage._storage.JaniInformationObject

Collect structural model information