Property¶

class Property( name: str, formula: stormpy.logic.Formula, undefined_constants: collections.abc.Set[stormpy.expressions.Variable], comment: str = '', )¶

class Property(other: stormpy.logic.Property)

Bases: pybind11_object

Property consisting of a name and a formula

Construct property from formula

Copy property

clone(self: stormpy.logic.Property) → stormpy.logic.Property¶: Return a deep copy of the property, preserving its name, comment, filter, and undefined constants

contains_undefined_constants(self: stormpy.logic.Property) → bool¶: Whether the property contains undefined constants

get_comment(self: stormpy.logic.Property) → str¶: Get the comment of the property

get_name(self: stormpy.logic.Property) → str¶: Get the name of the property

get_raw_formula(self: stormpy.logic.Property) → stormpy.logic.Formula¶: Get the formula of the property

get_undefined_constants(self: stormpy.logic.Property) → set[stormpy.expressions.Variable]¶: Get the undefined constants occurring in the property

substitute( self: stormpy.logic.Property, substitution: collections.abc.Mapping[stormpy.expressions.Variable, stormpy.expressions.Expression], ) → stormpy.logic.Property¶: Substitute variables by expressions