parse_jani_model

Warning

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

parse_jani_model(

filename: str,

property_filter: collections.abc.Sequence[str] | None = None,

) → tuple[stormpy.io.JaniModel, list[stormpy.logic.Property]]

Parse Jani model and its properties