parse_properties

Warning

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

parse_properties(

input_string: str,

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

) → list[stormpy.logic.Property]

Parse properties (without model context)