parse_property

parse_property(

property: str,

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

) → Property

Parse a single property given in the Prism property format.

Use parse_properties() to parse several properties at once.

Parameters:

• property – String containing exactly one property.

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

Returns:

The parsed property.

Raises:

StormError – If the string does not contain exactly one property.