parse_properties

parse_properties(

properties: str,

context: PrismProgram | JaniModel | SymbolicModelDescription | None = None,

*,

property_filter: Iterable[str] | None = None,

) → list[Property]

Parse properties given in the Prism property format.

Multiple properties are separated by semicolons or newlines. Use parse_property() to parse a single property.

Parameters:

• properties – String containing the properties.

• context – (optional) Symbolic model (Prism program or Jani model) defining the variables, constants and labels referenced in the properties.

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

Returns:

List of the parsed properties.