parse_jani_model_from_string

Warning

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

parse_jani_model_from_string(

jsonstring: str,

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

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

Parse Jani model and its properties from string