parse_properties_for_symbolic_model_description

Warning

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

parse_properties_for_symbolic_model_description(

input_string: str,

model_description: stormpy.io.SymbolicModelDescription,

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

) → list[stormpy.logic.Property]

Parse properties, allowing references to variables of the symbolic model description