parse_properties_for_prism_program

Warning

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

parse_properties_for_prism_program(

input_string: str,

program: stormpy.io.PrismProgram,

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

) → list[stormpy.logic.Property]

Parse properties, allowing references to variables of the Prism program