parse_jani_model_from_string

parse_jani_model_from_string(

json_string: str,

*,

property_filter: Iterable[str] | None = None,

) → tuple[JaniModel, list[Property]]

Parse a Jani model and the properties contained in it from a string.

Parameters:

• json_string – The Jani model in JSON format.

• property_filter – (optional) Names of the properties to parse. If None, all properties are parsed.

Returns:

Tuple of the Jani model and the list of properties.